Model-Based Design for DO-178C/DO-331 Compliance

1일차

DO-178C/DO-331에 대한 모델 기반 설계 개요

학습목표: MathWorks 워크플로가 DO-178C 및 DO-331 목표를 충족하고 지원할 수 있는 방법을 이해합니다.

• 시스템, 소프트웨어 및 하드웨어 라이프사이클 개요
• 모델 기반 설계를 사용한 DO-178C/DO-331 워크플로
• 모델 기반 설계를 사용하여 DO-178C/DO-331 목표 충족

요구사항 추적성

학습목표: DO-178/DO-331 준수에 따라 모델을 요구사항까지 추적합니다.

• DO-178C 프로세스의 요구사항 개요
• 요구사항 추적성을 위해 Requirements Toolbox 사용
• SDD(시스템 설계 설명) 생성
• 외부 요구사항 툴과의 호환성 이해

DO-178C/DO-331에 대한 모델링 표준

학습목표: DO-178C/DO-331에 대한 모델링 표준 준수를 이해합니다.

• DO-178C/DO-331 응용 분야에 대한 모델링 표준
• 모델 기반 설계(MBD) 프로세스의 모델링 표준
• 고무결성 시스템에 대한 Simulink Check의 사전 패키징된 규칙 사용

2일차

모델 검증

학습목표: 시뮬레이션을 통해 소프트웨어 요구사항을 검증하는 방법을 알아봅니다.

• Simulink Test에서 테스트 케이스 작성
• 테스트 케이스 입력 및 데이터 수집 옵션
• 테스트 케이스부터 요구사항까지 추적
• Simulink Test를 사용한 요구사항 기반 테스트

모델 커버리지

학습목표: Simulink Coverage를 사용하여 모델 커버리지 데이터를 수집합니다.

• 모델 커버리지 메트릭
• Simulink Coverage를 사용하여 모델 커버리지 캡처
• 누락된 모델 커버리지 해결

파생 요구사항 및 설계 검증

학습목표: 하위수준 요구사항 검증을 위해 Simulink Design Verifier를 활용하는 방법을 알아봅니다.

• 연결할 수 없는 요소를 Simulink Design Verifier(SLDV)로 식별
• 누락된 모델 커버리지를 위한 하위수준 테스트 개발
• 모델 커버리지 보고

3일차

모델 코드 검증 및 추적성

학습목표: Simulink Code Inspector를 사용하여 모델과 생성된 코드 간의 구조 및 알고리즘 동일성을 입증합니다.

• 코드 검사 개요
• Simulink Code Inspector에 대한 모델 호환성 검사
• 모델-코드 추적성 검증

정적 코드 분석 및 공식 코드 검증

학습목표: 생성된 코드가 코딩 표준을 준수하고 있음을 보여주고 코드가 다양한 런타임 오류에 대해 강건함을 증명합니다.

• Polyspace 툴 개요
• Simulink에서 Polyspace 분석 실행
• Polyspace Bug Finder를 사용하여 코딩 표준 적용
• Polyspace Code Prover를 사용하여 코드 강건성 증명
• Polyspace Code Prover를 사용하여 제어 및 데이터 결합 커버리지 입증

소프트웨어 요구사항에 대한 코드 검증

학습목표: Simulink Test를 사용하여, 소프트웨어 요구사항 테스트 케이스를 통해 전체 코드 커버리지를 입증하고 타깃 하드웨어의 소프트웨어 요구사항을 검증합니다.

• SIL(Software-in-the-loop) 및 PIL(Processor-in-the-loop) 개요
• 상위수준 요구사항에 대해 실행 가능한 오브젝트 코드 테스트
• 코드 커버리지 수집

툴 검증

학습목표: DO Qualification Kit를 사용하여 DO-178C 인증에 대해 MathWorks 제품 및 기능을 검증합니다.

• 툴 검증 요구사항
• DO Qualification Kit 개요
• 툴 검증 예제
• 검증 가능 툴 및 인증 크레딧 획득
• DO Qualification Kit 사용자 지정