Blog

​1. 개요 CMMI (Capability Maturity Model Integration) 미국 카네기 멜론 대학의 소프트웨어 공학 연구소 (CMU-SEI)에서 개발한 소프트웨어 프로세스 능력 평가 및 개선 모델로서 조직의 생산성을 높이고 품질을 향상하기 위한 도구로 전세계적으로 널리 활용되고 있습니다. ​SP 인증 (SW 프로세스 품질인증) ​SW프로세…

1. 개요 DO-178C는 항공기 소프트웨어 오작동으로 인한 항공기 사고 위험을 최소화하기 위해 항공기 소프트웨어 안전성에 대한 국제적인 감항인증 표준입니다. 항공무선기술협회(RTCA)와 유럽민간항공장비협회(EUROCAE)에서 공동 제정하였고, 미국연방항공국(FAA)에서 항공용 제품에 대한 승인 시 SW부분에 적용하고 있습니다. 2. 컨설팅 프로세…

소프트웨어검증  ​1. 개요 국방, 항공, 자동차, 철도, 원자력, 의료 등 다양한 분야의 소프트웨어의 잠재적 결함과 고장을 식별하기 위한 정적 분석과 동적 시험을 진행합니다. 또한 IEC 61508, EN 50128, ISO 26262, DO-178C 등 국제 표준 규격에서 요구하는 소프트웨어의 안전성과 신뢰성을 확보할 수 있는 검증 및 검증 솔…

RAMS 분석  ​1. 개요 시스템(전기전자, 기계 및 소프트웨어 등)의 RAMS 분석 및 관리업무에 관련하여 기술자문 및 지원을 통해 시스템의 설계 및 운용,유지보수단계에 필요한 RAMS 분석 및 평가정보를 제공하며, 대상 시스템 RAMS 분석 및 관리시스템 구축에 필요한 기술을 지원합니다. 2. 분석 절차

MTBF 산출  ​1. 개요 전기, 전자, 기계류 시스템의 설계단계에서 대상 시스템의 특성에 따른 신뢰도 예측 규격(MIL-HDBK-217F N2, Telcordia SR-332등)을 적용하여 시스템의 신뢰도(고장률 및 MTBF) 예측 보고서 작성이 가능합니다. 2. 분석 규격   MIL-HDBK-217F N2 : 미국 국방성(DoD)에서 제정한 전기, 전…

신뢰성 높고 효율적인 임베디드 소프트웨어 개발을 위하여 안전성 기반의 실시간 운영 체제와 개발환경을 제공합니다. VisSim​ ​1. 개요 소프트웨어에 대한 중요성이 높아지고 요구사항이 복잡해짐에 따라 이를 개발하고 시험하기 위한 모델 기반 개발 방법이 발전하였습니다. Mission & Safety Critical 분야에 최적화된 VisSim은 보다…

신뢰성 높고 효율적인 임베디드 소프트웨어 개발을 위하여 안전성 기반의 실시간 운영 체제와 개발환경을 제공합니다. Deos  ​1. 개요  Deos는 DDC-I에서 개발된 DO-178B/C Level A인증에 특화된 실시간 운영체제입니다. Deos 고유의 메모리 및 스케쥴 관리 메커니즘은 항공 분야에서 요구하는 안전성과 신뢰성을 만족시킵니다…

신뢰성 높고 효율적인 임베디드 소프트웨어 개발을 위하여 안전성 기반의 실시간 운영 체제와 개발환경을 제공합니다. iSystem ​1. 개요 iSystem은 호스트 PC와 타깃보드를 연결하는 디버거(Blue Box)와 소프트웨어(winIDEA, testIDEA)를 포함합니다. 이러한 제품들을 이용하여 MCU의 리소스 (메모리, 레지스터 등)을 측정하고 제어하…

주제 #5 : 소프트웨어 신뢰도 추정모델의 최적모델 선택 및 적합성 분석 소프트웨어 신뢰도를 산출하기 위하여 우리는 복수의 추정모델을 사용하여 실제 누적 결함수와 비교하여 단 하나의 최적모델을 선택하여야 현재와 미래 신뢰도를 추정할 수 있다. 이러한 과정에서 실제 데이터와 가장 유사한 형태의 모델을 선택하는 방법으로 SSE와 AIC 값을 비교하여 선택하는 …

주제 # 4 : 추정모델의 Mean Value Function Prameter 추정 방법 소프트웨어 테스트 단계에서 얻을 수 있는 FCD(Failure Count Data)의 변화량으로 현재의 신뢰도와 목표 신뢰도에 도달하는 시간을 추정할 수 있다. 소프트웨어 요구사항분석 단계에서 코딩 단계에 걸쳐 예측모델을 활용하여 Defect Density와 Defec…