Simulink Check

모델 검사 사용자 지정

모델이 조직의 자체 표준과 지침을 준수하도록 사용자 지정 모델 어드바이저 검사를 구성, 사용자 지정 및 자동화할 수 있습니다.

편집 중에 오류 파악 및 수정

편집 시 검사를 통해 오류가 처음 만들어질 때 이를 식별하고 해결하여 추후의 재작업을 방지할 수 있습니다. 조직의 자체 표준에 맞는 Simulink®, System Composer™ 또는 Stateflow®의 사용자 지정 편집 시 검사를 생성할 수 있습니다.

모델 기반 설계의 CI/CD 자동화

CI/CD Automation for Simulink Check™ 지원 패키지로 Simulink의 CI/CD(지속적 통합/지속적 배포) 워크플로 도입과 최적화를 간소화할 수 있습니다. CI/CD 파이프라인을 정의하고, 데스크탑에서 사전 검증으로 빌드 실패를 예방하고, Jenkins®나 GitLab® 같은 CI 시스템과 통합하고 증분 빌드를 실행하여 빌드 시간을 단축할 수 있습니다.

요구사항 기반 테스트 추적

단위 테스트 아티팩트의 상태와 품질을 모니터링하여 요구사항 기반 테스트의 완전성을 평가하고 ISO 26262 및 DO-178C 표준을 준수할 수 있습니다.

품질, 복잡도 및 유지보수성 측정 

프로젝트에서 MATLAB®, Simulink®, Stateflow® 아티팩트의 가독성, 유지보수성, 재사용성을 개선하는 데 유용한 모델 메트릭으로 모델의 크기, 아키텍처, 복잡도를 평가할 수 있습니다. 대시보드는 ISO 26262, DO-178C, IEC 61508, IEC 62304, EN 50128 등의 표준과 기타 표준의 준수 목표 달성 현황을 모니터링하는 데 유용한 메트릭을 통합하여 보여줍니다.

모델 검토 및 보고 자동화

검토를 위해 모델 어드바이저 리포트를 생성할 수 있습니다. 위반 사항의 정당성을 명시하여 경고와 오류를 제거할 수 있습니다. 준수 검증을 가속화하기 위해 Parallel Computing Toolbox™를 사용하여 여러 컴퓨터에서 동시에 검사를 실행할 수도 있습니다.

복잡한 모델 단순화 및 디버그

Model Slicer를 사용해서 시뮬레이션 중 활성 동작에 기반한 정적 및 동적 분석의 조합을 통해 기능적 종속성을 강조 표시할 수 있습니다. 기준 테스트 (4:03) 또는 동등성 테스트 실패, 속성 증명 반례 (6:33)정수 오버플로 등의 오류를 디버그할 수 있습니다.

모델 전반에서 모델링 클론 식별 및 리팩터링

모델을 분석하여 클론의 위치를 파악하고 모델링 패턴을 복제할 수 있습니다. 자동으로 리팩터링을 수행하여 유지보수성을 개선하고 재사용성을 늘리고 설계 복잡도를 줄일 수 있습니다. 비효율적인 패턴을 검출하고 리팩터링하여 코드 효율성을 향상할 수 있습니다.

“우리는 ARP4754에 대해 Simulink의 시스템 설계 모델을 사용하여 안정적이고 객관적인 요구사항을 확립합니다. 이 모델을 DO-178에 대한 소프트웨어 설계 모델의 기초로 사용하여 비행 코드를 생성하고 소프트웨어 확인 작업에 검증 테스트를 재사용함으로써 시간을 절약할 수 있습니다.”

Ronald Blanrue, Airbus Helicopters