반도체 전문 온라인 매거진 - 올포칩

DO-178 프로세스를 위한 자문 서비스는 관련 분야 엔지니어를 대상으로 표준화와 관련된 교육을 하며, 현재 사용중인 프로세스와 표준에 제시된 DO간의 차이가 무엇인지를 파악하여 준다. 또한 모델 기반 설계를 통해 최적화된 프로세스 체계에 대한 로드맵을 제공하고, 로드맵을 진행하는데 있어 지원을 한다. 매스웍스사의 컨설턴트는 자문 서비스의 일환으로 아래와 같은 단계를 통해 지원된다.

1. 기존 프로세스와 툴의 숙지
현재의 항공 비행과 관련된 소프트웨어 개발 프로세스, 툴, 애플리케이션, 요구되는 필수 안전 레벨(A-E)과 툴 검증을 포함한 설계 계획 문서를 검토한다.

2. 차이 분석(Gap analysis)
1단계에서 얻은 정보를 토대로 차이 분석(Gap analysis)를 수행한다. 즉 모델 기반 설계를 활용하여 DO-178 프로세스 체계에 필요하게 될 현재의 문제점 및 프로세스 상의 효율 개선 사항, 교육 및 변경 사항을 파악한다. 이 단계에서 제안된 개선 사항을 달성할 수 있도록 단계 단계별로 실행 가능한 로드맵을 제시한다.

3. 문제점에 대한 지침서 제공
2단계에서 파악한 차이를 줄이기 위한 지침서를 제공하고, 모델 기반 설계를 사용하여 DO-178과 관련된 기본 항목및 관련된 프로세스 체계를 제시한다. 또한 개발 요구사항에 따른 주요 개발 및 검증 과정과 관련된 자동화에 사용되는 툴을 검사한다, 일반적인 예를 들면, 모델 검사(model checking), 코드 생성, 코드 검사(code inspection) 및 보고서 생성 (report generation)이 포함될 수 있다.

4. Hands-On 지원
3단계에서 얻은 정보를 특정 프로젝트에 적용한다. 컨설턴트는 모델링, 시뮬레이션, 코드 생성, 검증, 확인 및 인증을 포함한 다양한 분야에서 지원할 수 있다. 인증 및 준수(Certification and Compliance)를 지원하기 위해서는 관련있는 툴 체인(tool chain)을 준비하고 다큐멘트를 생성하는 일련의 과정을 포함한다. 예를 들면 PSAC 및 DO Qualification Kit를 사용한 DO-178 툴 검증 아티팩트(artifact)와 같은 문서 작성이 될 수 있다.

매스웍스의 DO Qualification Kit는 DO-178 및 관련 표준에 대한 툴 검증을 지원한다. 해당 키트는 DO-178 표준에 따르는 프로젝트를 위해서 Simulink 또는 Polyspace와 같은 코드 검증 제품을 검증하는 다큐멘트, 테스트 케이스 및 절차를 제공한다.
DO-178 프로세스를 위한 자문 서비스는 고 신뢰성 자동차 시스템 개발을 위해 최근 도입된 ISO 26262 프로세스를 위한 자문 서비스를 보완한다.

DO-178 지원을 위한 모델 기반 설계에 관한 자세한 정보는 본 매스웍스 온라인 세미나 Model-Based Design for DO-178 Using Tool Qualification Kits 에서 확인할 수 있다.