Applying Model-Based Design for ISO 26262

1일차

ISO 26262 및 모델 기반 설계 개요

학습목표: ISO 26262와 자동차 산업에서 이 표준의 역할에 대해 개략적으로 살펴봅니다. 이 표준에 대한 MathWorks의 관여 정도와 지원 수준을 다룹니다.

• ISO 26262 표준
• 모델 기반 설계 개요
• 참조 워크플로

프로젝트 관리

학습목표: 프로젝트 파일(모델, 데이터, 문서)을 구성합니다. 프로젝트 환경에 익숙해집니다.

• 프로젝트 설정
• 파일 바로가기와 레이블
• 파일 종속성 분석

모델 생성

학습목표: 알고리즘 개발을 위한 Simulink 모델을 생성하고 시뮬레이션합니다. 데이터 사전을 사용하여 모델 데이터를 관리합니다.

• Simulink 환경
• 이산시간 모델
• 샘플 시간
• 시뮬레이션 및 분석
• 데이터 사전
• 솔버 선택

모델의 표준 준수

학습목표: 모델링 표준을 설정하고 적용하는 방법을 살펴보고 일반적인 모델링 오류를 검사합니다.

• 모델링 표준
• 편집 시 검사
• 모델 어드바이저
• 결과 보고

2일차

요구사항 관리

학습목표: Simulink 모델을 소프트웨어 요구사항에 연결합니다.

• 요구사항 세트
• 요구사항 가져오기
• 요구사항 연결

소프트웨어 단위 검증

학습목표: Simulink 모델을 위해 시간 기반 테스트 케이스와 논리 기반 테스트 케이스를 만듭니다.

• 검증 유형
• 설계 오류 검출
• 테스트 하네스 생성
• 테스트 입력
• 테스트의 로직
• 요구사항 기반 평가

소프트웨어 단위에 대한 코드 생성

학습목표: 소프트웨어 단위에 대한 코드를 생성합니다. 생성된 코드를 데이터 저장 및 실행 최적화를 위해 사용자 지정합니다.

• 계단 함수에 대한 코드 생성
• 함수 프로토타입
• 데이터 저장 최적화
• 데이터형 및 스토리지 클래스
• 데이터 객체
• 함수 템플릿

3일차

서브시스템

학습목표: 서브시스템을 사용하여 소프트웨어 단위 내에서 기능 분할을 생성합니다. 재사용을 위해 서브시스템을 라이브러리 블록으로 패키징합니다. 생성된 코드에서 분할을 만듭니다.

• 서브시스템
• Variant Subsystem
• 서브시스템 참조
• 마스크
• 라이브러리
• 서브시스템 코드 생성

멀티레이트 모델링

학습목표: 레이트 기반 모델링과 함수 내보내기 모델링 접근 방식을 소개합니다. 레이트 간의 레이트 변경을 처리합니다.

• 블록 실행
• 싱글레이트 시스템
• 멀티레이트 시스템
• 레이트 변경
• 함수 내보내기 모델

아키텍처 모델링

학습목표: System Composer를 사용하여 소프트웨어 아키텍처 모델을 생성합니다. 소프트웨어 아키텍처를 분석하고 거동 모델에 연결합니다.

• 아키텍처 모델
• 프로파일 및 스테레오타입
• 인터페이스 편집기
• 뷰
• 거동 모델 연결

4일차

시스템 통합

학습목표: 모델 참조를 사용하여 소프트웨어 단위를 통합 모델로 구성합니다. 통합 단계에서 여러 모델 간에 공유될 수 있도록 모델 설정과 데이터 사전을 구성합니다.

• 시스템 컴포넌트 고려 사항
• 모델 참조
• 참조된 데이터 사전
• 참조된 구성 세트
  
• 통합 모델에 대한 코드 생성
• 모델 작업 공간

In-the-Loop 테스트

학습목표: In-the-loop 테스트 기법을 사용한 생성 코드의 테스트 및 검증

• SIL(Software-in-the-loop) 테스트
• 코드 프로파일링
• 모델 참조 소프트웨어 테스트
• PIL(Processor-in-the-loop) 테스트

검증 자동화

학습목표: 반복 가능한 테스트 그룹을 만들고 테스트 결과 리포트를 자동 생성합니다.

• 테스트 파일
• 모델 커버리지
• 코드 커버리지
• 테스트 자동 생성
• 테스트 결과 보고

5일차

코드 검증

학습목표: 생성된 코드에 대해 정적 분석을 수행하여 코드가 MISRA C:2012를 준수하는지 확인합니다.

• Polyspace Bug Finder를 사용한 코드 검증
• 소프트웨어 MISRA C:2012 준수
• 코드 메트릭

리포팅

학습목표: Simulink 모델에서 리포트와 문서를 자동으로 만드는 방법을 다룹니다. 프로젝트 환경의 구성 관리 방법에 대해 살펴봅니다.

• Model Testing Dashboard
• 웹 보기
• 표준 리포트
• 소스 컨트롤 연동
• 파일 변경사항

툴 검증

학습목표: IEC Certification Kit (for ISO 26262 and IEC 61508)을 사용하여 MathWorks 툴이 ISO 26262를 준수하는지 검증

• 툴 검증
• IEC Certification Kit (for ISO 26262 and IEC 61508)

사례 연구

학습목표: 모델 기반 설계를 적용해 제어 알고리즘을 구현하여 참조 워크플로를 소개합니다.