Simulink Check

주요 업데이트

모델 검사 사용자 지정

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

편집 중에 오류 파악 및 수정

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

요구사항 기반 테스트 추적

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

메트릭을 사용한 모델 품질 측정

모델 메트릭을 수집하여 모델의 아키텍처, 복잡도 및 가독성이 ISO 26262, DO-178C, DO-331, DO-254, IEC 61508, IEC 62304, EN 50128 및 기타 표준을 준수하는지 평가할 수 있습니다. 모델 크기, 코드 라인, 지침 준수 상태, 재사용성, 복잡도 등의 메트릭을 단일 화면에서 통합하여 볼 수 있습니다.

모델 검토 및 보고 자동화

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

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

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

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

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

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

Ronald Blanrue, Airbus Helicopters