Safety Assessment of Design Patterns for Safety-Critical Embedded Systems.
Ashraf ArmoushEva BeckschulzeStefan KowalewskiPublished in: EUROMICRO-SEAA (2009)
Keyphrases
- safety critical
- embedded systems
- design patterns
- software systems
- safety analysis
- nuclear power plant
- software engineering
- low cost
- object oriented
- ontology driven
- software architecture
- metamodel
- source code
- learning objects
- process model
- fault tolerant
- software components
- design rationale
- software development
- formal methods
- case study