Experimenting with diversity in the model driven development of a railway signalling system
Banci M., Fantechi A., Gnesi S., Lombardi G.
Automatic code generation Formal modelling
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.
Source: 2nd Workshop on Engineering Fault Tolerant Systems. EFTS, Dubrovnich, Crozia, September 03 -07-2007
Publisher: ACM Press, New York, USA
Back to previous page
@inproceedings{oai:it.cnr:prodotti:91762,
title = {Experimenting with diversity in the model driven development of a railway signalling system},
author = {Banci M. and Fantechi A. and Gnesi S. and Lombardi G.},
publisher = {ACM Press, New York, USA},
booktitle = {2nd Workshop on Engineering Fault Tolerant Systems. EFTS, Dubrovnich, Crozia, September 03 -07-2007},
year = {2007}
}
0000-0002-4648-4667