하위 요구 사항의 생성 및 검증
해당 시리즈: 모델 기반 설계를 이용한 DO-178C 프로세스의 구현
본 session에서는 모델 기반 설계 환경에서 상위수준 요구 사항을 기반으로 하위 수준 요구 사항을 구현 하는 방법에 대해서 소개해드립니다. 이후 하위 수준 요구 사항에 상위 요구 사항이 정확히 반영되었는지에 대한 여부를 확인하는 동적 검증과, Formal Method를 이용하여 모델 수준에서의 정적 검증을 수행하게 됩니다. 검증 및 설계 과정에서 생성 될 수 있는 결과물에 대해서도 각 단계별로 소개 드립니다.
발행: 2021년 4월 21일
