Blaming in component-based real-time systems

  title={Blaming in component-based real-time systems},
  author={Gregor G{\"o}\ssler and Lacramioara Astefanoaei},
  journal={2014 International Conference on Embedded Software (EMSOFT)},
In component-based safety-critical real-time systems it is crucial to determine which component(s) caused the violation of a required system-level safety property, be it to issue a precise alert, or to determine liability of component providers. In this paper we present an approach for blaming in real-time systems whose component specifications are given as timed automata. The analysis is based on a single execution trace violating a safety property P. We formalize blaming using counterfactual… CONTINUE READING
Highly Cited
This paper has 17 citations. REVIEW CITATIONS