이 페이지는 기계 번역을 사용하여 번역되었습니다. 최신 내용을 영문으로 보려면 여기를 클릭하십시오.
Simulink Check 시작하기
Simulink® Check™는 모델, 요구 사항 및 테스트를 분석하여 설계 품질과 표준 준수 여부를 평가합니다. 설계 시 모델링 표준 및 지침 위반을 식별하는 업계에서 인정하는 검사 및 메트릭을 제공합니다. 지원되는 고 무결성 소프트웨어 개발 표준에는 ISO 26262, DO-178C, DO-254, IEC 61508, ISO 25119, IEC 62304 및 MathWorks Advisory Board(MAB) 스타일 지침이 포함됩니다. 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)를 통해 산업 표준에 대한 지원이 제공됩니다.
튜토리얼
- 단계 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.
Assess and Verify Model Quality
Use industry-recognized checks and metrics that identify standard and guideline violations.
추천 예제
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 Design Complexity Using 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에서 지침이나 표준 문제를 식별하는 방법에 대해 알아보세요.
모델링 표준 준수
모델 어드바이저를 사용하여 표준 준수 확인
인증된 툴을 사용한 DO-178C 개발 공정, 4편: 인증된 모델 검증 - 모델 표준
DO-178C 및 DO-331을 준수하여 모델 표준, 일관성 및 정확성을 검증하기 위해 정적 분석을 수행합니다.
