Skip to Main content Skip to Navigation
Journal articles

Apport des méthodes formelles pour l'exploitation de logs informatiques dans un contexte contractuel

Gregor Gössler 1 Daniel Le Métayer 2 Eduardo Mazza 3 Marie-Laure Potet 3 Lacramioara Astefanoaei 3
1 SPADES [2013-2015] - Sound Programming of Adaptive Dependable Embedded Systems [2013-2015]
Inria Grenoble - Rhône-Alpes, LIG [2007-2015] - Laboratoire d'Informatique de Grenoble [2007-2015]
2 PRIVATICS - Privacy Models, Architectures and Tools for the Information Society
Inria Grenoble - Rhône-Alpes, CITI - CITI Centre of Innovation in Telecommunications and Integration of services
Abstract : This paper describes the approach followed by the ANR LISE project to specify formally the liabilities of the parties in a software contract. Two options are presented: the first one relies on the definition of an a priori allocation of liabilities based on the errors observed in the logs while the second one is based on a causality analysis. Both options are illustrated with an hotel reservation system.
Complete list of metadatas

https://hal.inria.fr/hal-01078220
Contributor : Gregor Gössler <>
Submitted on : Tuesday, October 28, 2014 - 12:43:10 PM
Last modification on : Tuesday, August 4, 2020 - 9:52:02 AM

Links full text

Identifiers

Citation

Gregor Gössler, Daniel Le Métayer, Eduardo Mazza, Marie-Laure Potet, Lacramioara Astefanoaei. Apport des méthodes formelles pour l'exploitation de logs informatiques dans un contexte contractuel. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2014, 33 (1-2), pp.63-84. ⟨10.3166/tsi.33.63-84⟩. ⟨hal-01078220⟩

Share

Metrics

Record views

727