---
_id: '5677'
abstract:
- lang: eng
  text: 'Recently, contract-based design has been proposed as an “orthogonal” approach
    that complements system design methodologies proposed so far to cope with the
    complexity of system design. Contract-based design provides a rigorous scaffolding
    for verification, analysis, abstraction/refinement, and even synthesis. A number
    of results have been obtained in this domain but a unified treatment of the topic
    that can help put contract-based design in perspective was missing. This monograph
    intends to provide such a treatment where contracts are precisely defined and
    characterized so that they can be used in design methodologies with no ambiguity.
    In particular, this monograph identifies the essence of complex system design
    using contracts through a mathematical “meta-theory”, where all the properties
    of the methodology are derived from a very abstract and generic notion of contract.
    We show that the meta-theory provides deep and illuminating links with existing
    contract and interface theories, as well as guidelines for designing new theories.
    Our study encompasses contracts for both software and systems, with emphasis on
    the latter. We illustrate the use of contracts with two examples: requirement
    engineering for a parking garage management, and the development of contracts
    for timing and scheduling in the context of the Autosar methodology in use in
    the automotive sector.'
article_processing_charge: No
article_type: original
author:
- first_name: Albert
  full_name: Benveniste, Albert
  last_name: Benveniste
- first_name: Dejan
  full_name: Nickovic, Dejan
  last_name: Nickovic
- first_name: Benoît
  full_name: Caillaud, Benoît
  last_name: Caillaud
- first_name: Roberto
  full_name: Passerone, Roberto
  last_name: Passerone
- first_name: Jean Baptiste
  full_name: Raclet, Jean Baptiste
  last_name: Raclet
- first_name: Philipp
  full_name: Reinkemeier, Philipp
  last_name: Reinkemeier
- first_name: Alberto
  full_name: Sangiovanni-Vincentelli, Alberto
  last_name: Sangiovanni-Vincentelli
- first_name: Werner
  full_name: Damm, Werner
  last_name: Damm
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000−0002−2985−7724
- first_name: Kim G.
  full_name: Larsen, Kim G.
  last_name: Larsen
citation:
  ama: Benveniste A, Nickovic D, Caillaud B, et al. Contracts for system design. <i>Foundations
    and Trends in Electronic Design Automation</i>. 2018;12(2-3):124-400. doi:<a href="https://doi.org/10.1561/1000000053">10.1561/1000000053</a>
  apa: Benveniste, A., Nickovic, D., Caillaud, B., Passerone, R., Raclet, J. B., Reinkemeier,
    P., … Larsen, K. G. (2018). Contracts for system design. <i>Foundations and Trends
    in Electronic Design Automation</i>. Now Publishers. <a href="https://doi.org/10.1561/1000000053">https://doi.org/10.1561/1000000053</a>
  chicago: Benveniste, Albert, Dejan Nickovic, Benoît Caillaud, Roberto Passerone,
    Jean Baptiste Raclet, Philipp Reinkemeier, Alberto Sangiovanni-Vincentelli, Werner
    Damm, Thomas A Henzinger, and Kim G. Larsen. “Contracts for System Design.” <i>Foundations
    and Trends in Electronic Design Automation</i>. Now Publishers, 2018. <a href="https://doi.org/10.1561/1000000053">https://doi.org/10.1561/1000000053</a>.
  ieee: A. Benveniste <i>et al.</i>, “Contracts for system design,” <i>Foundations
    and Trends in Electronic Design Automation</i>, vol. 12, no. 2–3. Now Publishers,
    pp. 124–400, 2018.
  ista: Benveniste A, Nickovic D, Caillaud B, Passerone R, Raclet JB, Reinkemeier
    P, Sangiovanni-Vincentelli A, Damm W, Henzinger TA, Larsen KG. 2018. Contracts
    for system design. Foundations and Trends in Electronic Design Automation. 12(2–3),
    124–400.
  mla: Benveniste, Albert, et al. “Contracts for System Design.” <i>Foundations and
    Trends in Electronic Design Automation</i>, vol. 12, no. 2–3, Now Publishers,
    2018, pp. 124–400, doi:<a href="https://doi.org/10.1561/1000000053">10.1561/1000000053</a>.
  short: A. Benveniste, D. Nickovic, B. Caillaud, R. Passerone, J.B. Raclet, P. Reinkemeier,
    A. Sangiovanni-Vincentelli, W. Damm, T.A. Henzinger, K.G. Larsen, Foundations
    and Trends in Electronic Design Automation 12 (2018) 124–400.
date_created: 2018-12-16T22:59:19Z
date_published: 2018-05-01T00:00:00Z
date_updated: 2023-10-17T11:53:09Z
day: '01'
department:
- _id: ToHe
doi: 10.1561/1000000053
intvolume: '        12'
issue: 2-3
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://hal.inria.fr/hal-00757488/
month: '05'
oa: 1
oa_version: Submitted Version
page: 124-400
publication: Foundations and Trends in Electronic Design Automation
publication_identifier:
  issn:
  - 1551-3939
publication_status: published
publisher: Now Publishers
quality_controlled: '1'
scopus_import: '1'
status: public
title: Contracts for system design
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 12
year: '2018'
...