MATLAB 및 Simulink의 IEC 61508 지원

자동차, 산업 자동화 기계류를 비롯한 다양한 산업과 응용분야에서 모델 기반 설계를 활용하여 임베디드 소프트웨어를 개발하고 있습니다. 엔지니어는 모델 기반 설계를 이용하여 기능 안전을 다루는 표준인 IEC 61508에 적합한 소프트웨어를 제작합니다. 이러한 애플리케이션은 IEC 61508에 규정된 제약조건을 준수하고, 적합성을 증명하는 데 필요한 증거를 제시해야 하는 등 추가적인 고려요소가 있습니다.

IEC 61508은 본래 산업 자동화에 관한 표준으로서 개발되었지만, 철도(EN 50128), 의료기기(IEC 62304), 기계류(IEC 62061) 등 다른 산업에 관한 파생 표준도 있습니다. 자동차 분야에서는 국제 표준 ISO 26262 에서 승용차 분야를 다루고 있습니다. 특히 오프 하이웨이 차량 등 상용차에는 여전히 IEC 61508을 사용하고 있습니다.

IEC Certification Kit는 IEC 61508 및 ISO 26262 등 파생 표준에 관한 인증에 도움을주는 툴입니다. IEC Certification Kit는 Embedded Coder와 Polyspace 코드 검증 제품군을 지원합니다.

Simulink를 통한 검증 및 유효성 검사 자동화