MATLAB 및 Simulink의 ISO 26262 지원

자동차 산업에서 고무결성 시스템을 개발할 때는 도로용 차량의 기능적 안전성에 관한 국제 표준인 ISO® 26262에 대한 적합성을 시연해야 합니다. ISO 26262에 따르면 자동차 안전 무결성 등급(ASIL) 관련 기능은 가장 낮은 등급인 A부터 가장 엄격한 등급인 D으로 분류됩니다. OEM과 1급 공급사들은 ECU 개발 과정을 ISO 26262에 적합한 모델 기반 설계로 변경하고 있습니다.

MATLAB, Simulink, Stateflow, Embedded Coder, MATLAB 및 Simulink 검증 툴과 Polyspace® 코드 검증 툴은 ISO 26262 ASIL A-D 기준에 따라 검증된 툴로서 TÜV SÜD의 인증을 획득했습니다. 인증은 자동화된 응용분야별 검증 워크플로를 따릅니다. ISO 26262-6에서 ASIL C와 D에 대해 강력히 권장되는 대로, Simulink의 프로세서 인더루프(PIL) 시뮬레이션 모드를 사용하여 백투백(back-to-back) 모델 및 코드 검사를 지원합니다. 따라서 엔지니어는 Embedded Coder에서 생성된 특정 프로세서별 코드 등 코더 및 컴파일러 최적화를 활용하여, 시스템 구축용 ECU에 필요한 빠르고 메모리 효율적인 소프트웨어를 제작할 수 있습니다. C 코드 생성 이외에 Embedded Coder ISO 26262 툴 검증 활용 사례에는 AUTOSAR 및 C++ 코드 생성 기능도 포함됩니다.

HDL Coder 는 ASIL용 안전 관련 제품 개발 적합성을 TÜV SÜD에서 인증받았습니다. HDL Coder는 모든 FPGA, ASIC 및 SoC 기기를 타겟으로 한 가독성 및 추적성이 좋은 VHDL 및 Verilog를 생성할 수 있습니다. 또한 HDL Verifier와 연동하여 HDL 시뮬레이터 및 FPGA 보드를 사용해 백투백 테스트를 수행하는 테스트벤치를 생성할 수 있습니다.

워크플로 문서, TÜV SÜD 인증서, 보고서, 테스트 세트, 추가적인 인증 아티팩트가 에 제공됩니다 IEC Certification Kit (for ISO 26262 and IEC 61508). 또한 TÜV SÜD는 IEC Certification Kit에서 지원하는 툴의 소프트웨어 개발 및 품질 엔지니어링 공정에 대해 연간 감사를 실시합니다.

"모델 기반 설계가 없었더라면 저희는 ESCL 애플리케이션 소프트웨어를 개발하고 인증하는 데 시간이 최소 30% 더 필요했을 것입니다. 저희는 모든 속도 및 메모리 요구사항을 충족하는 효율적인 코드를 생성하여 시간과 노력을 절약했습니다."

Cheng Hui, platform and process manager, KOSTAL
소프트웨어 설계 표기가 적합함을 나타내고 있는 26262-6:2018 일부분(발췌)

Simulink 및 Stateflow가 소프트웨어 아키텍처 및 소프트웨어 유닛 설계 표기에 적합하며, 자동 코드 생성을 위한 기초로서 적합하다는 내용이 기재된 ISO 26262:2018의 일부분.

MathWorks의 ISO 26262 지원에 대해 더 알아보기: