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 - Sound Programming of Adaptive Dependable Embedded Systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
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 : Friday, June 21, 2019 - 10:00:11 AM

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

521