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는 설계 상태와 품질을 평가할 수 있도록 크기, 복잡도 등의 메트릭을 제공합니다. Model Testing Dashboard를 통해 요구사항 기반 테스트 활동에서 나온 데이터를 통합하여 테스트 상태를 추적할 수 있습니다. 자동 모델 리팩터링을 통해 모델링 클론을 대체하고 설계 복잡도를 줄이며 재사용 가능한 콘텐츠를 식별할 수 있습니다. Model Slicer 툴은 모델에서 문제 있는 동작을 격리하고, 디버그를 위해 단순화된 모델을 생성합니다.
IEC Certification Kit (for ISO 26262 and IEC 61508) 및 DO Qualification Kit (for DO-178)을 통해 산업 표준 지원이 가능합니다.
산업 표준 준수 여부 검사
ISO 26262, DO-178C, DO-331, DO-254, IEC 61508, ISO 25119, IEC 62304, EN 50128, MISRA C:2012, MAB(MathWorks Advisory Board) 지침, JMAAB, CERT C, CWE, ISO/IEC TS 17961 등의 산업 표준에 대해 사전 구성된 검사를 사용할 수 있습니다.
모델 검사 사용자 지정
모델이 조직의 자체 표준과 지침을 준수하도록 사용자 지정 모델 어드바이저 검사를 구성, 사용자 지정 및 자동화할 수 있습니다.
편집 중에 오류 파악 및 수정
편집 시 검사를 통해 오류가 처음 만들어질 때 이를 식별하고 해결하여 추후의 재작업을 방지할 수 있습니다. 조직의 자체 표준에 맞는 Simulink, System Composer 또는 Stateflow의 사용자 지정 편집 시 검사를 생성할 수 있습니다.
모델 기반 설계의 CI/CD 자동화
CI/CD Automation for Simulink Check 지원 패키지로 Simulink의 CI/CD(지속적 통합/지속적 배포) 워크플로 도입과 최적화를 간소화할 수 있습니다. CI/CD 파이프라인을 정의하고, 데스크탑에서 사전 검증으로 빌드 실패를 예방하고, Jenkins®나 GitLab® 같은 CI 시스템과 통합하고 증분 빌드를 실행하여 빌드 시간을 단축할 수 있습니다.
요구사항 기반 테스트 추적
단위 테스트 아티팩트의 상태와 품질을 모니터링하여 요구사항 기반 테스트의 완전성을 평가하고 ISO 26262 및 DO-178C 표준을 준수할 수 있습니다. SIL Code Testing Dashboard와 PIL Code Testing Dashboard의 메트릭 결과를 사용하여 SIL(Software-in-the-Loop) 및 PIL(Processor-in-the-Loop) 테스트의 코드 테스트 상태와 품질을 평가할 수 있습니다.
품질, 복잡도 및 유지보수성 측정
프로젝트에서 MATLAB, Simulink, Stateflow 아티팩트의 가독성, 유지보수성, 재사용성을 개선하는 데 유용한 모델 메트릭으로 모델의 크기, 아키텍처, 복잡도를 평가할 수 있습니다. 대시보드는 ISO 26262, DO-178C, IEC 61508, IEC 62304, EN 50128 등의 표준과 기타 표준의 준수 목표 달성 현황을 모니터링하는 데 유용한 메트릭을 통합하여 보여줍니다.
모델 검토 및 보고 자동화
검토를 위해 모델 어드바이저 리포트를 생성할 수 있습니다. 위반 사항의 정당성을 명시하여 경고와 오류를 제거할 수 있습니다. 준수 검증을 가속화하기 위해 Parallel Computing Toolbox를 사용하여 여러 컴퓨터에서 동시에 검사를 실행할 수도 있습니다.
복잡한 모델 단순화 및 디버그
모델 슬라이서를 사용하여 시뮬레이션 중 활성 동작에 기반한 정적 및 동적 분석의 조합을 통해 기능적 종속성을 강조 표시할 수 있습니다. 기준 테스트 또는 동등성 테스트 실패, 속성 증명 반례나 정수 오버플로 등의 오류를 디버그할 수 있습니다.
모델 전반에서 모델링 클론 식별 및 리팩터링
모델을 분석하여 클론의 위치를 파악하고 모델링 패턴을 복제할 수 있습니다. 자동으로 리팩터링을 수행하여 유지보수성을 개선하고 재사용성을 늘리고 설계 복잡도를 줄일 수 있습니다. 비효율적인 패턴을 검출하고 리팩터링하여 코드 효율성을 향상할 수 있습니다.
제품 관련 자료:
“우리는 ARP4754에 대해 Simulink의 시스템 설계 모델을 사용하여 안정적이고 객관적인 요구사항을 확립합니다. 이 모델을 DO-178에 대한 소프트웨어 설계 모델의 기초로 사용하여 비행 코드를 생성하고 소프트웨어 확인 작업에 검증 테스트를 재사용함으로써 시간을 절약할 수 있습니다.”
Ronald Blanrue, Airbus Helicopters