Skip to Main content Skip to Navigation
Conference papers

Safety properties modelling

Abstract : In critical applications regarding safety, a solution must be validated before it is applied on the field. It is forbidden to test solutions directly on the real system for safety reasons. Any attempt of modification or introduction of a safety system must be approached with the utmost care. The proposed solutions must be validated, and, if possible, formally validated. It is the case of prevention systems for accidents, installed on highways. They also are in charge of gathering information in the case of an accident actually occurring. In this context, we aim to provide an approach to validate the behaviour of a critical system before its effective realisation. The system is modelled by a combination of agents spread around the world and working together in real-time. The agents' behaviour is modelled via an UML SysML model. Thanks to the tools available in the TTool environment and the ones developed only for this purpose, we can animate those agents and confirm, or not, their behaviour on various test situations (applications' rapid prototyping). Since the tests are not covering all the possibilities, we move to, then, verify formally the critical properties. This formal analysis is made possible by the mathematical grounds of the tool we use. The analysed properties are mainly safety properties; results regarding performance results are available as well.
Keywords : Safety Modelling
Document type :
Conference papers
Complete list of metadata
Contributor : Magalie Prudon Connect in order to contact the contributor
Submitted on : Tuesday, August 26, 2014 - 11:57:00 AM
Last modification on : Saturday, April 9, 2022 - 11:02:01 AM



Tullio Joseph Tanzi, Raoul Textoris, Ludovic Apvrille. Safety properties modelling. 7th International Conference on Human System Interactions (HSI), Jun 2014, Costa da Caparica, Portugal. pp.198-202 - ISBN 978-1-4799-4714-0, ⟨10.1109/HSI.2014.6860474⟩. ⟨hal-01058199⟩



Record views