Combining Requirements, Use Case Maps and AADL Models for Safety-Critical Systems Design.
Dominique BlouinHolger GiesePublished in: SEAA (2016)
Keyphrases
- safety critical
- uml models
- formal methods
- regulatory requirements
- embedded systems
- support systems
- safety analysis
- fault tolerant
- nuclear power plant
- agent architecture
- building blocks
- knowledge based systems
- real time
- test cases
- software intensive systems
- sequence diagrams
- adaptive systems
- distributed systems
- case study