Main Content

이 페이지는 기계 번역을 사용하여 번역되었습니다. 영어 원문을 보려면 여기를 클릭하십시오.

ISO 26262, ISO 25119, IEC 61508, IEC 62304 및 EN 50128/EN 50657 산업 표준에 대한 Model Advisor 검사

Simulink® Check™ Model Advisor를 사용하여 모델이나 하위 시스템이 이러한 표준의 선택된 측면을 준수하는지 확인할 수 있습니다.

이러한 검사를 실행하려면 open the Model Advisor을 실행하고 해당 폴더에서 검사를 실행하세요.

  • 작업별 > ISO 26262에 대한 모델링 표준

  • 작업별 > ISO 25119에 대한 모델링 표준

  • 작업별 > IEC 61508에 대한 모델링 표준

  • 작업별 > IEC 62304에 대한 모델링 표준

  • 작업별 > ISO 25119에 대한 모델링 표준

  • 작업별 > EN 50128/EN 50657에 대한 모델링 표준

이러한 검사를 실행하려면 Embedded Coder®, Simulink Check, Simulink Design Verifier™ 또는 Requirements Toolbox™이 필요합니다.

IEC 인증 키트에서 사용할 수 있는 Model Advisor 검사 목록은 Simulink Check - Trace Matrix(mathworks_slchk_trace.xlsx)을 참조하세요. 이 아티팩트는 Simulink Check에 대해 생성한 인증 프로젝트에서 사용할 수 있습니다. 자세한 내용은 Create a Tool-Specific Certification Project (IEC Certification Kit)를 참조하세요.

참고

모델이 모델 참조를 사용하는 경우 최상위 모델에서 실행하기 전에 참조된 모든 모델에 대해 검증된 검사를 실행하세요.

모델 고문 하위 폴더모델 어드바이저 확인ID 확인
해당 없음구성 관리 데이터 표시mathworks.iec61508.MdlVersionInfo
디스플레이 모델 메트릭 및 복잡성 보고서mathworks.iec61508.MdlMetricsInfo
연결되지 않은 개체 확인mathworks.iec61508.UnconnectedObjects
고무결성 시스템Model Advisor가 높은 무결성 시스템 모델링 지침을 확인합니다. 참조
SimulinkIdentify unconnected lines, input ports, and output portsmathworks.design.UnconnectedLinesPorts
라이브러리 링크Identify unresolved library linksmathworks.design.UnresolvedLibLinks
요구 사항 일치Model Advisor가 요구 사항 링크를 확인합니다. 참조
버그 리포트View bug reports (IEC Certification Kit) 참조

구성 관리 데이터 표시

검사 ID: mathworks.iec61508.MdlVersionInfo

모델 구성 및 체크섬 정보를 표시합니다.

설명

이 정보 확인은 현재 모델에 대해 다음 정보를 표시합니다.

  • 모델 버전 번호

  • 모델 작성자

  • 날짜

  • 모델 체크섬

Simulink Check로 구매 가능합니다.

결과 및 권장 조치

상태권장 조치
모델 버전 및 체크섬 정보를 검색할 수 없습니다. 이 요약은 정보 제공을 위해 제공됩니다. 조치가 필요하지 않습니다.

기능 및 제한 사항

  • 라이브러리 모델에서는 실행되지 않습니다.

  • 블록이나 차트의 제외를 허용하지 않습니다.

참조:

디스플레이 모델 메트릭 및 복잡성 보고서

검사 ID: mathworks.iec61508.MdlMetricsInfo

모델 또는 하위 시스템에 대한 요소 수와 이름, 수준 및 하위 시스템 깊이를 표시합니다.

설명

IEC 61508, ISO 26262, EN 50128 및 EN 50657 표준에서는 개발 중인 소프트웨어를 평가하기 위해 크기 및 복잡성 측정 기준을 사용할 것을 권장합니다. 이 검사는 모델에 대한 메트릭 정보를 제공합니다. 제공된 정보는 모델이나 하위 시스템의 크기나 복잡성이 주어진 제한을 초과하는지 여부를 검사하는 데 사용될 수 있습니다. 검사에는 다음이 표시됩니다.

  • 라이브러리 링크 블록을 포함하여 해당 모델에 포함된 각 Simulink 블록 유형에 대한 블록 수입니다.

  • 해당 모델에서 Stateflow®의 개수가 구성됩니다(해당되는 경우).

  • 해당 모델에 포함된 하위 시스템의 이름, 수준 및 깊이(해당되는 경우)

  • 해당 모델의 최대 하위 시스템 깊이입니다.

Simulink Check로 구매 가능합니다.

이 검사에는 Stateflow 라이센스가 필요합니다.

결과 및 권장 조치

상태권장 조치
해당 없음 이 요약은 정보 제공을 위해 제공됩니다. 조치가 필요하지 않습니다.

기능 및 제한 사항

  • 라이브러리 모델에서 실행됩니다.

  • 라이브러리 링크 블록의 내용을 분석합니다.

  • 마스킹된 모든 하위 시스템의 콘텐츠를 분석합니다.

  • 블록이나 차트의 제외를 허용하지 않습니다.

참조:

  • IEC 61508-3, 표 B.9(1) - 소프트웨어 모듈 크기 제한, 표 B.9(2) - 소프트웨어 복잡성 제어

  • IEC 62304, 5.5.3 - 소프트웨어 유닛 승인 기준

  • ISO 26262-6, 표 1 (1a) - 낮은 복잡성 시행, 표 3 (a) - 소프트웨어 구성 요소의 계층 구조, 표 3 (b) - 소프트웨어 구성 요소의 제한된 크기 및 표 3 (c) - 소프트웨어 구성 요소의 제한된 크기 인터페이스

  • EN 50128, 표 A.12 (8) - 기능, 서브루틴 및 방법의 제한된 크기 및 복잡성, (9) 제한된 수의 서브루틴 매개변수

  • EN 50657, 표 A.12 (8) - 기능, 서브루틴 및 방법의 제한된 크기 및 복잡성, (9) 제한된 수의 서브루틴 매개변수

  • Simulink 문서의 sldiagnostics

  • Cyclomatic Complexity for Stateflow Charts (Simulink Coverage)

연결되지 않은 개체 확인

검사 ID: mathworks.iec61508.UnconnectedObjects

모델에서 연결되지 않은 라인, 입력 포트 및 출력 포트를 식별합니다.

설명

연결되지 않은 객체는 데이터, 유형, 샘플 시간 및 차원과 같은 신호 속성을 전파하는 데 문제를 일으킬 수 있습니다.

Ground 또는 Terminator 블록에 연결된 포트는 이 검사를 통과합니다.

Simulink Check로 구매 가능합니다.

결과 및 권장 조치

상태권장 조치
모델 또는 서브시스템에 연결되지 않은 라인, 입력 포트 또는 출력 포트가 있습니다.

  • 모델 다이어그램에서 해당 항목을 찾으려면 연결되지 않은 항목 목록에서 요소를 두 번 클릭합니다.

  • 결과에서 식별된 개체를 연결합니다.

기능 및 제한 사항

  • 라이브러리 모델에서 실행됩니다.

  • 라이브러리 링크 블록의 내용을 분석하지 않습니다.

  • 마스킹된 모든 하위 시스템의 콘텐츠를 분석합니다.

  • 블록 및 차트를 제외할 수 있습니다.

참조:

  • IEC 61508-3, 표 A.3(3) - 언어 하위 집합

  • IEC 62304, 5.5.3 - 소프트웨어 유닛 승인 기준

  • ISO 26262-6, 표 1(1b) - 언어 하위 집합 사용, 표 1(1d) - 방어 구현 기술 사용

  • EN 50128, 표 A.4(11) - 언어 하위 집합

  • EN 50657, 표 A.4(11) - 언어 하위 집합

  • Signal Basics