Add to ORKGWith the increasing growth of the size and complexity of modern safetycritical systems, the demand for model based engineering methods that both help in architecting such systems and to asses their safety and correctness becomes increasingly obvious. Causality checking is an automated method for formal causality analysis of system models and system execution traces. In this paper we report on work in progress towards an on-the-fly approach for causality checking of system models. We also sketch how this approach can be applied in model-based system analysis when assessing the system's functional correctness
International audienceIn component-based safety-critical systems, when a system safety property is v...
Model checking is usually based on a comprehensive traversal of the state space. Causality-based mod...
Model checking is usually based on a comprehensive traversal of the state space. Causality-based mod...
With the increasing growth of the size and complexity of modern safetycritical systems, the demand f...
The complexity of modern safety-critical systems is steadily increasing due to the amount of functio...
Abstract. We present an approach for the algorithmic computation of causalities in system models tha...
Abstract. We present an approach for the algorithmic computation of causalities in system models tha...
With the increasing size and complexity of modern safety critical embedded systems, the need for aut...
Abstract. Causality Checking is an automated technique supporting a formal causality analysis of sys...
Causality Checking is an automated technique supporting a formal causality analysis of system models...
Abstract. In recent work on the safety analysis of systems we have shown how causal relationships am...
In precursory work we have developed causality checking, a fault localization method for concurrent ...
Determining and computing root causes in system failures is a significant issue in science and engin...
Synchronous systems can immediately react to the inputs of their environment which may lead to so-ca...
In recent work on the safety analysis of systems we have shown how causal relationships amongst even...
International audienceIn component-based safety-critical systems, when a system safety property is v...
Model checking is usually based on a comprehensive traversal of the state space. Causality-based mod...
Model checking is usually based on a comprehensive traversal of the state space. Causality-based mod...
With the increasing growth of the size and complexity of modern safetycritical systems, the demand f...
The complexity of modern safety-critical systems is steadily increasing due to the amount of functio...
Abstract. We present an approach for the algorithmic computation of causalities in system models tha...
Abstract. We present an approach for the algorithmic computation of causalities in system models tha...
With the increasing size and complexity of modern safety critical embedded systems, the need for aut...
Abstract. Causality Checking is an automated technique supporting a formal causality analysis of sys...
Causality Checking is an automated technique supporting a formal causality analysis of system models...
Abstract. In recent work on the safety analysis of systems we have shown how causal relationships am...
In precursory work we have developed causality checking, a fault localization method for concurrent ...
Determining and computing root causes in system failures is a significant issue in science and engin...
Synchronous systems can immediately react to the inputs of their environment which may lead to so-ca...
In recent work on the safety analysis of systems we have shown how causal relationships amongst even...
International audienceIn component-based safety-critical systems, when a system safety property is v...
Model checking is usually based on a comprehensive traversal of the state space. Causality-based mod...
Model checking is usually based on a comprehensive traversal of the state space. Causality-based mod...