Model-based safety engineering for autonomous train map
Chouchani, Nadia, Debbech, Sana, Perin, Matthieu
Published in The Journal of systems and software (01.01.2022)
Published in The Journal of systems and software (01.01.2022)
Get full text
Journal Article
ACCIDENT ROOT CAUSES IDENTIFICATION USING A TAXONOMY
MAGOUET, JEROME, Perin, Matthieu, Collart-Dutilleul, Simon
Published in WIT Transactions on the Built Environment (01.01.2020)
Published in WIT Transactions on the Built Environment (01.01.2020)
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
Published in Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Get full text
Book Chapter
Model-driven multi-level safety analysis of critical systems
Yakymets, Nataliya, Perin, Matthieu, Lanusse, Agnes
Published in 2015 Annual IEEE Systems Conference (SysCon) Proceedings (01.04.2015)
Published in 2015 Annual IEEE Systems Conference (SysCon) Proceedings (01.04.2015)
Get full text
Conference Proceeding
Two methods for modeling and verification of safety properties of railway infrastructures
Faivre, Alain, Lapitre, Arnault, Lanusse, Agnes, Perin, Matthieu, Rangra, Subeer, Sallak, Mohamed, Schon, Walter
Published in 2015 International Conference on Industrial Engineering and Systems Management (IESM) (01.10.2015)
Published in 2015 International Conference on Industrial Engineering and Systems Management (IESM) (01.10.2015)
Get full text
Conference Proceeding