Supporto IEC 61508 in MATLAB e Simulink

La progettazione Model-based viene utilizzata per lo sviluppo di software embedded nel settore automotive, dell’automazione e dei macchinari industriali e in altri settori e aree di applicazione. Gli ingegneri utilizzano la progettazione Model-based per produrre software conforme allo standard di sicurezza funzionale IEC 61508. Queste applicazioni necessitano un’ulteriore considerazione per soddisfare i vincoli imposti dallo standard e produrre le prove di conformità richieste.

IEC 61508 è stato sviluppato principalmente per il settore dell’automazione industriale, ma esistono versioni utili per altri settori come quello ferroviario (EN 50128), quello medico (IEC 62304), e quello dei macchinari(IEC 62061). Nel settore automotive, la proposta dello standard internazionale ISO 26262 sta acquisendo sempre più rilevanza per il segmento delle automobili. IEC 61508 viene anche utilizzato per veicoli commerciali, specialmente quelli  fuoristrada.

IEC Certification Kit favorisce la certificazione per IEC 61508 e i suoi standard tra cui ISO 26262. Supporta Embedded Coder e i prodotti Polyspace di verifica del codice.

Automatizzare la verifica e la validazione con Simulink