IEC Certification Kit (for ISO 26262 and IEC 61508)

ISO 26262 및 IEC 61508 인증용 코드 생성 및 검증 툴의 적합성을 검사할 수 있습니다.

 

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

IEC Certification Kit는 ISO 26262 툴 검증, 분류 작업 산출물과 테스트 스위트를 제공합니다. 특정한 프로젝트 요건에 맞게 작업 산출물을 조정할 수 있게 해 주는 템플릿도 키트에 포함되어 있습니다. 요구사항, 모델, 생성된 코드를 포괄하는 추적성 매트릭스를 포함하여, 프로젝트 특정 아티팩트를 생성할 수 있습니다. 이러한 프로젝트 및 제품 특정 아티팩트를 조합하여  모든 ASIL 레벨(ASIL A~ASIL D)에서 임베디드 시스템 인증을 할 수 있는 완전한 ISO 26262 준수 툴 검증 패키지를 만들 수 있습니다.

참고: 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) 2 이상에 대해 인증된 툴과 변환기를 사용하도록 강력히 권고하고 있습니다. 제7.4.4항에는 지원 도구에 관련된 요건이 제시되어 있습니다.

모델 기반 설계 워크플로를 사용하여 기능 안전 표준 준수를 증빙합니다.

ISO 26262:2018(자동차 — 기능 안전)은 기능 안전에 관한 국제 표준입니다. 자동차 산업의 전기 및 전자 시스템 응용 분야에 맞춰 ISO 61508을 개정한 표준입니다. ISO 26262-1:2018부터 ISO 26262-12:2018까지 총 12부로 이루어져 있습니다. ISO 26262-6:2018은 소프트웨어 개발, 확인 및 검증을 다룹니다. 모델 기반 설계와 코드 생성을 사용하는 프로젝트에 관한 지침이 포함되어 있습니다. ISO 26262-8은 소프트웨어 툴의 분류와 적합성 검사 등 여러 가지 교차 기능적 주제를 다룹니다. 툴 검증에 요구되는 엄격도는 TCL(툴 분류 기준)과  ASIL(자동차 안전 무결성 수준) A ~ D를 기준으로 합니다.

ISO/PAS 21448:2019(자동차 — 의도된 기능의 안전성 또는 SOTIF 표준)는 ISO 26262에서 다뤄진 시스템 고장이 없는 상태에서 사용자의 예견 가능한 오용과 기능적 불충분성으로 인한 시스템 위험을 다루기 위한 엔지니어링(설계, 확인, 검증) 조치에 대한 지침을 제공하는 증보 표준입니다.

EN 50128(철도 응용 — 철도 제어 및 보호 시스템에 대한 소프트웨어 표준)은 철도 제어와 보호 응용 분야 사용하는 프로그래밍 가능한 전자 시스템의 개발에 관련된 절차와 기술적 요구사항을 명시하고 있는 유럽 표준입니다. CENELEC(유럽 전기기술 표준화 위원회)가 개발한 EN 50128은 ISO 61508 표준 시리즈를 철도 응용 분야에 맞게 해석한 표준의 일부입니다.

IEC 62304(의료기기 소프트웨어 - 소프트웨어 라이프사이클 공정)는 의료기기 소프트웨어에 필요한 소프트웨어 개발 및 유지보수 공정을 기술하는 국제 표준입니다. 요구되는 공정, 작업 및 활동은 의료기기 소프트웨어의 위험 수준(환자, 간병인 또는 환경에 대한 위험)의 영향을 받습니다. 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 61508 관련 표준과 수정 표준에 대한 인증이 필요한 시스템을 개발하기 위해 모델 기반 설계를 이용할 때 기본이 되는 적합성 검사 툴이나 지침으로서 IEC Certification Kit를 이용할 수 있습니다.

적합성 검사 툴

인증 기관에 완전한 인증 패키지를 제공할 수 있습니다.

IEC Certification Kit는 신청자가 지원되는 툴을 적용하여 소프트웨어의 기능 안전 표준 적합성을 검증하거나 표준 인증 응용 프로그램을 개발할 때 이용하는 일반적인 워크플로나 활용 사례를 기초로, 툴 인증 또는 검증에 맥락적 접근법을 따릅니다. 이 워크플로는 ISO 26262의 위험 수준 ASIL A~ASIL D, IEC 61508의 위험 수준 SIL 1~SIL 4, 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는 모델 기반 설계를 사용하여 시스템을 개발하고 검증하는 데 필요한 상세한 워크플로 지침을 제공합니다. 워크플로 지침에는 하이 레벨 요구사항 검증부터 실행 가능 객체 코드 검증까지, 소프트웨어 안전 주기에서 각 소프트웨어의 개발과 검증 세부 단계에 적용되는 과정, 방법, 툴이 설명되어 있습니다.

IEC Certification Kit로 요구사항부터 모델, 코드로 이어지는 양방향 추적성 경로와 파일 정보를 나타내는 추적성 매트릭스 스프레드 시트를 생성할 수 있습니다. 또 IEC Certification Kit를 이용하여 보고된 버그 목록을 생성하여, 모델 기반 설계에 사용되는 주요 SimulinkPolyspace 툴을 위해 저장하고 보관할 수도 있습니다.

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

시스템 인증.

최신 기능

MISRA C 검사

MISRA C: 2012 준수 여부 개선을 위한 모델 어드바이저 검사 검증

ISO 26262 지침:

ISO 모델링 지침을 사용한 ISO 26262 준수 여부 개선

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 기능 안전 표준에 대한 툴 검증

ISO 26262용 AUTOSAR Blockset:

AUTOSAR Blockset에서 AUTOSAR Classic용 Embedded Coder 생성 C 코드 및 AUTOSAR Adaptive용 C++ 코드 검증

SOTIF 참조 워크플로:

ISO/PAS 21448:2019(SOTIF)에서 모델 기반 설계의 역할 알아보기

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

IEC Certification Kit 추가 리소스