Istituto di Scienza e Tecnologie dell'Informazione     
Fantechi A., Gnesi S., Lombardi G. Experimenting with diversity in the formal development of railway signalling systems. In: ERCIM NEWS, vol. 75 pp. 52 - 53. Special theme: Safety-Critical Software. ERCIM, 2008.
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.
URL: http://ercim-news.ercim.org/content/view/449/699/
Subject Formal Modelling
Code Generation
Model Driven Development
D.4.5 Reliability
D.2.4 Software/Program Verification

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional