Model-based design, analysis and assessment framework for safety-critical systems.

Kuen-Long Lu Yung-Yuan Chen

Published 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