Dependability assessment of large railway systems
In: 25th European Conference on Operational Research, EURO 2012, Workshop on Quantitative Models for Performance and Dependability, QMPD 2012 ; https://hal.science/hal-00762921 ; 25th European Conference on Operational Research, 2012
Konferenz
Zugriff:
International audience ; The performance evaluation of systems and in particular their availability depends on the dysfunctional behaviors and maintenance policies of its subsystems and components. Our approach is based on automatic generation of large scale Petri Nets, which are colored, timed and hierarchical, from a meta-model leaning on atomic and elementary components of both French and European railway signalling systems whose behavior respects the specifications that are validated by a formal method. Metrics are defined for performance analysis from the design, operation and maintenance point of view.
Titel: |
Dependability assessment of large railway systems
|
---|---|
Autor/in / Beteiligte Person: | Buchheit, Grégory ; Malassé, Olaf ; Brinzei, Nicolae ; Ecole Nationale Supérieure d'Arts et Métiers - Centre de Metz (ENSAM - METZ) ; Centre de Recherche en Automatique de Nancy (CRAN) ; Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS) |
Link: | |
Zeitschrift: | 25th European Conference on Operational Research, EURO 2012, Workshop on Quantitative Models for Performance and Dependability, QMPD 2012 ; https://hal.science/hal-00762921 ; 25th European Conference on Operational Research, 2012 |
Veröffentlichung: | HAL CCSD, 2012 |
Medientyp: | Konferenz |
Schlagwort: |
|
Sonstiges: |
|