On Using Blockchains for Safety-Critical Systems.

Christian Berger Birgit Penzenstadler Olaf Drögehorn

Published in: CoRR (2018)

Keyphrases

safety critical
fault tolerant
formal methods
safety analysis

agent architecture
embedded systems
support systems
distributed systems

real time
adaptive systems
expert systems
case based reasoning

source code
decision support
knowledge based systems
learning systems