IEC Certification Kit(ISO 26262 및 IEC 61508용)

ISO 26262 및 IEC 61508 인증용 코드 생성 및 검증 툴의 적합성 검사

 

IEC Certification Kit은 툴 적합성 검사 아티팩트, 인증서 및 테스트 스위트를 제공하며 추적성 매트릭스를 생성합니다. 코드 생성 및 검증 제품의 적합성을 검사하고, ISO® 26262, IEC 61508, EN 50128을 비롯해 IEC 62304와 같은 기능 안전 표준에 대한 임베디드 시스템의 인증을 간소화할 수 있습니다. 인증 기관인 TÜV SÜD에서 발급한 인증서와 평가 보고서는 지원 제품과 표준에 관한 키트에 포함되어 있습니다.

IEC Certification Kit은 ISO 26262 툴 적합성 검사, 사용 제품의 분류 및 테스트 스위트뿐만 아니라 사용 제품을 특정 프로젝트 요구 사항에 맞게 조정하는 데 도움이 되는 템플릿을 제공합니다. 요구 사항, 모델 및 생성된 코드를 다루는 추적성 매트릭스를 포함하여 프로젝트별 아티팩트를 생성할 수 있습니다. 프로젝트별 아티팩트와 제품별 아티팩트를 결합하여 임베디드 시스템 인증을 위한 완전한 ISO 26262 ASIL A-D 툴 적합성 검사 패키지를 만들 수 있습니다.

참고: ISO 26262:2018은 여기에서 볼 수 있듯이 Simulink 및 Stateflow가 소프트웨어 아키텍처 및 소프트웨어 단위 설계 표기에 적합하며, 자동 코드 생성을 위한 기초로서 적합하다고 명시하고 있습니다.

시작하기:

표준

IEC 61508, ISO 26262, ISO/PAS 21448, EN 50128, IEC 62304 및 관련 표준이란?

IEC 61508(전기/전자/프로그래밍 가능한 전자 안전 관련 시스템의 기능 안전)은 산업 독립적인 국제 기능 안전 표준입니다. IEC 61508-1부터 IEC 61508-7까지 총 7부로 구성되어 있습니다. IEC 61508-3은 소프트웨어 개발, 확인 및 검증을 다룹니다. IEC 61508-3에서는 SIL(안전 무결성 수준) SIL 2 이상에 대해 인증된 툴과 변환기를 강력히 권장하고 있으며, 7.4.4절에서는 권장 지원 툴을 안내합니다.

Model-Based Design 워크플로를 사용하여 기능 안전 표준 준수 증빙.

ISO 26262(자동차 — 기능 안전)는 국제 기능 안전 표준입니다. 자동차 산업의 전기 및 전자 시스템 응용 분야에 맞게 IEC 61508을 개정한 것입니다. ISO 26262-1부터 ISO 26262-10까지 총 10부로 구성되어 있습니다. ISO 26262-6은 소프트웨어 개발, 확인 및 검증을 다룹니다. Model-Based Design 및 코드 생성을 사용하는 프로젝트를 위한 가이드가 포함되어 있습니다. ISO 26262-8은 소프트웨어 툴의 분류 및 적합성 검사를 포함하여 여러 가지 기능적 주제를 다룹니다. 툴 적합성 검사에 요구되는 엄격도는 TCL(툴 분류 수준)과 소프트웨어 ASIL(자동차 안전 무결성 수준) A~D에 따라 정해집니다. 2019년에는 시스템 장애가 없을 경우 시스템의 의도된 기능을 위한 안전을 다루는 보완적인 표준인 ISO/PAS 21448 - 자동차 -- SOTIF(의도된 기능의 안전)가 발표되었습니다.

EN 50128(철도 분야 — 철도 제어 및 보호 시스템을 위한 소프트웨어)은 철도 제어 및 보호 분야에서 사용하는 프로그래밍 방식 전자 시스템의 개발에 대한 절차 및 기술 요구 사항을 명시하는 유럽 표준입니다. CENELEC(유럽 전기기술 표준화 위원회)가 개발한 EN 50128은 IEC 61508 표준의 철도 분야 해석을 대표하는 표준의 일부입니다.

IEC 62304(의료 기기 소프트웨어 – 소프트웨어 라이프사이클 프로세스)는 의료 기기 소프트웨어에서 요구되는 소프트웨어 개발 및 유지 관리 프로세스를 기술하는 국제 표준입니다. 요구되는 프로세스, 작업 및 활동은 기기 소프트웨어의 위험(환자, 치료 제공자 또는 환경에 대해 야기되는 위험) 수준의 영향을 받습니다. 위험 수준은 3가지 안전 등급으로 나뉩니다. 클래스 A - 상해 또는 건강 손상이 가능하지 않음. 클래스 B - 심각하지 않은 상해가 가능함. 클래스 C - 사망 또는 심각한 상해가 가능함. IEC 62304는 소프트웨어 툴 적합성 검사를 직접적으로 다루지는 않습니다. 그러나 IEC 62304의 요구 사항을 구현하는 데 사용할 수 있는 방법, 툴 및 기법의 소스로서 IEC 61508을 참조할 수 있다고 명시하고 있습니다. FDA와 같은 지역별 당국의 툴 검증을 위한 추가 지침은 FDA 소프트웨어 검증 페이지에서 확인할 수 있습니다.

IEC Certification Kit은 IEC 61508:2010, ISO 26262:2018, EN 50128:2011, IEC 62304:2006, IEC 61511:2003용 TÜV SÜD 인증서를 포함합니다. 이 외에도 ISO/PAS 21448(SOTIF)과 같은 다른 표준에 대한 참조 워크플로를 제공합니다. IEC Certification Kit은 툴 적합성 검사를 위한 기준선이자 Model-Based Design을 사용하여 기타 IEC 61508 관련 표준 및 개정안에 대한 인증이 필요한 시스템을 개발하기 위한 지침으로 활용할 수도 있습니다.

적합성 검사 툴

인증 기관에 완전한 인증 패키지 제공

IEC Certification Kit은 툴 인증 또는 적합성 검사를 위한 컨텍스트 내 접근 방식으로서, 신청자가 지원되는 툴을 적용하여 기능 안전 표준을 준수하거나 표준을 인증받은 응용 프로그램과 관련된 소프트웨어를 개발하거나 검증할 때 일반적인 워크플로 또는 사용 사례를 기반으로 합니다. 이 워크플로는 ISO 26262에 따른 위험 수준 ASIL A–ASIL D, IEC 61508에 따른 위험 수준 SIL 1–SIL 3, 그리고 EN 50128에 따른 위험 수준 SIL 0–SIL 4를 다룹니다. 신청자는 언급된 워크플로 내의 툴을 신청자 프로젝트의 인증 계획에 명시된 제약 조건 및 사용 사례 내에서 사용해야 합니다.

IEC Certification Kit은 MATLAB®, Simulink 및 Polyspace 제품을 사용하여 인증 기관에 완전한 인증 패키지를 제공할 수 있도록 설계되었습니다. IEC Certification Kit을 사용하려면 다음 단계를 따르십시오.

  1. 관련 기능 안전 표준의 요구 사항 및 의도된 사용 사례에 대한 준수 여부를 기록합니다.
  2. 인증 기관에 초기 인증 계획을 제안합니다.
  3. 툴에서 제공하는 아티팩트(예: TÜV SÜD 인증서)를 수집하고 응용 프로그램에 대해 독립적인 툴 적합성 검사 활동(제품 테스트 스위트 실행 포함)을 수행합니다.
  4. IEC Certification Kit에서 제공하는 추적 가능성 매트릭스 생성 기능을 사용하여 응용 프로그램별 툴 적합성 검사 활동(예: 모델-코드 추적 가능성 생성)을 수행합니다.
  5. 완성된 인증 패키지를 인증 기관에 제공합니다.

IEC Certification Kit은 위 단계를 위한 지침과 정보를 제공하며 지원되는 제품 및 표준의 적합성 검사에 필요한 문서 템플릿, 테스트 케이스 및 테스트 절차를 포함합니다.

지원되는 제품에 대해, IEC Certification Kit은 다음과 같은 아티팩트를 포함합니다.

  • TÜV SÜD 인증서 및 인증 보고서
  • 참조 워크플로
  • 툴 적합성 검사 계획
  • 툴 규정 준수 데모 템플릿
  • 테스트 케이스, 절차 및 결과

IEC Qualification Kit의 테스트 케이스와 절차는 MATLAB 또는 Polyspace 설치 환경에서 실행해야 합니다. 그런 다음 생성된 테스트 결과를 킷의 예상 결과와 비교하여 차이를 제거하는 조치를 취해야 합니다.

IEC Certification Kit을 사용하여 기능 안전 표준에 따라 코드 생성 및 검증 툴의 적합성 검사.

인증 시스템

IEC Certification Kit은 Model-Based Design을 사용하여 시스템을 개발하고 검증하는 데 필요한 상세한 워크플로 지침을 제공합니다. 워크플로 지침에서는 하이 레벨 요구 사항 확인에서부터 실행 가능한 객체 코드 검증까지, 각 소프트웨어 개발 및 검증 단계에서 사용되는 프로세스와 방법, 툴을 설명합니다.

IEC Certification Kit을 통해 요구 사항에서 모델, 코드로 이어지는 양방향 추적 경로와 파일 정보가 표시된 추적 가능성 매트릭스 스프레드시트를 생성할 수 있습니다. IEC Certification Kit을 사용하여 보고된 버그 목록을 생성하여 Model-Based Design에 사용되는 주요 Simulink 및 Polyspace 툴용으로 저장 및 보관할 수 있습니다.

참고: 검증된 툴을 사용하더라도 해당 소프트웨어 또는 시스템의 안전이 보장되는 것은 아닙니다.

시스템 인증.

최신 기능

HDL Coder

ISO 26262, IEC 61508, EN 50128, IEC 62304 및 ISO 25119에 대해 HDL Coder 적합성 검사

ISO 25119:2018

ISO 25119:2018 기능 안전 표준에 대해 툴 적합성 검사

ISO 26262:2018

ISO 26262:2018 기능 안전 표준에 대해 툴 적합성 검사

SOTIF 참조 워크플로

Model-Based Design이 ISO/PAS 21448:2019 (SOTIF)에 대해 수행하는 역할 알아보기

ISO 26262용 AUTOSAR Blockset

AUTOSAR Blockset에서 Embedded Coder로 생성된 C 코드의 AUTOSAR Classic 적합성 검사 및 C++ 코드의 AUTOSAR Adaptive의 적합성 검사

이 기능과 그에 상응하는 함수의 자세한 내용은 릴리스 정보를 참조하십시오.

IEC Certification Kit 추가 리소스