Seamless Integrated Simulation in Design and Verification Flow for Safety-Critical Systems.
Ralph WeissneggerMarkus SchußChristian KreinerMarkus PistauerKay RömerChristian StegerPublished in: SAFECOMP Workshops (2016)
Keyphrases
- safety critical
- formal methods
- safety analysis
- embedded systems
- support systems
- fault tolerant
- knowledge based systems
- model checking
- regulatory requirements
- agent architecture
- nuclear power plant
- adaptive systems
- distributed systems
- cooperative
- software intensive systems
- design patterns
- management system
- modeling language
- experimental design
- user interface
- multi agent systems
- case study
- real time