I sistemi ad alta integrità sviluppati nel settore ferroviario devono dimostrare di essere conformi agli standard EN 50128 e/o EN 50657 del CENELEC. Lo standard europeo EN 50128/A2:2020 specifica le procedure e i requisiti tecnici per lo sviluppo di sistemi elettronici programmabili utilizzati per applicazioni ferroviarie di protezione e controllo in sistemi di comunicazione, segnalazione ed elaborazione. EN 50657 è stato pubblicato nel 2017 ed è diventato da allora la norma applicabile a software a bordo di materiale rotabile e veicoli ferroviari.

Sia EN 50128/A2:2020 che EN 50657:2017 classificano le funzioni in ambito ferroviario in livelli SIL (Safety Integrity Level) da 1 (meno rigoroso) a 4 (più rigoroso), in aggiunta al livello BI (Basic Integrity) (equivalente a SIL 0 in EN 50128:2011). I produttori e i fornitori di treni stanno adattando i processi di sviluppo software a EN 50128 e a EN 50657.

Entrambi gli standard impongono la classificazione e la qualificazione degli strumenti per strumenti software offline utilizzati durante lo sviluppo software. Embedded Coder®, gli strumenti di verifica di MATLAB & Simulink e gli strumenti di verifica del codice Polyspace sono qualificati e certificati TÜV SÜD in base a EN 50128 e a EN 50657, con applicazioni da SIL 1 a SIL 4. Le qualificazioni sono basate su un workflow di verifica specifico per l’applicazione. La documentazione del workflow, le certificazioni TÜV SÜD e ulteriori strumenti e artefatti sia per EN 50128/A2:2020 che per EN 50657:2017 vengono forniti nell’IEC Certification Kit.

I prodotti chiave per lo sviluppo di applicazioni conformi a EN 50128 e a EN 50657 comprendono:

• IEC Certification Kit (per EN 50128 e 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