Design Verification with Simulink

1일차

검증 워크플로 이해

학습목표: 검증 워크플로를 익히고 Simulink Design Verifier로 모델을 준비하고 간단한 분석을 수행하는 방법을 배웁니다.

• 정형 검증 방법 소개
• Simulink Design Verifier 워크플로 살펴보기
• 모델 준비 및 호환성 보장
• 분석 옵션 구성
• 결과 생성

설계 오류 감지

학습목표: 설계 오류 감지를 사용하여 모델을 검증하는 방법을 배웁니다.

• 설계 오류 유형 소개
• 설계 오류 감지
• 결과 분석 및 보고
• 설계 오류 수정
• 파라미터 테이블 사용

테스트 자동 생성

학습목표: 커버리지 유형을 검토하고 자동 테스트 생성을 사용하여 누락된 모델 커버리지를 완성하는 방법을 알아봅니다.

• 커버리지 유형 이해
• 모델 커버리지 측정
• 자동 테스트 생성으로 커버리지 증가
• 결과 분석 및 보고
• 사용자 지정 조건과 목적 적용

속성 증명

학습목표: 속성에 요구사항을 정형화하고 속성 증명을 사용하여 설계가 요구사항을 충족하는지 검증하는 방법을 배웁니다.

• 요구사항 정형화
• 요구사항 증명
• 잘못된 요구사항 디버깅
• 타이밍 연산자 사용

모델 복잡도 관리

학습목표: 모델 복잡도의 소스를 식별하고 분석 성능을 향상하는 기법을 배웁니다.

• 모델 복잡도의 소스 식별
• 블록 대체 구현
• 비선형성 처리
• 룩업 테이블 복잡도 관리
• 카운터와 타이머 활용