Model-driven multi-level safety analysis of critical systems.

Nataliya Yakymets Matthieu Perin Agnes Lanusse

Published in: SysCon (2015)

Keyphrases

model driven
safety analysis
safety critical
nuclear power plant
data driven
control system
model driven development
metamodel
databases
distributed systems
intelligent systems
multi agent
object oriented
knowledge based systems
lightweight