Formal Verification of Consistency for Systems with Redundant Controllers

被引：0

作者：

Johansson, Bjarne ^{[1
,2
]}

Pourvatan, Bahman ^{[2
]}

Moezkarimi, Zahra ^{[2
]}

Papadopoulos, Alessandro ^{[2
]}

Sirjani, Marjan ^{[2
]}

机构：

[1] ABB AB, Vasteras, Sweden

[2] Malardalen Univ, Vasteras, Sweden

来源：

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2024年 / 399期

关键词：

REBECA;

D O I：

10.4204/EPTCS.399.8

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

A potential problem that may arise in the domain of distributed control systems is the existence of more than one primary controller in redundancy plans that may lead to inconsistency. An algorithm called NRP FD is proposed to solve this issue by prioritizing consistency over availability. In this paper, we demonstrate how by using modeling and formal verification, we discovered an issue in NRP FD where we may have two primary controllers at the same time. We then provide a solution to mitigate the identified issue, thereby enhancing the robustness and reliability of such systems.

引用

页码：169 / 191

页数：23

共 50 条

[41] Formal verification of circuits and systems: Foreword
Chakrabarti, P.P.
Sadhana - Academy Proceedings in Engineering Sciences, 2002, 27 (02)
[42] FORMAL VERIFICATION OF ALGORITHMS FOR CRITICAL SYSTEMS
RUSHBY, JM
VONHENKE, F
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1993, 19 (01) : 13 - 23
[43] Formal Verification of Dynamically Reconfigurable Systems
Yanase, Ryo
Sakai, Tatsunori
Sakai, Makoto
Yamane, Satoshi
2015 IEEE 4TH GLOBAL CONFERENCE ON CONSUMER ELECTRONICS (GCCE), 2015, : 71 - 75
[44] Empowering Domain Experts With Formal Methods for Consistency Verification of Safety Requirements
Chen, Xiaohong
Zhang, Juan
Jin, Zhi
Zhang, Min
Li, Tong
Chen, Xiang
Zhou, Tingliang
IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, 2023, 24 (12) : 15146 - 15157
[45] A formal approach for an environment-aware verification of the consistency of a multimedia presentation
Abdelli, Abdelkrim
International Journal of Multimedia and Ubiquitous Engineering, 2009, 4 (02): : 189 - 196
[46] Formal Verification Aware Redundant Sequential Logic Optimization to Improve Design Utilization
Shah, Rushabh
Agrawal, Krishna
PROCEEDINGS OF THE 2021 TWENTY SECOND INTERNATIONAL SYMPOSIUM ON QUALITY ELECTRONIC DESIGN (ISQED 2021), 2021, : 233 - 237
[47] Formal Specification and Synthesis of Procedural Controllers for Process Systems
Centre for Systems Process Engineering, Imperial College, London
SW7 2BY, United Kingdom
Lect. Notes Control Inf. Sci., (1-216):
[48] Formal verification of safety and liveness properties for logic controllers. a tool comparison
Garcia, F.
Sanchez, A.
2006 3RD INTERNATIONAL CONFERENCE ON ELECTRICAL AND ELECTRONICS ENGINEERING, 2006, : 98 - +
[49] Formal Verification of Deep Brain Stimulation Controllers for Parkinson's Disease Treatment
Nawaz, Arooj
Hasan, Osman
Jabeen, Shaista
NEURAL COMPUTATION, 2023, 35 (04) : 671 - 698
[50] Formal Specification and Verification of Mobile Agent Systems
Kahloul, L.
Grira, M.
INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL, 2014, 9 (03) : 292 - 304

← 1 2 3 4 5 →