Back to Search
Start Over
Two safety patterns
- Source :
- EuroPLoP
- Publication Year :
- 2017
- Publisher :
- ACM, 2017.
-
Abstract
- 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.
- Subjects :
- 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
Subjects
Details
- Database :
- OpenAIRE
- Journal :
- Proceedings of the 22nd European Conference on Pattern Languages of Programs
- Accession number :
- edsair.doi.dedup.....91dc04dc8d22dfd028244537de5fb28f