Simulink Code Inspector

안전 표준을 위한 소스 코드 리뷰를 자동화하고 관리할 수 있습니다.

Simulink Code Inspector는 생성된 코드를 자동으로 소스 모델과 비교하여 DO-178을 비롯한 기타 고무결성 표준의 코드 리뷰 목표를 충족할 수 있습니다. Simulink Code Inspector는 또한 모델의 블록, 상태 다이어그램, 파라미터 및 설정을 체계적으로 검사하여 그것이 생성된 코드의 연산, 연산자, 데이터와 기능적으로 동등한지 확인할 수 있습니다.

Simulink Code Inspector는 상세한 모델-코드 및 코드-모델 추적 분석을 제공합니다. 인증 당국에 제출할 수 있는 기능적 동등성 및 추적성 리포트를 생성하여 DO-178 소프트웨어 코딩 검증 목표를 충족할 수 있습니다. 모델 호환성을 검사하고 코드를 검사할 수 있는 앱이 있습니다. 코드 검사 결과가 모델 및 관련된 코드에 표시됩니다.

DO Qualification Kit (for DO-178)를 통해 산업 표준도 지원할 수 있습니다.

코드 생성과 검사를 위한 모델 준비

모델 호환성 검사를 실행하여 Simulink Code Inspector와 함께 사용할 수 있도록 모델을 준비할 수 있습니다. 결과가 직접 Simulink Code Inspector 앱에 표시되어 앱에서 수정을 적용할 수 있습니다.

문서 | 예제

모델로부터 코드 생성

Embedded Coder를 사용하여 모델로부터 코드를 생성할 수 있습니다.

문서 | 예제

코드 검사 및 검사 결과 확인

생성된 코드가 모델과 부합하는지 검사할 수 있습니다. 결과는 앱에 바로 보여집니다.

문서 | 예제

리포트 및 추적성 매트릭스 생성

앱을 사용하여 코드 검사 및 추적성 리포트를 생성할 수 있습니다.

문서 | 예제

제품 관련 자료:

문서 비디오 기술 칼럼 함수 ISO 26262 지원 요구사항 릴리스 정보 Quick-Start Tutorial DO-178 Suppport

"우리는 모델 기반 설계를 이용하여 첫 비행을 성공리에 마쳤습니다. 제어나 통합 측면에 아무런 문제도 없었습니다. Embedded Coder로 Simulink 모델로부터 제어 법칙 코드를 생성하여 수작업 코드 생성에 따른 속도 저하를 없앴고, 팀이 자유롭게 프로그램의 더 넓은 목표를 추구할 수 있게 되었습니다."

고객 사례 더 보기