Abstract
Establishing liabilities in component-based systems is a challenging task, as it requires to establish convincing evidence with respect to the occurrence of a fault, and the causality relation between the fault and a damage. The second issue is especially complex when several faults are detected and the impact of these faults on the occurrence of the failure has to be assessed. In this paper we propose a formal framework for reasoning about logical causality between contract violations.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Åkerholm, M., Carlson, J., Fredriksson, J., Hansson, H., Håkansson, J., Möller, A., Petterson, P., Tivoli, M.: The SAVE approach to component-based development of vehicular systems. The Journal of Systems and Software 80, 655–667 (2007)
Avizienis, A., Laprie, J.-C., Randell, B.: Fundamental concepts of computer system dependability. In: Proc. Workshop on Robot Dependability: Technological Challenge of Dependable Robots in Human Environments, pp. 21–22. IEEE, Los Alamitos (2001)
Benveniste, A., Caillaud, B., Ferrari, A., Mangeruca, L., Passerone, R., Sofronis, C.: Multiple viewpoint contract-based specification and design. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2007. LNCS, vol. 5382, pp. 200–225. Springer, Heidelberg (2008)
Besnard, P., Cordier, M.-O., Moinard, Y.: Configurations for inference between causal statements. In: Lang, J., Lin, F., Wang, J. (eds.) KSEM 2006. LNCS (LNAI), vol. 4092, pp. 292–304. Springer, Heidelberg (2006)
Brandan-Briones, L., Lazovik, A., Dague, P.: Optimal observability for diagnosability. In: Proc. Principles of Diagnosis, DX 2008 (2008)
Busnelli, F.D., Comand, G., Cousy, H., Dobbs, D.B., Dufwa, B., Faure, M.G., Gilead, I., Green, M.D., Kerameus, K.D., Koch, B.A., Koziol, H., Magnus, U., Martn-Casals, M., Sinde Monteiro, J.F., Morteau, O., Neethling, J., Horton Rogers, W.V., Spier, J., Tichy, L., Widmer, P.: Principles of European Tort Law. Springer, Heidelberg (2005)
Cholvy, L., Cuppens, F., Saurel, C.: Towards a logical formalization of responsibility. In: Proc. ICAIL 1997, pp. 233–242. ACM Press, New York (1997)
Fidge, C.J.: Timestamps in message-passing systems that preserve the partial ordering. In: Raymond, K. (ed.) Proc. ACSC 1988, pp. 56–66 (1988)
Gössler, G., Raclet, J.-B.: Modal contracts for component-based design. In: Proc. SEFM 2009, pp. 295–303. IEEE Computer Society, Los Alamitos (2009)
Ericson II., C.A.: Fault tree analysis – a history. In: Proc. System Safety Conf. (1999)
Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Communications of the ACM 21(7), 558–565 (1978)
Littlewood, B., Strigini, L.: Software reliability and dependability: a roadmap. In: Proc. ICSE 2000, pp. 175–188. ACM, New York (2000)
Mattern, F.: Virtual time and global states of distributed systems. In: Cosnard, M. (ed.) Proc. Workshop on Parallel and Distributed Algorithms, pp. 215–226. Elsevier, Amsterdam (1988)
Neumann, P.G.: Computer Related Risks. Addison-Wesley, Reading (1995)
Papadopoulos, Y.: Model-based system monitoring and diagnosis of failures using statecharts and fault trees. Reliability Engineering and System Safety 81, 325–341 (2003)
Picardi, C., Bray, R., Cascio, F., Console, L., Dague, P., Dressler, O., Millet, D., Rhefus, B., Struss, P., Valle, C.: integrating diagnosis in the design of automotive systems. In: Proc. ECAI 2002, pp. 628–632. IOS Press, Amsterdam (2002)
Picardi, C., Console, L., Berger, F., Breeman, J., Kanakis, T., Moelands, J., Collas, S., Arbaretier, E., De Domenico, N., Girardelli, E., Dressler, O., Struss, P., Zilbermann, B.: AUTAS: a tool for supporting FMECA generation in aeronautic systems. In: Proc. ECAI 2004. IOS Press, Amsterdam (2004)
von Bar, C.: Principles of European law, Non-contractual liability arising out of damage caused to another. Sellier (2009)
Yang, S., Hélouët, L., Gazagnaire, T.: Logic-based diagnosis for distributed systems. In: CRC Press (ed.) Perspectives in Concurrency Theory: A Festschrift for P. S. Thiagarajan (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gössler, G., Le Métayer, D., Raclet, JB. (2010). Causality Analysis in Contract Violation. In: Barringer, H., et al. Runtime Verification. RV 2010. Lecture Notes in Computer Science, vol 6418. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16612-9_21
Download citation
DOI: https://doi.org/10.1007/978-3-642-16612-9_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16611-2
Online ISBN: 978-3-642-16612-9
eBook Packages: Computer ScienceComputer Science (R0)