In this paper we discuss how we have introduced elements of diversity in the experimental model driven development process of a railway signalling system. The experience has been done inside a larger industrial project undertaken to evaluate the feasibility of employing formal modelling and automatic code generation in the development of a new generation of railway signalling systems hosted by an innovative fault-tolerant platform. Diversity has been introduced where an analysis of the safety measures employed against design faults has revealed possible weakness of the development process.
Model driven development of railway systems using diversity
Gnesi S;Fantechi A;
2008
Abstract
In this paper we discuss how we have introduced elements of diversity in the experimental model driven development process of a railway signalling system. The experience has been done inside a larger industrial project undertaken to evaluate the feasibility of employing formal modelling and automatic code generation in the development of a new generation of railway signalling systems hosted by an innovative fault-tolerant platform. Diversity has been introduced where an analysis of the safety measures employed against design faults has revealed possible weakness of the development process.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_44182-doc_37502.pdf
solo utenti autorizzati
Descrizione: Model driven development of railway systems using diversity
Tipologia:
Versione Editoriale (PDF)
Dimensione
1.22 MB
Formato
Adobe PDF
|
1.22 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
