Towards Causality Checking for Complex System Models
With the increasing growth of the size and complexity of modern safety-critical 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, the authors report on work in progress towards an on-the-fly approach for causality checking of system models. They also sketch how this approach can be applied in model-based system analysis when assessing the system's functional correctness.