On using blockchains for safety-critical systems.

Christian Berger Birgit Penzenstadler Olaf Drögehorn

Published in: SEsCPS@ICSE (2018)

Keyphrases

safety critical
safety analysis
formal methods
embedded systems
agent architecture
distributed systems
fault tolerant
real time
support systems
nuclear power plant
management system
open source
decision makers
knowledge acquisition
context aware
regulatory requirements