Automatic Testbench Generation for Simulation-based Verification of Safety-critical Systems in UML.
Ralph WeissneggerMarkus PistauerChristian KreinerMarkus SchußKay RömerChristian StegerPublished in: PECCS (2016)
Keyphrases
- safety critical
- formal methods
- safety analysis
- model checking
- fault tolerant
- nuclear power plant
- software engineering
- real time
- agent architecture
- knowledge based systems
- learning systems
- regulatory requirements
- formal specification
- embedded systems
- management system
- medical diagnosis
- intelligent systems
- knowledge acquisition
- support systems
- formal verification
- learning process
- expert systems
- artificial intelligence
- databases