Block Library Driven Translation Validation for Dataflow Models in Safety Critical Systems.

Arnaud Dieumegard Andres Toom Marc Pantel

Published in: FMICS-AVoCS (2016)

Keyphrases

safety critical
fault tolerant
formal methods
safety analysis
agent architecture
cooperative
nuclear power plant
distributed systems
decision support
support systems
embedded systems
sensor data
real time
intelligent systems
decision support system
low cost
reinforcement learning