Logical consistency verification of state sensing in safety‐critical decision: A case study of train routing selection
Abstract Reliable decision‐making in a safety‐critical system depends on the consistency of the state of the system process. Based on the decision‐makeing properties of safety‐critical systems, the definition of the critical component, Boolean evolution system, and cognate variables are presented he...
Main Authors: | Ke‐Ming Wang, Xia Wang, Zheng Wang, Guan‐Feng Wu, Yang Xu |
---|---|
Format: | Article |
Language: | English |
Published: |
Wiley
2022-08-01
|
Series: | IET Intelligent Transport Systems |
Subjects: | |
Online Access: | https://doi.org/10.1049/itr2.12194 |
Similar Items
-
Improved Formal Verification of SDN-Based Firewalls by Using TLA<sup>+</sup>
by: Tatjana Kapus
Published: (2023-01-01) -
24.241 Logic I, Fall 2002
by: McGee, Vann, 1949-
Published: (2002) -
Formalizing Medieval Logical Theories [electronic book] : Suppositio, Consequentiae and Obligationes/
by: 356461 Dutilh Novaes, Catarina
Published: (2007) -
24.241 Logic I, Fall 2005
by: McGee, Vann
Published: (2023) -
Modeling and verification of safety critical systems : a case study on pacemaker
by: Koo, Sheng Kiat
Published: (2014)