PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Banci M., Fantechi A. Instantiating Generic Charts for Railway Interlocking Systems. In: FMICS05 international workshop on Formal methods for industrial (Lisbon, Portugal, September 2005). Proceedings, pp. 134 - 143. ACM Press New York, NY, USA, 2005.
 
 
Abstract
(English)
The development of computer controlled Railway Interlocking Systems has seen an increasing interest in the use of Formal Methods, due to their ability to precisely specify the logical rules that guarantee the safe establishment of routes for trains through a railway yard. Recently, a trend has emerged about the use of statecharts as a standard formalism to produce precise specifications of these systems. A problem that arises in the practical application of such formalization is that each produced interlocking system is dependent on the physical layout of the controlled yard. This has strong effects on development costs and especially on validation, which has to be repeated for each product. Validating formalized interlocking principles first, and then instantiating them to a specification which is tailored to the considered layout is a solution that we investigate in this paper.
Subject Application of formal methods to railway signaling
D.2.1 Requirements/Specifications
D.2.2 Design Tools and Techniques
D.2.4 Software/Program


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