Skip to Main content Skip to Navigation

Contribution à la vérification d'exigences de sécurité : application au domaine de la machine industrielle

Abstract : Introduction of new information and communication technology in automated systems leads to a growth of safety functions complexity. System properties are not limited to components properties, they issued from an interactions network that can introduces bad behaviour. Our conviction is that a safe development of such system must involve system oriented approaches in order to apprehend system global behaviour and architecture and more formal approaches allowing verifying that components properties satisfy end users system requirements We define a methodological approach based on SysML formalism (System Modelling Language) allowing global system requirements identification; formalisation and structuring in order to project these requirements on the system components architecture and so obtain local components properties. Then safety requirements verification is based in one hand on proved refinement (using theorem proving) of system requirements to components properties; and, in the other hand, on the formal verification (using model checking) of these components properties.
Document type :
Complete list of metadata

Cited literature [80 references]  Display  Hide  Download
Contributor : Thèses Ul Connect in order to contact the contributor
Submitted on : Thursday, March 29, 2018 - 11:35:42 AM
Last modification on : Saturday, October 16, 2021 - 11:14:14 AM
Long-term archiving on: : Friday, September 14, 2018 - 7:13:46 AM


Files produced by the author(s)


  • HAL Id : tel-01748464, version 1



Dominique Evrot. Contribution à la vérification d'exigences de sécurité : application au domaine de la machine industrielle. Autre. Université Henri Poincaré - Nancy 1, 2008. Français. ⟨NNT : 2008NAN10038⟩. ⟨tel-01748464⟩



Record views


Files downloads