MATLAB 및 Simulink 교육

교육과정 세부 정보

본 1일 교육과정은 Simulink Design Verifier™ 를 사용하여 설계를 검증 및 테스트하고, 필요한 요구사항을 만족하는지 확인하는 방법을 소개합니다. 

본 과정의 주요 내용은 다음과 같습니다.

  • 일반적인 설계 오류 검출 및 디버깅
  • 모델 커버리지 검증
  • 자동 테스트 생성을 통한 누락된 커버리지 확인
  • 요구사항 기반 검증을 위한 모델 특성 증명
  • 효율적인 분석을 위한 모델 복잡도 처리

Day 1 of 1


검증 워크플로 이해

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

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

설계 오류 감지

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

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

테스트 자동 생성

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

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

속성 증명

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

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

모델 복잡도 관리

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

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

수준: 중급

수강자 필수조건:

기간: 1 일

언어: English, 日本語, 한국어, 中文