8746 articles  [english version]

hal-00757488, version 1

Contracts for System Design

Albert Benveniste (, http://www.irisa.fr/distribcom/benveniste/) 1, Benoit Caillaud () a1, Dejan Nickovic () b2, Roberto Passerone () c3, Jean-Baptiste Raclet (, http://www.irit.fr/page-perso/Jean-Baptiste.Raclet/) d4, Philipp Reinkemeier e5, Alberto Sangiovanni-Vincentelli () f6, Werner Damm () 5, Thomas Henzinger () g7, Kim G. Larsen h8

N° RR-8147 (2012)

  • a –  INRIA
  • b –  AIT Austrian Institute of Technology
  • c –  Trento University
  • d –  Université Paul Sabatier - Toulouse III
  • e –  Offis
  • f –  University of California, Berkeley
  • g –  Institute of Science and Technology, Austria
  • h –  Alborg University, Danemark
  • 1 :  S4 (INRIA - IRISA)
  • http://www.inria.fr/equipes/s4
    CNRS : UMR6074 – INRIA – Institut National des Sciences Appliquées (INSA) - Rennes – Université de Rennes 1 Campus de Beaulieu 35042 Rennes cedex France
  • 2 :  AIT Austrian Institute of Technology
  • http://www.ait.ac.at/
    AIT Austrian Institute of Technology Autriche
  • 3 :  Department of Information Engineering and Computer Science (DISI)
  • http://disi.unitn.it/
    University of Trento, Italy Dipartimento di Ingegneria e Scienza dell'Informazione Via Sommarive, 14 I-38123 POVO tel. (+39) 0461 882092 fax: (+39) 0461 882093 E-mail: disi@disi.unitn.it Italie
  • 4 :  Institut de recherche en informatique de Toulouse (IRIT)
  • http://www.irit.fr/
    CNRS : UMR5505 – Institut National Polytechnique de Toulouse - INPT – Université des Sciences Sociales - Toulouse I – Université Toulouse I (UT1) Capitole – Université Toulouse le Mirail - Toulouse II – Université Paul Sabatier (UPS) - Toulouse III 118 Route de Narbonne, F-31062 Toulouse Cedex 9 France
  • 5 :  OFFIS [Oldenburg]
  • http://www.offis.de/start.html
    Offis Escherweg 2 26121 Oldenburg Allemagne
  • 6 :  Electrical Engineering and Computer Science [Berkeley] (EECS)
  • http://www.eecs.berkeley.edu/
    University of California, Berkeley 253 Cory Hall Berkeley, CA 94720-1770 États-Unis
  • 7 :  Institute of Science and Technology [Austria] (IST Austria)
  • http://www.ist.ac.at/
    IST Austria IST Austria Am Campus 1 3400 Klosterneuburg Austria Autriche
  • 8 :  University of Aalborg

  • University of Aalborg Danemark

Références bibliographiques

  • Type de publication : Rapports
  • Domaine : Informatique/Systèmes embarqués
  • Titre : Contracts for System Design
  • Résumé : Systems design has become a key challenge and differentiating factor over the last decades for system companies. Aircrafts, trains, cars, plants, distributed telecommunication military or health care systems, and more, involve systems design as a critical step. Complexity has caused system design times and costs to go severely over budget so as to threaten the health of entire industrial sectors. Heuristic methods and standard practices do not seem to scale with complexity so that novel design methods and tools based on a strong theoretical foundation are sorely needed. Model-based design as well as other methodologies such as layered and compositional design have been used recently but a unified intellectual framework with a complete design flow supported by formal tools is still lacking albeit some attempts at this framework such as Platform-based Design have been successfully deployed. Recently an "orthogonal" approach has been proposed that can be applied to all methodologies proposed thus far to provide a rigorous scaffolding for verification, analysis and abstraction/refinement: contractbased design. Several results have been obtained in this domain but a unified treatment of the topic that can help in putting contract-based design in perspective is still missing. This paper intends to provide such treatment where contracts are precisely defined and characterized so that they can be used in design methodologies such as the ones mentioned above with no ambiguity. In addition, the paper provides an important link between interfaces and contracts to show similarities and correspondences. Examples of the use of contracts in design are provided as well as in depth analysis of existing literature.
  • Résumé français : Cet article fait le point sur le concept de contrat pour la conception de systèmes. Les contrats que nous proposons portent, non seulement sur des propriétés de typage de leurs interfaces, mais incluent une description abstraite de comportements. Nous proposons une méta-théorie, ou, si l'on veut, une théorie générique des contrats, qui permet le développement séparé de sous-systèmes. Nous montrons que cette méta-théorie se spécialise en l'une ou l'autre des théories connues.
  • Classification ACM :
    D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory
    D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications
  • Langue du document : Anglais
  • Type de rapport : Rapport de recherche
  • Nombre de pages : 65
  • Date de publication : 27/11/2012
  • Mots-clés : system design – component based design – contract – interface
  • Référence interne : RR-8147

Liste des fichiers attachés à ce document :

PDF
RR-8147.pdf(2.3 MB)
 
  • hal-00757488, version 1
  • oai:hal.inria.fr:hal-00757488
  • Contributeur : 
  • Soumis le : Mercredi 28 Novembre 2012, 17:32:22
  • Dernière modification le : Jeudi 29 Novembre 2012, 13:48:07