철도 산업 내에서 개발되는 고무결성 시스템은 CENELEC 표준인 EN 50128 및/또는 EN 50657의 준용 여부를 입증해야 합니다. 유럽 표준 EN 50128/A2:2020에는 통신, 신호 및 처리 시스템 같은 철도 제어 및 보호 응용 사례에 쓰이는 프로그램 가능 전자 시스템의 개발 관련 절차와 기술적 요구사항이 명시되어 있습니다. EN 50657은 2017년에 발표된 이래 지금까지 철도 차량 탑재 소프트웨어에 적용되는 표준으로 자리매김했습니다.

EN 50128/A2:2020과 EN 50657:2017 모두 BI(기본 무결성) 수준(EN 50128:2011의 SIL 0에 해당) 이외에도 1부터 4까지(즉 엄격성이 가장 낮은 수준부터 가장 높은 수준까지) 세분화된 철도 SIL(안전 무결성 수준)로 기능을 분류하고 있습니다. 열차 제조업체와 공급업체들은 소프트웨어 개발 공정을 EN 50128과 EN 50657에 맞추어 조정하고 있습니다.

이 표준들은 모두 소프트웨어 개발 전반에서 쓰이는 오프라인 소프트웨어 툴에 대한 툴 분류 및 툴 검증을 의무화했습니다. Embedded Coder^®, MATLAB 및 Simulink 검증 툴과 Polyspace 코드 검증 툴은 SIL 1부터 SIL 4까지의 응용 사례를 다루는 EN 50128 및 EN 50657 표준에 따라 TÜV SÜD의 평가를 거쳐 검증과 인증을 받았습니다. 해당 검증은 응용 사례별 검증 워크플로를 기반으로 합니다. EN 50128/A2:2020 및 EN 50657:2017과 관련된 워크플로 문서, TÜV SÜD 인증서, 추가 툴 및 아티팩트는 IEC Certification Kit에서 제공됩니다.

EN 50128 및 EN 50657 응용 사례 개발을 위한 주요 제품은 다음과 같습니다.

• IEC Certification Kit (for EN 50128 and EN 50657)
• MATLAB
• Simulink
• Stateflow
• Embedded Coder
• Simulink Check
• Simulink Coverage
• Requirements Toolbox
• Simulink Report Generator
• Simulink Design Verifier
• MATLAB Test
• Polyspace Bug Finder
• Polyspace Code Prover
• HDL Coder
• System Composer
• Simulink Test