Integrating Blockchain in Safety-Critical Systems: An Application to the Nuclear Industry.
Manuel DíazEnrique SolerLuis LlopisJoaquín TrilloPublished in: IEEE Access (2020)
Keyphrases
- safety critical
- safety analysis
- formal methods
- fault tolerant
- nuclear power plant
- distributed systems
- embedded systems
- support systems
- management system
- regulatory requirements
- adaptive systems
- artificial intelligence
- intelligent systems
- knowledge representation
- reinforcement learning
- decision making
- information systems