Simulink Code Inspector

안전 표준을 위한 소스 코드 검토를 자동화할 수 있습니다

 

Simulink Code Inspector™는 생성된 코드를 자동으로 소스 모델과 비교하여 DO-178을 비롯한 기타 고무결성 표준의 코드 검토 요건을 충족할 수 있습니다. Simulink Code Inspector는 또한 모델의 블록, 상태 다이어그램, 파라미터 및 설정을 체계적으로 검사하여 그것이 생성된 코드의 연산, 연산자, 데이터와 구조적으로 동등한지 확인할 수 있습니다. Simulink Code Inspector는 상세한 모델-코드 및 코드-모델 추적 분석을 제공합니다. 생성된 구조적 동등성 및 추적 보고서를 인증 당국에 제출하여 DO-178 소프트웨어 코딩 검증 요건을 충족할 수 있습니다.

DO Qualification Kit(DO-178)를 통해 업계 표준 역시 지원 가능합니다.

시작하기:

모델 준비

Simulink Code Inspector™는 고무결성 시스템 모델에 사용되는 제약 조건이 적용된 모델링 구문 세트와 코드 최적화를 지원합니다. Simulink Code Inspector가 제공하는 호환성 검사기를 통해 모델이 제약 조건이 적용된 세트를 준수하는지 확인할 수 있습니다.

호환성 검사는 Simulink Code Inspector 사용자 인터페이스에서 대화형 방식으로 실행하거나 MATLAB® 명령을 사용하여 프로그래밍 방식으로 실행할 수 있습니다. 모델에서 비호환으로 식별된 블록 및 기타 부분들을 참조 모델 안에 배치한 다음 Simulink Code Inspector가 코드 검사 중에 호환되지 않는 참조된 모델을 생략하도록 구성할 수 있습니다. 그런 다음 자동으로 검토되지 않은 모델에 대해 수동 코드 검사를 수행할 수 있습니다.

Simulink Code Inspector 의사용자 인터페이스(왼쪽)와 모델 호환성 검사 결과(오른쪽).

코드 생성 및 검사

코드 검사는 코드 생성과 독립적으로 진행됩니다. Simulink Code Inspector는 기본적으로 코드가 이미 생성되었다고 가정합니다. 단, Code Inspector가 코드 검사 공정의 일부로 코드를 생성하도록 구성할 수는 있습니다. 생성된 소스 코드 파일의 위치(예: 프로덕션 빌드 공정에서 사용된 위치 등)를 지정할 수도 있습니다. 검사는 사용자 인터페이스나 명령줄을 통해 호출할 수 있습니다.

Simulink Code Inspector는 코드 검사에서 다음과 같은 일반 범주를 검토합니다.

  • 모델 인터페이스
  • 블록 동작
  • 블록 연결 및 실행 순서
  • 데이터 및 파일 패키징
  • 지역 변수 및 기능 모델 요소

구체적으로 수행되는 분석은 하이 레벨 인터페이스 평가(예: 초기화 및 계단 함수가 생성되었는지 여부)에서부터 상세한 블록 실행 순서 분석을 통해 두 블록 구성요소 사이의 데이터 종속성이 생성된 코드에도 보존되어 있는지 확인하는 작업까지 다양합니다.

검사 상태 메시지는 MATLAB에서 직접 검토할 수도 있고 상세한 보고서에서 검토할 수도 있습니다. 보고서에는 다음 섹션에서 설명하듯이 설계 개체로 연결되는 대화형 링크와 상세한 추적 분석이 포함됩니다.

MATLAB 명령을 사용한 성공적인(검증된) 코드 검사.

보고서 생성

Simulink Code Inspector를 사용하여 상세한 코드 검사 결과를 포함하는 보고서를 생성할 수 있습니다. 보고서를 저장할 위치를 직접 지정할 수 있으므로 보고서를 손쉽게 보관하고 완전한 인증 패키지에 포함시킬 수 있습니다. 검사 보고서는 모델 체크섬, 경로 이름, 날짜/시간 스탬프를 사용하여 검토된 소스 코드와 정확한 모델을 식별한 다음 수행된 검증 결과의 요약과 각 항목의 상태(예: 검증됨, 부분적으로 검증됨, 실패 등)를 제공합니다. 상세 정보 섹션에서는 모든 파일, 함수, 및 생성된 코드의 행에 대한 검증 결과를 보여줍니다.

추적 상세 정보는 다음과 같습니다.

  • 함수 인터페이스 검증
  • 모델-코드 검증
  • 코드-모델 검증
  • 임시 변수 사용

추적 세부 정보는 다음과 같습니다.

  • 모델-코드 추적
  • 코드-모델 추적

코드-모델 검증을 보여주는 Simulink Code Inspector 상세 보고서.

DO-178 요건

RTCA/DO-178 항공 시스템 및 장비 인증 분야의 소프트웨어 고려 사항 표준에는 소스 코드 검증의 요건이 명시되어 있습니다. Simulink Code Inspector에서 제공하는 자동화된 코드 검사를 사용하면 아래 표에 나와 있는 DO-178 소스 코드 검증 요건을 충족하는 데 필요한 시간을 단축할 수 있습니다. 요건 (3) 소스 코드의 검증이 가능함은 Simulink Code Inspector와 Polyspace Bug Finder™에서 제공하는 MISRA C® 분석기를 사용하여 완전히 충족할 수 있습니다. 요건 (4) 소스 코드가 표준을 준수함은 Polyspace Bug Finder에서 제공하는 MISRA C 분석기와 같은 툴을 사용하여 충족할 수 있습니다. Simulink Code Inspector 및 Polyspace® 제품을 위한 툴 적합성 검증은 DO Qualification Kit(DO-178)를 통해 지원됩니다.

Simulink Code Inspector와 호환되는 DO-178C 요건

부록 A 표 요건 DO-331 참조* 소프트웨어 수준
표 MB A-5 (1) 소스 코드가 로우 레벨 요구 사항을 준수함 섹션 MB 6.3.4a A, B, C
표 MB A-5 (2) 소스 코드가 소프트웨어 아키텍처를 준수함 섹션 MB 6.3.4b A, B, C
표 MB A-5 (3) 소스 코드의 검증이 가능함 섹션 MB 6.3.4c A, B
표 MB A-5 (5) 소스 코드를 로우 레벨 요구 사항으로 추적할 수 있음 섹션 MB 6.3.4e A, B, C
표 MB A-5 (6) 소스 코드가 정확하고 일관성 있음** 섹션 MB 6.3.4f A, B, C

*DO-331, DO-178C 및 DO-278A에 대한 모델 기반 개발 및 검증 보충 자료
**컴파일러 및 목적 코드 분석이 필요한 요건은 포함하지 않습니다.

DO Qualification Kit.

최신 기능

코드 생성 설정

비활성화 제거 함수 및 재설정 제거 함수의 제한 사항 제거

Simulink 블록

열거형 데이터형을 위한 추가 블록 지원, Unit Conversion 블록의 추가 단위 변환

MATLAB Function 블록

함수 호출 출력 및 내장 signdeg2rad, and rad2deg 지원

코드 생성 최적화

더 많은 최적화를 위한 코드 검사 지원

위 기능과 해당 함수에 대한 자세한 내용은 릴리스 정보를 참조하십시오.