DO-178 규격에서의 구조적 커버리지 분석
요구사항 기반 시험을 진행한 뒤, 실행되지 않은 소스 코드에 대한 커버리지를 만족하기 위해 어떠한 활동이 필요한지 DO-178에서 기술하는 구조적 커버리지…
CMMI V1.3 ▶ V2.0 개정 사항
2018년 출시 된 CMMI V2.0 모델은 2019년부터 V2.0 심사 서비스가 진행되었습니다. 기존의 V1.3모델 심사는 2020년 9월까지만 허용되며, 2020년 10월부터는 V2.0…
대한전자공학회 발행 ‘전자공학회지 2019년 1월호’ 논문 게재
[모아소프트] 대한전자공학회 발행 ‘전자공학회지 2019년 1월호’ (주)모아소프트 전자파사업부 EMC팀 김창균 수석연구원 ‘자동차 반도체의 신뢰성 테스트’ 논문 게재 안전이 가장 우선인…
DO-178C SOFTWARE PLANNING PROCESS Objective-5의 이해
* 시작에 앞서 용어는 Section4 의 게시물을 참고하면 된다. 1. Objective – 5 의 개요 생산될 소프트웨어에 대해 시스템 안전 달성요건(system safety objective)에 부합하는…
DO-178C SOFTWARE PLANNING PROCESS Objective – 4의 이해
* 시작에 앞서 용어는 Section4의 게시물을 참고 바랍니다. 1. Objective – 4의 개요 필요하다면 기존의 SW의 재활용, Tool 검증, 다양한 방법 등 추가적인 사항을 고려한다. 2. Activity…
감항인증을 위한 DO-178C 항공용 SW개발 프로세스 컨설팅
[vc_row][vc_column][vc_column_text] 감항인증을 위한 항공용 SW 안전성 국제 규격인 DO-178C Level A 기준에 따른 SW 개발 프로세스 구축 및 인증획득 지원 컨설팅을…
군용 항공기 감항인증 (Airworthiness) 종합 솔루션
군용 항공기 부품.구성품의 감항인증에 요구되는 SW QUALIFICATION을 위한 종합 솔루션을 제공합니다. •구성품의 검증방법(MOC) : SW Qualification, TSO 등의 기준자료 적용 •기종별 감항인증기준(TACC) : 방위사업청 [군용항공기 표준 감항인증 기준 고시]를 적용…
DO-178C SOFTWARE PLANNING PROCESS Objective-2의 이해
시작에 앞서 용어는 Section4의 게시물을 참조한다. 1. Objective-2의 개요 소프트웨어의 생명주기는 피드백 메커니즘, 완료 기준을 포함하는 프로세스로 결정된다. 자세한사항은 DO-178C의 4.1b항목을 참조한다. 2. Activity 4.2i: 사용자 수정…
Objective-1 The activities of the software life cycle processes are defined.
이번 포스팅에서는 Section 4: 소프트웨어 계획 프로세스의 Objective-1을 살펴보도록 하자. 1. Objective-1의 개요 Objective-1 소프트웨어 생명주기 프로세스의 활동을 정의한다. 상세 내용으로 4.1.a “시스템 요구사항과 소프트웨어…
GSL을 이용하여 역행렬 구하기
GSL에서의 역행렬은 LU분해와 Cholesky분해를 이용하여 구할 수 있습니다. 역행렬을 구하기 위해서는 LU분해를 먼저 수행하여야 합니다. LU분해를 위한 함수는 다음과 같습니다. int gsl_linalg_LU_decomp (gsl_matrix * A,…
GSL을 이용하여 Eigensystem 구하기
eigensystem을 구하기 위해서는 #include <gsl/gsl_eigen.h> gsl_eigen.h를 포함해야 합니다. 본격적으로 eigensystem을 구하기 전에 무엇보다 먼저 선행되어야 하는 일은, 일단 작업공간을 생성해야 합니다. 이번…
RF / EMC 컨설팅
1. 개요 안테나와 안테나의 탑재성능 및 전파환경을, EM 특징에 맞춘 최적화된 EM 시뮬레이션 해석을 통해 고객이 필요로하는 최적의 솔루션을 제공합니다.…
CMMI / SP 인증 컨설팅
1. 개요 CMMI (Capability Maturity Model Integration) 미국 카네기 멜론 대학의 소프트웨어 공학 연구소 (CMU-SEI)에서 개발한 소프트웨어 프로세스 능력 평가…
DO-178C 컨설팅
1. 개요 DO-178C는 항공기 소프트웨어 오작동으로 인한 항공기 사고 위험을 최소화하기 위해 항공기 소프트웨어 안전성에 대한 국제적인 감항인증 표준입니다. 항공무선기술협회(RTCA)와…
소프트웨어 검증 컨설팅
소프트웨어검증 1. 개요 국방, 항공, 자동차, 철도, 원자력, 의료 등 다양한 분야의 소프트웨어의 잠재적 결함과 고장을 식별하기 위한 정적 분석과…
RAMS 분석 컨설팅
RAMS 분석 1. 개요 시스템(전기전자, 기계 및 소프트웨어 등)의 RAMS 분석 및 관리업무에 관련하여 기술자문 및 지원을 통해 시스템의 설계…
MTBF 산출 컨설팅
MTBF 산출 1. 개요 전기, 전자, 기계류 시스템의 설계단계에서 대상 시스템의 특성에 따른 신뢰도 예측 규격(MIL-HDBK-217F N2, Telcordia SR-332등)을 적용하여…
임베디드 솔루션 VisSim
신뢰성 높고 효율적인 임베디드 소프트웨어 개발을 위하여 안전성 기반의 실시간 운영 체제와 개발환경을 제공합니다. VisSim 1. 개요 소프트웨어에 대한 중요성이…
임베디드 솔루션 Deos
신뢰성 높고 효율적인 임베디드 소프트웨어 개발을 위하여 안전성 기반의 실시간 운영 체제와 개발환경을 제공합니다. Deos 1. 개요 Deos는 DDC-I에서 개발된…
임베디드 솔루션 iSystem
신뢰성 높고 효율적인 임베디드 소프트웨어 개발을 위하여 안전성 기반의 실시간 운영 체제와 개발환경을 제공합니다. iSystem 1. 개요 iSystem은 호스트 PC와…
