PUMA
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.
 
 
Abstract
(English)
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 SOFTWARE ENGINEERING
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