Engineering a Safer World: Systems Thinking Applied to Safety, 2011. ,
, , 2018.
Fault tree analysis -a history, Proceedings of the 17th International System Safety Conference, 1999. ,
Procedures for Performing a Failure Mode, Effects and Criticality Analysis, Department of Defense, 1980. ,
Review of Systems-Theoretic Process Analysis (STPA) Method and Results to Support NextGen Concept Assessment and Validation, 2013. ,
OMG Systems Modeling Language Version 1, 2017. ,
SysML in Action with Cameo Systems Modeler, ISTE, 2017. ,
, Entreprise Architect
Using SCADE System for the Design and Integration of Critical Systems, SAE Technical Paper, 2011. ,
Papyrus: A UML2 tool for domain-specific language modeling, pp.361-368, 2007. ,
, TTool
AVATAR: a SysML environment for the formal verification of safety and security properties, The 11th IEEE Conference on Distributed Systems and New Technologies, 2011. ,
Making modeling assumptions an explicit part of real-time systems models, 8th European Congress on Embedded Real Time Software and Systems (ERTS), 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01291947
System safety assessment based on STPA and model checking, Safety Science, vol.109, pp.130-143, 2018. ,
Combining SysML and formal methods for safety requirements verification, 22nd International Conference on Software Systems Engineering and their Applications, 2010. ,
Tool qualification considerations for tools supporting STPA, Procedia Engineering, vol.128, pp.15-24, 2015. ,
Safety guided design using STPA and model based system engineering (MBSTPA), 2019 STAMP Workshop ,
Understanding what it means for assurance cases to work, NASA/CR2017-219582, 2017. ,
A Tutorial on UPPAAL" Formal Methods for the Design of Real-Time Systems, 2004. ,
, WebSTAMP: a web application for STPA & STPA-Sec, International Cross-industry Safety Conference (ICSC) -European STAMP Workshop & Conference (ESWC)