A Generic Model of Contracts for Embedded Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2007

A Generic Model of Contracts for Embedded Systems


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.
Fichier principal
Vignette du fichier
RR-6214.pdf (239 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00153477 , version 1 (11-06-2007)
inria-00153477 , version 2 (13-06-2007)


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


Albert Benveniste, Benoit Caillaud, Roberto Passerone. A Generic Model of Contracts for Embedded Systems. [Research Report] RR-6214, INRIA. 2007. ⟨inria-00153477v2⟩
232 View
224 Download



Gmail Facebook X LinkedIn More