A Generic Model of Contracts for Embedded Systems

Albert Benveniste 1 Benoit Caillaud 1 Roberto Passerone 2
1 S4 - System synthesis and supervision, scenarios
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : We present the mathematical foundations of the contract-based model developed in the framework of the SPEEDS project. SPEEDS aims at developing methods and tools to support "speculative design", a design methodology in which distributed designers develop different aspects of the overall system, in a concurrent but controlled way. Our generic mathematical model of contract supports this style of development. This is achieved by focusing on behaviors, by supporting the notion of "rich component" where diverse (functional and non-functional) aspects of the system can be considered and combined, by representing rich components via their set of associated contracts, and by formalizing the whole process of component composition.
Type de document :
Rapport
[Research Report] RR-6214, INRIA. 2007
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00153477
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 13 juin 2007 - 11:16:09
Dernière modification le : jeudi 11 janvier 2018 - 06:20:10
Document(s) archivé(s) le : mardi 21 septembre 2010 - 13:26:58

Fichiers

RR-6214.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00153477, version 2
  • ARXIV : 0706.1456

Citation

Albert Benveniste, Benoit Caillaud, Roberto Passerone. A Generic Model of Contracts for Embedded Systems. [Research Report] RR-6214, INRIA. 2007. 〈inria-00153477v2〉

Partager

Métriques

Consultations de la notice

331

Téléchargements de fichiers

269