TalkSystem Theoretic Process Analysis (STPA) is increasingly being used in diverse industrial sectors for the analysis of existing complex technical systems. At the Safety Critical Systems Research Lab of IAMP, we successfully applied STPA in several projects having a focus on the safety assessment of already designed and implemented systems. In accordance with proposals coming from other groups, we also strongly believe that STPA could ideally be used in the design phases of the systems engineering process, hence supporting the paradigm of safety driven design. We certainly can state that every systems engineer has an intrinsic motivation to design safe and secure systems. With regard to the increasing complexity of today’s systems and th...
International audienceFaced with the increasing complexity of systems, model-based system engineerin...
Formal verification and testing are complementary approaches which are used in the development proce...
International audienceFaced with the increasing complexity of systems, model-based system engineerin...
Too often, systems are designed and then an attempt is made to add safety features or to prove that ...
This paper shows how a new hazard analysis technique, STPA (System Theoretic Process Analysis), can ...
Development environments for embedded systems are moving towards increased automation between Commer...
International audienceThis paper addresses the problem of safety evaluation of complex systems. It p...
International audienceThis paper addresses the problem of safety evaluation of complex systems. It p...
Development environments for embedded systems are moving towards increased automation between Commer...
Abstract. Mechatronic systems are complex systems involving knowledge from various disciplines such ...
AbstractFormal verification and testing are complementary approaches which are used in the developme...
International audienceFaced with the increasing complexity of systems, model-based system engineerin...
International audienceFaced with the increasing complexity of systems, model-based system engineerin...
International audienceFaced with the increasing complexity of systems, model-based system engineerin...
International audienceFaced with the increasing complexity of systems, model-based system engineerin...
International audienceFaced with the increasing complexity of systems, model-based system engineerin...
Formal verification and testing are complementary approaches which are used in the development proce...
International audienceFaced with the increasing complexity of systems, model-based system engineerin...
Too often, systems are designed and then an attempt is made to add safety features or to prove that ...
This paper shows how a new hazard analysis technique, STPA (System Theoretic Process Analysis), can ...
Development environments for embedded systems are moving towards increased automation between Commer...
International audienceThis paper addresses the problem of safety evaluation of complex systems. It p...
International audienceThis paper addresses the problem of safety evaluation of complex systems. It p...
Development environments for embedded systems are moving towards increased automation between Commer...
Abstract. Mechatronic systems are complex systems involving knowledge from various disciplines such ...
AbstractFormal verification and testing are complementary approaches which are used in the developme...
International audienceFaced with the increasing complexity of systems, model-based system engineerin...
International audienceFaced with the increasing complexity of systems, model-based system engineerin...
International audienceFaced with the increasing complexity of systems, model-based system engineerin...
International audienceFaced with the increasing complexity of systems, model-based system engineerin...
International audienceFaced with the increasing complexity of systems, model-based system engineerin...
Formal verification and testing are complementary approaches which are used in the development proce...
International audienceFaced with the increasing complexity of systems, model-based system engineerin...