A Unified High-Level Petri Net Formalism for Time-Critical Systems
IEEE Transactions on Software Engineering
A framework for rare event simulation of stochastic Petri nets using “RESTART”
WSC '96 Proceedings of the 28th conference on Winter simulation
Performance Analysis of Communication Systems with Non-Markovian Stochastic Petri Nets
Performance Analysis of Communication Systems with Non-Markovian Stochastic Petri Nets
Modelling with Generalized Stochastic Petri Nets
Modelling with Generalized Stochastic Petri Nets
Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets
IEEE Transactions on Software Engineering
Formal Specification and Development of a Safety-Critical Train Management System
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Formal Modelling and Simulation of Train Control Systems Using Petri Nets
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
On Petri nets with deterministic and exponentially distributed firing times
Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets
Petri Net Modelling and Performability Evaluation with TimeNET 3.0
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
A Train Control System Case Study in Model-Based Real Time System Design
IPDPS '03 Proceedings of the 17th International Symposium on Parallel and Distributed Processing
Towards Quantitative Analysis of Real-Time UML Using Stochastic Petri Nets
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 2 - Volume 03
Using UML state machines and petri nets for the quantitative investigation of ETCS
valuetools '06 Proceedings of the 1st international conference on Performance evaluation methodolgies and tools
Aspects of the safety analysis of an on-board automatic train operation supervisor
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
Dependability evaluation of complex systems with TimeNET
Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems
Model checking duration calculus: a practical approach
ICTAC'06 Proceedings of the Third international conference on Theoretical Aspects of Computing
International Journal of Critical Computer-Based Systems
| Hi-index | 0.00 |
The future European Train Control System (ETCS) will be based on mobile communication and overcome fixed blocks. It is introduced in order to increase track utilization and interoperability throughout Europe while reducing trackside equipment cost. Data processing on board the train and in radio block centers as well as the radio communication link are crucial factors for the safe and efficient operation. Their real-time behavior under inevitable link failures needs to be modeled and evaluated. The paper presents a stochastic Petri net model of communication failure and recover behavior. A second model for the exchange of location and movement authority data packets between trains and radio block centers is presented and analyzed. Performance evaluation of the model shows the significant impact of packet delays and losses on the reliable operation of high-speed trains.