QuantUM: Quantitative Safety Analysis of UML Models
Florian Leitner-FischerStefan LeuePublished in: QAPL (2011)
Keyphrases
- safety analysis
- uml models
- nuclear power plant
- control system
- safety critical
- fault model
- object oriented
- symbolic model checking
- test cases
- sequence diagrams
- databases
- data structure
- reliability analysis
- partial observability
- symbolic representation
- embedded systems
- test set
- software engineering
- learning algorithm
- real time