Model-based design, analysis and assessment framework for safety-critical systems.
Kuen-Long LuYung-Yuan ChenPublished in: DSN (Supplements) (2021)
Keyphrases
- safety critical
- safety analysis
- formal methods
- embedded systems
- support systems
- knowledge based systems
- building blocks
- fault tolerant
- nuclear power plant
- agent architecture
- real time
- distributed systems
- intelligent systems
- regulatory requirements
- software intensive systems
- design process
- context aware
- knowledge base
- e learning