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 : Dans cet article, nous présentons la démarche adoptée dans le projet ANR LISE pour spécifier de manière formelle les responsabilités des parties dans un contrat portant sur des logiciels. Nous décrivons deux options, l’une reposant sur une attribution a priori des responsabilités en fonction des dysfonctionnements constatés, l’autre basée sur une analyse de causalité, et nous les illustrons sur un exemple de système de réservation d’hôtels.
Type de document :
Article dans une revue
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2014, pp.63-84. 〈10.3166/tsi.33.63-84〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01078220
Contributeur : Gregor Gössler <>
Soumis le : mardi 28 octobre 2014 - 12:43:10
Dernière modification le : jeudi 11 octobre 2018 - 08:48:04

Identifiants

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, pp.63-84. 〈10.3166/tsi.33.63-84〉. 〈hal-01078220〉

Partager

Métriques

Consultations de la notice

424