Two safety patterns
| Autor: | Eduardo B. Fernandez, Brahim Hamid |
|---|---|
| Přispěvatelé: | Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Florida Atlantic University - FAU (USA), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France) |
| Rok vydání: | 2017 |
| Předmět: |
Computer science
Architecture patterns Event (relativity) Assertion 020207 software engineering 02 engineering and technology Safety constraints Modélisation et simulation Computer security computer.software_genre Systèmes embarqués Interface homme-machine Reliability engineering Architectures Matérielles TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS 020204 information systems Cryptographie et sécurité 0202 electrical engineering electronic engineering information engineering Génie logiciel Safety patterns State (computer science) Safety Safety assertions computer |
| Zdroj: | EuroPLoP |
| DOI: | 10.1145/3147704.3147737 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|