Istituto di Scienza e Tecnologie dell'Informazione     
Banci M., Fantechi A., Gnesi S., Lombardi G. Experimenting with diversity in the model driven development of a railway signalling system. In: 2nd Workshop on Engineering Fault Tolerant Systems. EFTS (Dubrovnich, September 03 - 07 2007). Proceedings, Nicolas Guelfi et al. (eds.). ACM Digital Library, 2007.
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 a new fault-tolerant platform. The diversity is introduced at the level of the compilation of the generated code, and is aimed to discover possible faults due to the compilation environment or to the underlying operating system. Other forms of diversity will be then experimented in a step by step fashion.
URL: http://doi.acm.org/10.1145/1316550.1316555
Subject Automatic code generation
Formal modelling
D.2.1 Requirements/Specifications
D.2.2 Design Tools and Techniques

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