, Dependability and safety analysis of ETCS communication for ERTMS level 3 using performance statecharts and analytic estimation, Proc. of 9th DepCoS-RELCOMEX of Advances in Intelligent Systems and Computing, p.3746, 2014.
, Non-Markovian Performability Evaluation of ERTMS/ETCS Level 3, Computer Performance Engineering (Proc. of EPEW 2015), volume 9272 of Lecture Notes in Computer Science, p.4762, 2015.
DOI : 10.1007/978-3-319-23267-6_4
, A MULTIFORMALISM MODULAR APPROACH TO ERTMS/ETCS FAILURE MODELING, International Journal of Reliability, Quality and Safety Engineering, vol.21, issue.01, pp.1450001-2014
DOI : 10.1142/S0218539314500016
, Performance Evaluation of Train Moving-Block Control, 2016.
DOI : 10.1007/978-3-319-43425-4_23
URL : https://hal.archives-ouvertes.fr/hal-01404854
, From StoCharts to MoDeST, Proceedings of the 5th international workshop on Software and performance , WOSP '05, p.1323, 2005.
DOI : 10.1145/1071021.1071023
, Transient analysis of non-Markovian models using stochastic state classes, Performance Evaluation, vol.69, issue.7-8, p.315335, 2012.
DOI : 10.1016/j.peva.2011.11.002
, Using UML state machines and petri nets for the quantitative investigation of ETCS, Proceedings of the 1st international conference on Performance evaluation methodolgies and tools , valuetools '06, 2006.
DOI : 10.1145/1190095.1190138
, A train control system case study in model-based real time system design, Proceedings International Parallel and Distributed Processing Symposium, 2003.
DOI : 10.1109/IPDPS.2003.1213234
, Towards modeling and evaluation of ETCS real-time communication and operation, Journal of Systems and Software, vol.77, issue.1, p.4754, 2005.
DOI : 10.1016/j.jss.2003.12.039