[PDF][PDF] PySMT: a solver-agnostic library for fast prototyping of SMT-based algorithms
PySMT: a Solver-Agnostic Library for Fast Prototyping of SMT-Based Algorithms Page 1 PySMT:
a Solver-Agnostic Library for Fast Prototyping of SMT-Based Algorithms Marco Gario and …
a Solver-Agnostic Library for Fast Prototyping of SMT-Based Algorithms Marco Gario and …
The xSAP Safety Analysis Platform
This paper describes the xSAP safety analysis platform. xSAP provides several model-
based safety analysis features for finite-and infinite-state synchronous transition systems. In …
based safety analysis features for finite-and infinite-state synchronous transition systems. In …
Formal Methods for Aerospace Systems: Achievements and Challenges
The size and complexity of control software in aerospace systems is rapidly increasing, and
this development complicates its validation within the context of the overall spacecraft …
this development complicates its validation within the context of the overall spacecraft …
[PDF][PDF] Automated Synthesis of Timed Failure Propagation Graphs.
Abstract Timed Failure Propagation Graphs (TFPGs) are used in the design of safety-critical
systems as a way of modeling failure propagation, and to evaluate and implement …
systems as a way of modeling failure propagation, and to evaluate and implement …
Timed failure propagation graph construction with supremal language guided Tree-LSTM and its application to interpretable fault diagnosis
G Chen - Applied Intelligence, 2022 - Springer
Timed failure propagation graphs (TFPGs) perform fault diagnosis in a transparent way.
However, accurate TFPGs depend on experts' knowledge or accurate model of the system …
However, accurate TFPGs depend on experts' knowledge or accurate model of the system …
Automated verification and tightening of failure propagation models
Abstract Timed Failure Propagation Graphs (TFPGs) are used in the design of safety-critical
systems as a way of modeling failure propagation, and to evaluate and implement …
systems as a way of modeling failure propagation, and to evaluate and implement …
Fault propagation reasoning and diagnosis for computer networks using cyclic temporal constraint network model
Y Cui, J Shi, Z Wang - IEEE Transactions on Systems, Man, and …, 2016 - ieeexplore.ieee.org
Fault diagnosis, including fault detection and isolation, is a critical task for computer
networks. Among the various techniques used for online system-level diagnosis, we are …
networks. Among the various techniques used for online system-level diagnosis, we are …
Data-driven real-valued timed-failure-propagation-graph refinement for complex system fault diagnosis
Timed Failure Propagation Graphs (TFPGs) have been widely used for the failure modeling
and diagnosis of safety-critical systems. Currently most TFPGs are manually constructed by …
and diagnosis of safety-critical systems. Currently most TFPGs are manually constructed by …
Timed failure propagation analysis for spacecraft engineering: the ESA solar orbiter case study
Abstract Timed Failure Propagation Graphs (TFPGs) are used in the design of safety-critical
systems as a way of modeling failure propagation, and to support the evaluation and …
systems as a way of modeling failure propagation, and to support the evaluation and …
Efficient SMT-based analysis of failure propagation
The process of developing civil aircraft and their related systems includes multiple phases of
Preliminary Safety Assessment (PSA). An objective of PSA is to link the classification of …
Preliminary Safety Assessment (PSA). An objective of PSA is to link the classification of …