An Ontological Approach to Support Dysfunctional Analysis for Railway Systems Design
Debbech, Sana, Collart-Dutilleul, Simon, Bon, Philippe
Published in J.UCS (Annual print and CD-ROM archive ed.) (28.05.2020)
Published in J.UCS (Annual print and CD-ROM archive ed.) (28.05.2020)
Get full text
Journal Article
Engineering for Critical Systems: The Automatic Train Operation over European Train Control System for Freight Trains Use Case
Collart-Dutilleul, Simon, Bon, Philippe, Bougacha, Racem, Laleauv, Régine
Published in International journal of transport development and integration (28.12.2023)
Published in International journal of transport development and integration (28.12.2023)
Get full text
Journal Article
An Automated Method for the Study of Human Reliability in Railway Supervision Systems
Ferlin, Antoine, Qiu, Siqi, Bon, Philippe, Sallak, Mohamed, Collart Dutilleul, Simon, Schon, Walter, Cherfi-Boulanger, Zohra
Published in IEEE transactions on intelligent transportation systems (01.10.2018)
Published in IEEE transactions on intelligent transportation systems (01.10.2018)
Get full text
Journal Article
B-Specification of Relay-Based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution
de Almeida Pereira, Dalay Israel, Deharbe, David, Perin, Matthieu, Bon, Philippe
Published in Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (2019)
Published in Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (2019)
Get full text
Book Chapter
Towards a Tool-Based Domain Specific Approach for Railway Systems Modeling and Validation
Idani, Akram, Ledru, Yves, Ait Wakrime, Abderrahim, Ben Ayed, Rahma, Bon, Philippe
Published in Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (2019)
Published in Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (2019)
Get full text
Book Chapter
Analysis and Formal Modeling of Systems Behavior Using UML/Event-B
Kraibi, Kenza, Ayed, Rahma Ben, Collard-Dutilleul, Simon, Bon, Philippe, PEIT, Dorian
Published in Journal of communications (01.01.2019)
Published in Journal of communications (01.01.2019)
Get full text
Journal Article
A Separation of Concerns Approach for the Verified Modelling of Railway Signalling Rules
Ledru, Yves, Idani, Akram, Ben Ayed, Rahma, Ait Wakrime, Abderrahim, Bon, Philippe
Published in Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (2019)
Published in Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (2019)
Get full text
Book Chapter