Integrating Blockchain in Safety-Critical Systems: An Application to the Nuclear Industry

被引:11
|
作者
Diaz, Manuel [1 ]
Soler, Enrique [1 ]
Llopis, Luis [1 ]
Trillo, Joaquin [1 ]
机构
[1] Univ Malaga, ITIS Software Inst, Malaga 29071, Spain
关键词
Blockchain; distributed applications; inspection; non destructive testing; nuclear power plant;
D O I
10.1109/ACCESS.2020.3032322
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Safety-Critical Systems (SCSs) often manage sensible data that must be trustworthy, especially in many cases in which different actors participate whose interests may not coincide. Blockchain is a disruptive technology that has emerged to ensure the trustfulness of data. The nuclear industry incorporates many SCSs where blockchain can be applied. This paper focuses on the use of blockchain for the inspection of steam generators of a nuclear power plant. This is a critical process where different actors participate: plant property, external companies in charge of the inspection itself and different administrations. It typically consists of a number of processes that explore the state of different components of the plant in order to find any kind of failure or defect and it generates a great amount of data that must be verifiable and trustworthy. A distributed blockchain-based system is presented where all the nodes share the information and it cannot be altered. As a novelty, automatic inspection algorithms are stored in the blockchain itself by means of smart contracts. The benefits of blockchain are studied for the nuclear industry in general and for the inspection process in particular. In order to explore the possible drawbacks of a blockchain-based system for data management, a simulator has been implemented to recreate the scenario of an inspection. The results obtained show that blockchain architectures are a good alternative to traditional information repositories for nuclear power plant inspections.
引用
收藏
页码:190605 / 190619
页数:15
相关论文
共 50 条
  • [31] Special issue on safety-critical systems
    Kramer, BJ
    REAL-TIME SYSTEMS, 1997, 13 (03) : 217 - 218
  • [32] Reliability demonstration for safety-critical systems
    Tal, O
    McCollin, C
    Bendell, T
    IEEE TRANSACTIONS ON RELIABILITY, 2001, 50 (02) : 194 - 203
  • [33] On safety-critical computer control systems
    Halang, WA
    Colnaric, M
    TENTH IEEE SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS, PROCEEDINGS, 1997, : 210 - 214
  • [34] Developing safety-critical systems with UML
    Jürjens, J
    UML 2003 - THE UNIFIED MODELING LANGUAGE, PROCEEDINGS: MODELING LANGUAGES AND APPLICATIONS, 2003, 2863 : 360 - 372
  • [35] SAFETY-CRITICAL SYSTEMS - LEGAL LIABILITY
    DAVIS, D
    COMPUTING & CONTROL ENGINEERING JOURNAL, 1994, 5 (01): : 13 - 17
  • [36] Methodology for assessing safety-critical systems
    HRL Laboratories, LLC, 3011 Malibu Canyon Road, Malibu, CA 90265-4797, United States
    不详
    Int J Modell Simul, 2007, 2 (99-106):
  • [37] A distance model for safety-critical systems
    Szijártó, Miklós
    Gröger, Dietmár
    Kallós, Gábor
    Periodica Polytechnica Electrical Engineering, 2001, 45 (02): : 109 - 118
  • [38] Safety-Critical Control for Ensemble Systems
    Guo, Yang
    Petzke, Felix
    Rumschinski, Philipp
    Streif, Stefan
    IFAC PAPERSONLINE, 2023, 56 (02): : 3152 - 3157
  • [39] FORMAL METHODS FOR SAFETY-CRITICAL SYSTEMS
    MCARTHUR, N
    CONTROL AND INSTRUMENTATION, 1994, 26 (05): : 59 - 60
  • [40] Testing Proper Mitigation in Safety-Critical Systems: An Aerospace Launch Application
    Andrews, Anneliese
    Elakeili, Salwa
    Gario, Ahmed
    Hagerman, Seana
    2015 IEEE AEROSPACE CONFERENCE, 2015,