OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Two safety patterns: Safety Assertion and Safety Assertion Enforcer

Fernandez, Eduardo B. and Hamid, Brahim Two safety patterns: Safety Assertion and Safety Assertion Enforcer. (2017) In: 22nd European Conference on Pattern Language of Programs (EuroPlop 2017), 12 July 2017 - 16 July 2017 (Irsee, Germany).

[img] (Document in English)

PDF (Publisher's version) - Depositor and staff only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: https://doi.org/10.1145/3147704.3147737


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.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to ACM. The definitive version is available at http://dl.acm.org This papers appears in Article No. 30 of EuroPLoP'17 ISBN: 978-1-4503-4848-5 The original PDF is available at: https://dl.acm.org/citation.cfm?doid=3147704.3147737
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > Florida Atlantic University - FAU (USA)
Laboratory name:
Deposited On:16 Oct 2019 14:53

Repository Staff Only: item control page