Two safety patterns: Safety Assertion and Safety Assertion Enforcer. - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Two safety patterns: Safety Assertion and Safety Assertion Enforcer.

Résumé

Safety is the avoidance of unacceptable hazards, including threats to human lives, the environment, or to costly facilities. Safety constraints are expressed using assertions that define system states that should not occur because they may lead to mishaps. We present here two safety patterns. The Safety Assertion pattern describes the contents of an assertion that indicates a state of the system that must not happen. The Safety Assertion Enforcer pattern evaluates safety assertions when there is an incoming event that can change the state of the system and prevents the change if it violates an assertion. These patterns can be useful for designing or certifying safe systems.
Fichier principal
Vignette du fichier
fernandez_22351.pdf (192.32 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03623327 , version 1 (29-03-2022)

Identifiants

  • HAL Id : hal-03623327 , version 1
  • OATAO : 22351

Citer

Eduardo B. Fernandez, Brahim Hamid. Two safety patterns: Safety Assertion and Safety Assertion Enforcer.. 22nd European Conference on Pattern Language of Programs (EuroPlop 2017), Jul 2017, Irsee, Germany. pp.1-9. ⟨hal-03623327⟩
9 Consultations
13 Téléchargements

Partager

Gmail Facebook X LinkedIn More