 |
ECOLE SUPÉRIEURE D'ÉLECTRICITÉ Une grande école d'ingénieurs au cœur des sciences de l'information,de l'énergie et des systèmes |
 |
Journal articles
Liability issues in software engineering: the use of formal methods to reduce legal uncertainties
Daniel Le Métayer
1
Manuel Maarek
1
Eduardo Mazza
2
Marie-Laure Potet
3
Stéphane Frénot
4
Valérie Viet Triem Tong
5
Nicolas Craipeau
6
Ronan Hardouin
7
2
POP ART - Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
4
AMAZONES - Ambient Middleware Architectures: Service-Oriented, Networked, Efficient and Secured
CITI - CITI Centre of Innovation in Telecommunications and Integration of services, Inria Grenoble - Rhône-Alpes
Daniel Le Métayer 1
Mail :
Author IdHAL : daniel-le-metayer
Manuel Maarek 1
Mail :
Author
Eduardo Mazza 2
Mail :
Author
Marie-Laure Potet 3
Author
Stéphane Frénot 4
Mail :
Author IdHAL : sfrenot ORCID : https://orcid.org/0000-0002-0809-9661
Valérie Viet Triem Tong 5
Mail :
Author IdHAL : valerie-viet-triem-tong
Nicolas Craipeau 6
Author
Ronan Hardouin 7
Author
1
LICIT - Legal Issues in Communication and Information Technologies (INRIA Grenoble - Rhône-Alpes Inovallée 655 avenue de l'Europe Montbonnot 38 334 Saint Ismier Cedex France - France)
- Inria Grenoble - Rhône-Alpes (Inovallée
655 avenue de l'Europe
38330 Montbonnot - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
2
POP ART - Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time (Inria Grenoble - Rhône-Alpes 655 avenue de l'Europe - Montbonnot 38334 Saint Ismier Cedex - France)
- Inria Grenoble - Rhône-Alpes (Inovallée
655 avenue de l'Europe
38330 Montbonnot - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- LIG - Laboratoire d'Informatique de Grenoble (UMR 5217 - Laboratoire LIG - Bâtiment IMAG - 700 avenue Centrale - Domaine Universitaire de Saint-Martin-d’Hères
Adresse postale : CS 40700 - 38058 Grenoble cedex 9 - France
Tél. : 04 57 42 14 00 - France)
- UPMF - Université Pierre Mendès France - Grenoble 2 (BP 47 - 38040 Grenoble Cedex 9 - France)
- UJF - Université Joseph Fourier - Grenoble 1 (BP 53 - 38041 Grenoble Cedex 9 - France)
- Grenoble INP - Institut polytechnique de Grenoble - Grenoble Institute of Technology (46 avenue Félix Viallet 38031 Grenoble Cedex 1 - France)
- INPG - Institut National Polytechnique de Grenoble (46 avenue Félix Viallet 38031 Grenoble Cedex 1 - France)
- CNRS - Centre National de la Recherche Scientifique : UMR5217 (France)
- UGA - Université Grenoble Alpes (CS 40700 - 38058 Grenoble cedex - France)
3
VERIMAG - IMAG - VERIMAG (Verimag
Bâtiment IMAG
Université Grenoble Alpes
700, avenue centrale
38401 Saint Martin d’Hères
France - France)
- UJF - Université Joseph Fourier - Grenoble 1 (BP 53 - 38041 Grenoble Cedex 9 - France)
- Grenoble INP - Institut polytechnique de Grenoble - Grenoble Institute of Technology (46 avenue Félix Viallet 38031 Grenoble Cedex 1 - France)
- INPG - Institut National Polytechnique de Grenoble (46 avenue Félix Viallet 38031 Grenoble Cedex 1 - France)
- CNRS - Centre National de la Recherche Scientifique : UMR5104 (France)
- UGA - Université Grenoble Alpes (CS 40700 - 38058 Grenoble cedex - France)
4
AMAZONES - Ambient Middleware Architectures: Service-Oriented, Networked, Efficient and Secured (CITI Laboratory Domaine Scientifique de la Doua,
INSA Lyon Batiment Leonard de Vinci
21, avenue Jean Capelle
69621 Villeurbanne Cedex - France)
- CITI - CITI Centre of Innovation in Telecommunications and Integration of services (CITI Laboratory, INSA Lyon Domaine Scientifique de la Doua Batiment Claude Chappe 6 avenue des Arts 69621 Villeurbanne Cedex Phone +33 4 7243 6415 Fax +33 4 7243 6227 E-Mail citi@insa-lyon.fr - France)
- INSA Lyon - Institut National des Sciences Appliquées de Lyon (20 Avenue Albert Einstein,
69621 Villeurbanne cedex - France)
- Université de Lyon (92 rue Pasteur - CS 30122, 69361 Lyon Cedex 07 - France)
- INSA - Institut National des Sciences Appliquées (France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- INSA Lyon - Institut National des Sciences Appliquées de Lyon (20 Avenue Albert Einstein,
69621 Villeurbanne cedex - France)
- Inria Grenoble - Rhône-Alpes (Inovallée
655 avenue de l'Europe
38330 Montbonnot - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
5
SSIR - Equipe Sécurité des Systèmes d'Information et Réseaux - EA 4039 (France)
- SUPELEC-Campus Rennes (Avenue de la Boulaie - 35576 Cesson Sévigné CEDEX - France)
- SUPELEC (France)
6
PrINT - Propriétés Intellectuelles et Nouvelles Technologies (Université de Caen Esplanade de la paix 14032 Caen cedex. - France)
- UNICAEN - Université de Caen Normandie (Esplanade de la Paix - CS 14032 - 14032 CAEN Cedex 5 - France)
- NU - Normandie Université (Esplanade de la Paix - CS 14032 - 14032 Caen Cedex 5 - France)
7
DANTE - Laboratoire de Droit des Affaires et Nouvelles Technologies (Faculté de droit et de science politique
3 rue de la division Leclerc
78280 Guyancourt
- France)
- UVSQ - Université de Versailles Saint-Quentin-en-Yvelines : UR4498 (55 avenue de Paris - 78035 Versailles cedex - France)
Abstract : This paper reports on the results of a multidisciplinary project involving lawyers and computer scientists with the aim to put forward a set of methods and tools to (1) define software liability in a precise and unambiguous way and (2) establish such liability in case of incident. The overall approach taken in the project is presented through an electronic signature case study. The case study illustrates a situation where, in order to reduce legal uncertainties, the parties wish to include in the contract specific clauses to define as precisely as possible the share of liabilities between them for the main types of failures of the system.
Complete list of metadatas
https://hal-supelec.archives-ouvertes.fr/hal-00656921
Contributor : Anne Cloirec <>
Submitted on : Thursday, January 5, 2012 - 2:56:33 PM
Last modification on : Wednesday, March 25, 2020 - 4:36:02 PM
Contributor : Anne Cloirec <>
Submitted on : Thursday, January 5, 2012 - 2:56:33 PM
Last modification on : Wednesday, March 25, 2020 - 4:36:02 PM
Identifiers
- HAL Id : hal-00656921, version 1
- DOI : 10.1145/1924421.1924444
Collections
Citation
Daniel Le Métayer, Manuel Maarek, Eduardo Mazza, Marie-Laure Potet, Stéphane Frénot, et al.. Liability issues in software engineering: the use of formal methods to reduce legal uncertainties. Communications- ACM, Association for Computing Machinery, 2011, 54 (4), pp.99-106. ⟨10.1145/1924421.1924444⟩. ⟨hal-00656921⟩
Metrics
Record views
