IEC Certification Kit (for ISO 26262 and IEC 61508)

 

IEC Certification Kit (for ISO 26262 and IEC 61508)

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

시작하기:

표준

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

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 소프트웨어 검증 페이지에서 참조하실 수 있습니다.

ISO 25119: 2018(농림용 트랙터 및 기계류 - 제어 시스템의 안전 관련 부품)은 농업과 임업에 사용되는 트랙터나 기타 기계류의 SRP/CS(제어 시스템의 안전 관련 부품)의 평가, 설계 개발 및 검증에 관한 원칙을 명시한 국제 표준입니다. 이 표준에 따르면 테스트, 입증된 안정성 또는 출력에 대한 독립적인 검증을 통해 소프트웨어 툴이나 CAD(컴퓨터 지원 설계) 툴의 정확성을 입증할 수 있습니다.

EN 50657: 2017(철도 응용 분야 - 철도 차량 응용 분야 - 철도 차량 탑재 소프트웨어)는 철도 차량 응용 분야를 위한 소프트웨어의 개발, 배포, 유지에 관한 요구사항을 명시하는 유럽 표준입니다. 소프트웨어 툴에 관한 요구사항은 IEC 61508-3의 소프트웨어 툴 요구사항에서 파생된 것입니다.

적합성 검사 툴

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

IEC Certification Kit는 신청자가 지원되는 툴을 적용하여 소프트웨어의 기능 안전 표준 적합성을 검증하거나 표준 인증 응용 프로그램을 개발할 때 이용하는 일반적인 워크플로나 활용 사례를 기초로, 툴 인증 또는 검증에 맥락적 접근법을 따릅니다. 이 워크플로는 ISO 26262의 위험 수준 ASIL A~ASIL D, ISO 25119의 모든 SRL 수준, IEC 61508, EN 50128, EN 50657의 모든 SIL 수준을 다룹니다. 신청자는 참조 워크플로 내에 있는 툴을 사용하여야 하며, 신청자의 프로젝트 인증 계획에 명시된 제약 조건 및 활용 사례를 사용해야 합니다.

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 툴을 위해 저장하고 보관할 수도 있습니다.

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