자동차 산업에서 고무결성 시스템을 개발할 때는 자동차 기능 안전에 대한 국제 표준인 ISO® 26262를 준수한다는 것을 입증해야 합니다. ISO 26262는 ASIL(자동차 안전 무결성 수준)의 기능을 가장 낮은 엄격성 수준부터 가장 높은 수준까지 A에서 D까지로 분류합니다. OEM 및 1차 공급업체는 ISO 26262와 함께 모델 기반 설계를 사용하도록 ECU 개발 공정을 조정하고 있습니다.
MATLAB, Simulink, Stateflow, Embedded Coder, MATLAB 및 Simulink 검증 툴과 Polyspace 코드 검증 툴은 ISO 26262 ASIL A-D 기준에 따라 검증된 툴로써 TÜV SÜD의 인증을 획득했습니다. 이 검증 과정은 자동화된 응용 사례 특정 검증 워크플로를 기반으로 합니다. 이는 Simulink의 PIL(Processor-in-the-Loop) 시뮬레이션 모드를 사용하여 ASIL C 및 D에 대해 ISO 26262-6에서 적극 권장하는 백투백 모델 및 코드 테스트를 지원합니다. 따라서 엔지니어는 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)에서 제공됩니다. 이 키트는 ISO 26262를 준수하고 준수 사실을 입증하도록 돕는 워크플로와 아티팩트를 제공합니다. 또한 TÜV SÜD는 IEC Certification Kit에서 지원하는 툴의 소프트웨어 개발 및 품질 엔지니어링 공정에 대해 연간 감사를 실시합니다.
“모델 기반 설계가 없었다면 ESCL 애플리케이션 소프트웨어의 개발과 인증에 적어도 30%는 시간이 더 필요했을 것입니다. 우리는 속도 및 메모리 요구사항을 전부 충족하는 효율적인 코드를 생성함으로써 시간과 업무를 줄일 수 있었습니다.”
Cheng Hui, 플랫폼 및 공정 관리자, KOSTAL
MATLAB을 사용한 ISO 26262
ISO 26262 응용 사례 개발을 위한 핵심 제품:
MathWorks의 ISO 26262 지원에 대해 자세히 알아보기:
- 보도 자료: MathWorks IEC Certification Kit, ISO 26262 준수 제2판
- 기술 칼럼: LG화학 - 모델 기반 설계를 통한 하이브리드 차량 배터리 관리 시스템의 AUTOSAR 준수 소프트웨어 개발
- 고객 사례: KOSTAL - 모델 기반 설계를 통한 ISO 26262 ASIL D 인증 획득 사례
- 웨비나: Simulink로 IEC 61508 및 ISO 26262를 위한 TI Hercules MCU 최적화 코드 생성 (45:06)
- 웨비나: 사전 적격 개발 툴을 통해 견고하고 효율적인 워크플로로 ISO 26262 준수 (42:27)
- 자문 서비스: ISO 26262 공정 적용
- 기술 칼럼: ISO 26262 프로젝트에 Simulink를 사용하는 방법
- 비디오: 표준 준수 문제 조기 발견을 위한 편집 시 검사 (1:28)
- 비디오: ISO 26262 및 IEC 61508 준수를 위한 ASIC 및 FPGA 워크플로 (3:06)
- 백서: ISO 26262 준수에서 피해야 할 5가지 공정상의 함정
- SAE 논문: 모델 기반 설계를 사용한 안전 관련 응용 사례
- SAE 논문: IEC 61508 응용 사례를 위한 검증 및 확인 워크플로
- MBEES 논문: ISO 26262에 따른 소프트웨어 툴 검증
- ERTS 논문: ISO 26262에 따른 검증 및 확인
- 안내서: Simulink를 사용한 10가지 AUTOSAR 배포 모범 사례
- 참고 자료: Simulink를 통한 검증 및 확인 자동화
- 웨비나: TI C2000 MCU 및 MathWorks Simulink를 사용한 IEC 61508 및 ISO 26262
- 기술 칼럼: MATLAB을 사용한 자율주행 애플리케이션의 ISO 26262 워크플로: 지침 및 모범 사례