Model-based deployment generation for safety-critical avionics systems.

Georgeta Igna Laurent Dieudonné Sebastian Voss Bernhard Schätz

Published in: SIES (2017)

Keyphrases

safety critical
formal methods
fault tolerant
safety analysis
embedded systems
agent architecture
nuclear power plant
real time
management system
artificial intelligence
reinforcement learning
cooperative
distributed systems
support systems