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.

Prodotti chiave per lo sviluppo di applicazioni IEC 61508:

• IEC Certification Kit (per IEC 61508 e ISO 26262)
• Simulink
• Stateflow
• Embedded Coder
• Simulink Check
• Simulink Coverage
• Simulink Requirements
• Embedded Coder
• Prodotti Polyspace di verifica del codice

Ulteriori informazioni sul supporto MathWorks per IEC 61508:

• Documento SAE: Progettazione Model-based per applicazioni di sicurezza
• Documento SAE: Un flusso di lavoro di convalida e verifica per applicazioni IEC 61508
• Documento MBEES: Progettazione Model-based per dispositivi medicali IEC 62304
• Video: Controllo del tempo di modifica per identificare più velocemente i problemi di conformità. (1:28)