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