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.

Provided by: University of Konstanz Topic: Software Date Added: Jan 2012 Format: PDF

Find By Topic