IEC认证套件(适用于ISO 26262和IEC 61508)

IEC认证套件(适用于ISO 26262和IEC 61508)

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

시작하기:

표준

IEC 61508、ISO 26262、ISO / PAS 21448,在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(자동차안전무결성수준)~ D를기준으로합니다。

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

EN 50128(철도응용——철도제어및보호시스템에대한소프트웨어표준)은철도제어와보호응용분야사용하는프로그래밍가능한전자시스템의개발에관련된절차와기술적요구사항을명시하고있는유럽표준입니다。CENELEC(유럽전기기술표준화위원회)가개발50128은한EN 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认证工具包는신청자가지원되는툴을적용하여소프트웨어의기능안전표준적합성을검증하거나표준인증응용프로그램을개발할때이용하는일반적인워크플로나활용사례를기초로,툴인증또는검증에맥락적접근법을따릅니다。이워크플로는ISO 26262의위험수준ASIL ~ ASIL D, ISO 25119의모든SRL수준,IEC 61508,在50128年,在50657年의모든SIL수준을다룹니다。신청자는참조워크플로내에있는툴을사용하여야하며,신청자의프로젝트인증계획에명시된제약조건및활용사례를사용해야합니다。

IEC는MATLAB认证工具包®仿真金宝app软件,Polyspace제품군을이용하여완벽한인증패키지를인증기관에제공할수있도록설계되었습니다。IEC认证工具包를사용하려면다음단계를따르십시오。

  1. 관련기능안전표준의요구사항과의도한활용사례에대한준수여부를기술합니다。
  2. 인증기관에초기인증계획을제안합니다。
  3. 德国莱茵SUD인증서와같은툴에서제공하는아티팩트를수집하고,제품테스트스위트를실행하는등응용프로그램에대해독립적인툴검증활동을수행합니다。
  4. IEC认证工具包에서제공하는추적성매트릭스생성기능을사용하여응용프로그램특정툴검증활동(예:모델——코드추적성생성)을수행합니다。
  5. 완성된인증패키지를인증기관에제공합니다。

IEC认证工具包는상기단계를위한지침과정보를제공하며,지원제품의표준준수여부를검증하는데필요한문서템플릿,테스트케이스,테스트절차를포함합니다。

IEC认证工具包는지원제품에대해다음과같은아티팩트를포함합니다。

  • 德国莱茵SUD인증서,인증보고서
  • 참조워크플로
  • 툴검증계획
  • 툴규정준수시연템플릿
  • 테스트케이스,절차,결과

IEC资格工具包의테스트케이스와절차는MATLAB또는Polyspace설치환경에서실행해야합니다。그런다음생성된테스트결과를예상결과와비교하여차이점을해소해야합니다。

IEC认证工具包을사용한기능안전표준에따른코드생성및검증툴의적합성검사。

인증시스템

IEC认证工具包는모델기반설계를사용하여시스템을개발하고검증하는데필요한상세한워크플로지침을제공합니다。워크플로지침에는하이레벨요구사항검증부터실행가능객체코드검증까지,소프트웨어안전주기에서각소프트웨어의개발과검증세부단계에적용되는과정,방법,툴이설명되어있습니다。

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

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