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 条
  • [21] Application protocols for safety-critical CAN-networked systems
    Bertoluzzo, Manuele
    Buja, Giuseppe
    PROCEEDINGS OF 14TH INTERNATIONAL POWER ELECTRONICS AND MOTION CONTROL CONFERENCE (EPE-PEMC 2010), 2010,
  • [22] The Safe and Effective Application of Probabilistic Techniques in Safety-Critical Systems
    Agrawal, Kunal
    Baruah, Sanjoy
    Guo, Zhishan
    Li, Jing
    2020 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED-DESIGN (ICCAD), 2020,
  • [23] Towards Integrating Undependable Self-Adaptive Systems in Safety-Critical Environments
    Weiss, Gereon
    Schleiss, Philipp
    Schneider, Daniel
    Trapp, Mario
    2018 IEEE/ACM 13TH INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS (SEAMS), 2018, : 26 - 32
  • [24] A Framework for Software Safety in Safety-Critical Systems
    Medikonda, Ben Swarup
    Panchumarthy, Seetha Ramaiah
    NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2008, 182 : 361 - 374
  • [25] Steering Actuator for Safety-critical Systems
    Huber, Stephan
    Koch, Matthias
    Krovvidi, Raviteja
    Fock, Malte
    ATZ worldwide, 2021, 123 (01) : 30 - 33
  • [26] Safety-critical systems built with COTS
    Profeta, JA
    Andrianos, NP
    Yu, B
    Johnson, BW
    DeLong, TA
    Guaspari, D
    Jamsek, D
    COMPUTER, 1996, 29 (11) : 54 - &
  • [27] Parallel Decomposition for Safety-Critical Systems
    Uygur, Guerkan
    Sattler, Sebastian M.
    2013 3RD INTERNATIONAL ELECTRIC DRIVES PRODUCTION CONFERENCE (EDPC), 2013, : 504 - 511
  • [28] Architecture for safety-critical transportation systems
    Ahangari, Hamzeh
    Ozkok, Yusuf Ibrahim
    Yildirim, Asil
    Say, Fatih
    Atik, Funda
    Ozturk, Ozcan
    MICROPROCESSORS AND MICROSYSTEMS, 2023, 98
  • [29] FORMAL VERIFICATION OF SAFETY-CRITICAL SYSTEMS
    MOSER, LE
    MELLIARSMITH, PM
    SOFTWARE-PRACTICE & EXPERIENCE, 1990, 20 (08): : 799 - 821
  • [30] On Using Blockchains for Safety-Critical Systems
    Berger, Christian
    Penzenstadler, Birgit
    Droegehorn, Olaf
    2018 IEEE/ACM 4TH INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR SMART CYBER-PHYSICAL SYSTEMS (SESCPS), 2018, : 30 - 36