이 페이지는 기계 번역을 사용하여 번역되었습니다. 영어 원문을 보려면 여기를 클릭하십시오.

Simulink Check 시작하기

Simulink^® Check™는 모델, 요구 사항 및 테스트를 분석하여 설계 품질과 표준 준수 여부를 평가합니다. 이는 설계 시 모델링 표준 및 지침 위반을 식별하는 업계에서 인정받는 검사 및 측정 기준을 제공합니다. 지원되는 높은 무결성 소프트웨어 개발 표준에는 ISO 26262, DO-178C, DO-254, IEC 61508, ISO 25119, IEC 62304 및 MAB(MathWorks Advisory Board) 스타일 지침이 포함됩니다. Simulink Check는 CERT C, CWE 및 ISO/IEC TS 17961과 같은 보안 코딩 표준도 지원합니다. 편집기에서 바로 규정 준수 문제를 식별할 수 있는 자체 표준 또는 지침을 준수하는 사용자 정의 검사를 생성할 수 있습니다.

Simulink Check는 설계 상태 및 품질을 평가하기 위한 크기 및 복잡성과 같은 메트릭을 제공합니다. 모델 테스트 대시보드는 요구 사항 기반 테스트 활동의 데이터를 통합하여 테스트 상태를 추적합니다. 자동 모델 리팩터링을 사용하면 모델링 복제본을 대체하고, 설계 복잡성을 줄이고, 재사용 가능한 콘텐츠를 식별할 수 있습니다. 모델 슬라이서 도구는 모델에서 문제가 있는 동작을 격리하고 디버깅을 위해 단순화된 모델을 생성합니다.

산업 표준에 대한 지원은 IEC Certification Kit (for ISO 26262 and IEC 61508) 및 DO Qualification Kit (for DO-178)를 통해 제공됩니다.

튜토리얼

Assess and Verify Model Quality

Use industry-recognized checks and metrics that identify standard and guideline violations.

• 단계 1: Detect and Fix Model Advisor Check Violations
• 단계 2: Collect Model Metric Data by Using the Metrics Dashboard
• 단계 3: Detect and Fix Compliance Issues
• 단계 4: Refactor Models to Improve Component Reuse
• Simplify Model for Targeted Analysis of Complex Models Using Model Slicer Tool
  

  Simplify simulation, debugging, and formal analysis of large complex models by focusing on an area of interest.

• Assess Requirements-Based Testing Quality by Using the Model Testing Dashboard
  

  Use dashboard metrics to track the status and quality of testing activities.

추천 예제

Create and Deploy Model Advisor Custom Configuration

Demonstrates how to add custom checks to the Model Advisor and remove shipping checks that you do not require.

라이브 스크립트 열기

Monitor the Complexity of Your Design Using the Model Maintainability Dashboard

Assess the size, complexity, and architecture of your design.

라이브 스크립트 열기

Explore Status and Quality of Testing Activities Using Model Testing Dashboard

Evaluate the status and quality of model testing in your project.

라이브 스크립트 열기

Identify and Troubleshoot Gaps in Code Testing Results and Coverage

Use the code testing dashboards to assess and address code testing issues.

라이브 스크립트 열기

비디오

편집 시 검사를 통해 규정 준수 문제를 조기에 발견
편집 시 검사를 통해 편집하는 동안 Simulink 또는 Stateflow의 지침 ​​또는 표준 문제를 식별하는 방법을 알아보세요.

모델링 표준 준수
Model Advisor를 사용하여 표준 준수 여부 확인

DO-178C 개발 프로세스에서 적격 도구 사용, 4부: 적격 모델 검증 - 모델 표준
DO-178C 및 DO-331을 준수하여 모델 표준, 일관성 및 정확성을 검증하기 위해 정적 분석을 수행합니다.