Towards causality checking for complex system models

摘要: With the increasing growth of size and complexity modern safetycritical systems, demand for model based engineering methods that both help in architecting such systems to asses their safety correctness becomes increasingly obvious. Causality checking is an automated method formal causality analysis system models execution traces. In this paper we report on work progress towards on-the-fly approach models. We also sketch how can be applied model-based when assessing system’s functional correctness.