비디오, 웨비나 시리즈

모델 기반 설계를 이용한 DO-178C 프로세스의 구현

안전하고 효율적인 소프트웨어 개발을 위해, 각 산업군에서는 각자의 개발 환경 및 산업 특성에 적합한 소프트웨어 개발 표준을 정립하고 반드시 반영할 것을 강력하게 권고하고 있습니다. 항공 분야에서는 DO-178C가 대표적인 표준으로서, 시대의 개발 흐름을 반영하기 위한 노력을 거듭하고 있습니다. 이와 같은 기술의 흐름에 부합하여 모델 기반 설계 개발 환경을 이용하는 사례는 아주 일반적인 프로세스로 자리 잡게 되었습니다.

본 영상에서는 DO-178C를 만족 시키기 위해 적용 될 수 있는 모델기반 설계 기법과 이로 인해서 산출 될 수 있는 결과들에 대해서 3개의 시리즈 영상을 통해 살펴보도록 하겠습니다


DO-178C과 MBD의 소개와 상위 수준 요구 사항의 관리

모델 기반 설계에서의 요구 사항 관리를 설계 및 검증과의 추적성 확립 측면에서 얻을 수 있는 편의 및 주요 기능을 전달해 드립니다.

하위 요구 사항의 생성 및 검증

모델 기반 설계 환경 속에서의 하위 요구 사항 구현과 이에 대한 검증 방향 그리고 DO178C 프로세스에서 요구 되어지는 결과물에 대한 자동 생성 기능을 소개드립니다..

DO-178C 을 충족하기 위한 자동 코드 생성과 검증

모델 기반 설계에서의 코드 실행 단계와 이에 대한 검증 프로세스에 대해서 단계별로 세분화해서 소개합니다.