A CPN-Based Approach for Studying Impacts of Communication Delays on Safety and Availability of Safety-Critical Distributed Networked Control Systems

被引:8
|
作者
Wu, Daohua [1 ]
Liu, Jintao [1 ]
Wang, Hongwei [1 ]
Tang, Tao [2 ]
机构
[1] Beijing Jiaotong Univ, Natl Res Ctr Railway Safety Assessment, Beijing 100044, Peoples R China
[2] Beijing Jiaotong Univ, State Key Lab Rail Traff Control & Safety, Beijing 100044, Peoples R China
基金
中国国家自然科学基金;
关键词
Safety; Process control; Delays; Networked control systems; Petri nets; Image color analysis; Sensors; Availability; colored Petri nets (CPNs); communication delay; distributed networked control system (DNCS); hazard rate (HR); STABILITY ANALYSIS; STABILIZATION; PERFORMANCE; TRENDS;
D O I
10.1109/TII.2021.3109436
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
With the great advances in computer science and communication technology, more and more control systems are implemented as distributed networked control systems (DNCSs). Due to the nature of the time delay of communication networks, it is of importance to investigate how communication delays affect the systems from different perspectives. Most of the literature by far focus on analyzing the impacts of time delays on the system stability or safety control with mathematical models (i.e., differential equations), which are of interest in the early phases of the system development (e.g., the conceptual phase). However, in the later phases of the system development (e.g., architecture design or system implementation), qualitative as well as quantitative safety analysis based on system models that describe the concrete structures, interactions between components, and state transitions of the underlying systems is desirable. Additionally, the availability of a control system is of interest from the perspective of operation. This article studies the impacts of communication delays on the safety and availability of DNCSs by a colored-Petri-net-based approach. To exemplify the proposed approach, a simplified communication-based train control system is presented.
引用
收藏
页码:3033 / 3042
页数:10
相关论文
共 50 条
  • [31] XANDAR: Verification & Validation Approach for Safety-critical Systems
    Sonigara, Balmukund
    Sezer, Sakir
    Siddiqui, Fahad
    Weber, Raphael
    Antonopoulos, Konstantinos
    Panagiotou, Christos
    Antonopoulos, Christos P.
    Keramidas, Georgios
    Voros, Nikolaos
    Yengec-Tasdemir, Sena Busra
    Hui, Henry
    McLaughlin, Kieran
    2023 IEEE 36TH INTERNATIONAL SYSTEM-ON-CHIP CONFERENCE, SOCC, 2023, : 78 - 83
  • [32] A variability modeling and transformation approach for safety-critical systems
    Bressan, Lucas
    de Oliveira, Andre L.
    Campos, Fernanda C.
    Capilla, Rafael
    PROCEEDINGS OF 15TH INTERNATIONAL WORKING CONFERENCE ON VARIABILITY MODELLING OF SOFTWARE-INTENSIVE SYSTEMS, VAMOS 2021, 2021,
  • [33] An Ontological Approach to Hazard Identification for Safety-Critical Systems
    Zhou, Jiale
    Hanninen, Kaj
    Lundqvist, Kristina
    Provenzano, Luciana
    PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON RELIABILITY SYSTEMS ENGINEERING (ICRSE 2017), 2017,
  • [34] AMBOSS: A Task Modeling Approach for Safety-Critical Systems
    Giese, Matthias
    Mistrzyk, Tomasz
    Pfau, Andreas
    Szwillus, Gerd
    von Detten, Michael
    ENGINEERING INTERACTIVE SYSTEMS 2008, PROCEEDINGS, 2008, 5247 : 98 - +
  • [35] A Flexible Communication Protocol With Guaranteed Determinism for Distributed, Safety-Critical Real-Time Systems
    Raja, Fawad Riasat
    Chen, David
    Hexel, Rene
    IEEE ACCESS, 2022, 10 : 48049 - 48070
  • [36] AADL-based Safety Analysis Approaches for Safety-Critical Systems
    Wei, Xiaomin
    2019 IEEE 12TH CONFERENCE ON SOFTWARE TESTING, VALIDATION AND VERIFICATION (ICST 2019), 2019, : 481 - 482
  • [37] Compositional Modeling and Control for Safety-Critical Manufacturing Systems
    Uygur, Guerkan
    Sattler, Sebastian M.
    2012 2ND INTERNATIONAL ELECTRIC DRIVES PRODUCTION CONFERENCE (EDPC), 2012,
  • [38] Software reliability analysis for safety-critical and control systems
    Kumar, Pramod
    Singh, Lalit Kumar
    Kumar, Chiranjeev
    QUALITY AND RELIABILITY ENGINEERING INTERNATIONAL, 2020, 36 (01) : 340 - 353
  • [39] Toward a Systematic and Safety Evidence Productive Verification Approach for Safety-Critical Systems
    Gannous, Aiman
    Andrews, Anneliese
    Gallina, Barbara
    2018 29TH IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW), 2018, : 329 - 336
  • [40] SaSeVAL: A Safety/Security-Aware Approach for Validation of Safety-Critical Systems
    Wolschke, Christian
    Sangchoolie, Behrooz
    Simon, Jacob
    Marksteiner, Stefan
    Braun, Tobias
    Hamazaryan, Hayk
    51ST ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN-W 2021), 2021, : 27 - 34