[Jama]협업을 위한 Jama Review Center
소프트웨어 뿐이 아닌, 개발 혹은 생산을 한 제품의 결함을 최소화 하며, 피해를 줄이는 것이 중요합니다. 이러한 목적을 가진 방안으로 모든…
[Jama] 요구사항간 추적성 확보 및 확인 방법
Jama에서는 요구사항과 소스 코드, 테스트 케이스 등을 데이터 베이스화 하여 추적성을 확보함으로써 효율적으로 데이터들을 관리 할 수 있습니다. Jama에서 어떻게…
모델 기반 설계가 군사 임무 소프트웨어 개발의 핵심인 3가지 이유
모든 임무의 목표를 달성하려면 신뢰할 수 있는 안전한 소프트웨어의 사용이 중요하다. 고급 방어 기술을 설계하는 시스템 엔지니어는 구성 요소 및…
[Jama]요구사항 import 및 DB화 (Word/Excel)
소프트웨어를 개발함에 있어, 요구사항의 관리는 필수 항목입니다. 요구사항의 관리가 제대로 이루어지지 않으면, 발생하는 결함에 대한 추적이 원활히 되지 않으며, 이는…
[Deos] ARINC-653 지원 특징_#1_Partitioning
ARINC 653이란? ARINC 653 규격은 IMA 시스템 (Integrated Modular Avionics System)을 위한 표준 항공 RTOS 규격입니다. ARINC 653의 핵심은 space&time…
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 SOFTWARE PLANNING PROCESS Objective – 3의 이해
1. Objective – 3의 개요 각 SW 라이프 사이클 프로세스의 활동을 위해 사용되는 방법. 도구 등을 포함하는 SW 라이프 사이클 환경이 선정되고 정의되어야 한다. (DO-178C…
감항인증을 위한 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. 개요 국방, 항공, 자동차, 철도, 원자력, 의료 등 다양한 분야의 소프트웨어의 잠재적 결함과 고장을 식별하기 위한 정적 분석과…
