Simulation and Verification of UML-based Railway Interlocking Designs

Abstract : The development of safety critical systems such as railway interlocking systems demands the application of formal methods in order to verify the operativeness and the safety of the system. In this contribution we outline our approach of developing a UML-based Railway Interlocking System. The feasibility of the basic functionality is demonstrated by simulation. In order to verify the system under development, we apply model checking for the verification of specifications that belong to a single object. We tackle the state space explosion problem in those cases in which a number of objects is related to a checking condition by the application of multi-object checking. As multi-object checking is only limited by the state space of the largest object (a point in our case), multi-object checking will be applied successfully to verify the system (e.g ensure the absence of conflicting routes). First results of a case study promise the near future of fully automatic verification of complete station layouts and all desired routes.
Type de document :
Communication dans un congrès
Stephan Merz and Tobias Nipkow. Automatic Verification of Critical Systems, Sep 2006, Nancy/France, pp.168-172, 2006, Automatic Verification of Critical Systems (AVoCS 2006)
Liste complète des métadonnées

https://hal.inria.fr/inria-00091664
Contributeur : Stephan Merz <>
Soumis le : mercredi 6 septembre 2006 - 19:22:47
Dernière modification le : mercredi 6 septembre 2006 - 20:47:10
Document(s) archivé(s) le : lundi 5 avril 2010 - 23:33:03

Fichier

Identifiants

  • HAL Id : inria-00091664, version 1

Collections

Citation

Yuen Man Hon, Maik Kollmann. Simulation and Verification of UML-based Railway Interlocking Designs. Stephan Merz and Tobias Nipkow. Automatic Verification of Critical Systems, Sep 2006, Nancy/France, pp.168-172, 2006, Automatic Verification of Critical Systems (AVoCS 2006). 〈inria-00091664〉

Partager

Métriques

Consultations de la notice

165

Téléchargements de fichiers

695