A controlled experiment for the empirical evaluation of safety analysis techniques for safety-critical software.
Asim AbdulkhaleqStefan WagnerPublished in: EASE (2015)
Keyphrases
- empirical evaluation
- safety critical
- safety analysis
- fault tolerant
- formal methods
- nuclear power plant
- embedded systems
- agent architecture
- support systems
- adaptive systems
- symbolic model checking
- fault model
- real time
- control system
- software development
- intelligent agents
- medical images
- medical data
- user interface
- cooperative
- learning environment
- information systems