DO-178C 을 충족하기 위한 자동 코드 생성과 검증
해당 시리즈: 모델 기반 설계를 이용한 DO-178C 프로세스의 구현
모델 기반 설계에서는 실행 코드를 하위 수준 요구 사항에서 자동으로 생성 시킵니다. 이 과정에서 모델과 코드의 정합성이 반드시 보장 되어야 하며, 코드 자체에 대한 강건성이도 보장 되어야 합니다. 이에 대해서 모델 기반 설계에서는 어떻게 접근하며 자동화 되어질 수 있는지에 대해서 총 3단계로 나누어 말씀드리겠습니다.
발행: 2021년 4월 22일
추천 제품
