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 :
Theses
Complete list of metadatas

Cited literature [80 references]  Display  Hide  Download

https://hal.univ-lorraine.fr/tel-01748464
Contributor : Thèses Ul <>
Submitted on : Thursday, March 29, 2018 - 11:35:42 AM
Last modification on : Thursday, April 12, 2018 - 1:57:45 AM
Long-term archiving on: Friday, September 14, 2018 - 7:13:46 AM

File

SCD_T_2008_0038_EVROT.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-01748464, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

38

Files downloads

16