Modeling Railway Control Systems Using Graph Grammars: a Case Study

Anne-Alexandra Holzbacher 1 Michaël Périn 1 Mario Südholt 1
1 Lande - Logiciel : ANalyse et DEveloppement
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : In this report, we develop a railway control system. We are mainly concerned with the software architecture of the control system and its dynamic evolution ; we do not discuss here the implementation details of the components forming the control system. The software architecture is characterized by a hierarchy of controllers whose leaves are local controllers connected in a network that mimics the underlying railway topology. Using a particular graph grammar, we formally define a class of software architectures for the railway control system ensuring several desirable properties by construction. The dynamic evolution of the architecture is modelled by a set of coordination rules which define graph transformations. Particular emphasis is placed on the verification of these rules with respect to desirable properties encoded in the grammars. Using the graph grammar and the coordination rules as a formal specification of the railway control system, we derive an implementation in ConCoord, an environment for concurrent coordinated programming whose coordination language permits us to define the software architecture of the control system and its dynamic evolution abstracting away from the implementation details of its components.
Type de document :
Rapport
[Research Report] RR-3210, INRIA. 1997
Liste complète des métadonnées

https://hal.inria.fr/inria-00073479
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 12:58:05
Dernière modification le : mercredi 11 juillet 2018 - 07:48:44
Document(s) archivé(s) le : dimanche 4 avril 2010 - 21:58:12

Fichiers

Identifiants

  • HAL Id : inria-00073479, version 1

Citation

Anne-Alexandra Holzbacher, Michaël Périn, Mario Südholt. Modeling Railway Control Systems Using Graph Grammars: a Case Study. [Research Report] RR-3210, INRIA. 1997. 〈inria-00073479〉

Partager

Métriques

Consultations de la notice

190

Téléchargements de fichiers

124