The transition from a code-based process to a model- based one isn't easy, particularly for companies that operate in the safety-critical sector. A railway signaling manufacturer adopted general-purpose, model-based tools aided by formal methods to develop its products, facing challenges and learning lessons along the way.
Model-based development and formal methods in the railway industry
Ferrari A;Fantechi A;Gnesi S;
2013
Abstract
The transition from a code-based process to a model- based one isn't easy, particularly for companies that operate in the safety-critical sector. A railway signaling manufacturer adopted general-purpose, model-based tools aided by formal methods to develop its products, facing challenges and learning lessons along the way.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_277334-doc_78155.pdf
solo utenti autorizzati
Descrizione: Model-Based Development and Formal Methods in the Railway Industry
Tipologia:
Versione Editoriale (PDF)
Dimensione
774.45 kB
Formato
Adobe PDF
|
774.45 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
