A general framework for blaming in component-based systems
作者： Gregor Gössler , Daniel Le Métayer
DOI: 10.1016/J.SCICO.2015.06.010
关键词: Blame 、 Safety property 、 TRACE (psycholinguistics) 、 Component (UML) 、 Counterfactual thinking 、 Computer science 、 Computer security 、 Outcome (game theory) 、 Liability 、 Causality
摘要: In component-based safety-critical embedded systems it is crucial to determine the cause(s) of violation a safety property, be issue precise alert, steer system into safe state, or liability component providers. this paper we present an approach blame components based on single execution trace violating property P . The diagnosis relies counterfactual reasoning ("what would have been outcome if C had behaved correctly?") distinguish failures that actually contributed from little no impact
elsevier.com
sci-hub.se 参考文章(27)
Gregor Gössler, Daniel Le Métayer, A General Trace-Based Framework of Logical Causality formal aspects of component software. pp. 157- 173 ,(2013) , 10.1007/978-3-319-07602-7_11
Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue, From probabilistic counterexamples via causality to fault trees international conference on computer safety reliability and security. pp. 71- 84 ,(2011) , 10.1007/978-3-642-24270-0_6
Gregor Gössler, Daniel Le Métayer, Jean-Baptiste Raclet, Causality Analysis in Contract Violation Runtime Verification. ,vol. 6418, pp. 270- 284 ,(2010) , 10.1007/978-3-642-16612-9_21
Robert Konighofer, Roderick Bloem, Automated error localization and correction for imperative programs formal methods in computer-aided design. pp. 91- 100 ,(2011) , 10.5555/2157654.2157671
Friedemann Mattern, Virtual Time and Global States of Distributed Systems ,(2002)
Shaohui Wang, Anaheed Ayoub, BaekGyu Kim, Gregor Gössler, Oleg Sokolsky, Insup Lee, A Causality Analysis Framework for Component-Based Real-Time Systems runtime verification. ,vol. 8174, pp. 285- 303 ,(2013) , 10.1007/978-3-642-40787-1_17
Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard, Distributed Monitoring of Concurrent and Asynchronous Systems* Discrete Event Dynamic Systems. ,vol. 15, pp. 33- 84 ,(2005) , 10.1007/S10626-005-5238-5
M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, D. Teneketzis, Diagnosability of discrete-event systems IEEE Transactions on Automatic Control. ,vol. 40, pp. 1555- 1575 ,(1995) , 10.1109/9.412626
Barbara Jobstmann, Stefan Staber, Andreas Griesmayer, Roderick Bloem, Finding and fixing faults Journal of Computer and System Sciences. ,vol. 78, pp. 441- 460 ,(2012) , 10.1016/J.JCSS.2011.05.005
Ralf K üsters, Tomasz Truderung, Andreas Vogt, Accountability: definition and relationship to verifiability computer and communications security. pp. 526- 535 ,(2010) , 10.1145/1866307.1866366