Idioma:

Contracts for System Design

Benveniste, Albert ; Caillaud, Benoît ; Nickovic, Dejan ; Passerone, Roberto ; Raclet, Jean-Baptiste ; Reinkemeier, Philipp ; Sangiovanni-Vincentelli, Alberto ; Damm, Werner ; Henzinger, Thomas A. ; Larsen, Kim G.

Foundations and Trends in Electronic Design Automation, 2018, Vol.12 (2-3), p.124-400 [Periódico revisado por pares]

Boston - Delft: Now Publishers

Texto completo disponível

Citações Citado por

Enviar para

Título:
Contracts for System Design
Autor: Benveniste, Albert ; Caillaud, Benoît ; Nickovic, Dejan ; Passerone, Roberto ; Raclet, Jean-Baptiste ; Reinkemeier, Philipp ; Sangiovanni-Vincentelli, Alberto ; Damm, Werner ; Henzinger, Thomas A. ; Larsen, Kim G.
Assuntos: Component based design ; Computer Science ; Contract based design ; Electronic Design Automation ; Embedded Systems ; Engineering ; Formal semantics ; Interfaces ; Modeling and Simulation ; Program Verification ; Programming Languages ; Specifications ; System design ; System Level Design ; Technology ; Test ; Verification
É parte de: Foundations and Trends in Electronic Design Automation, 2018, Vol.12 (2-3), p.124-400
Notas: 99
EDA-053
10.1561/9781680834031
38
Non-Boolean Computing with Spintronic Devices
System design
Component based design
270
Now Publishers
Formal semantics
Contract based design
Interfaces
Embedded systems
Foundations and Trends® in Electronic Design Automation
978-1-68083-402-4
978-1-68083-403-1
Descrição: 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.
Títulos relacionados: Foundations and trends in electronic design automation
Editor: Boston - Delft: Now Publishers
Formato: 281
Idioma: Inglês

Links

View record in HAL

Voltar para lista de resultados

Realização: Logos de Redes Sociais:

Contracts for System Design

Benveniste, Albert ; Caillaud, Benoît ; Nickovic, Dejan ; Passerone, Roberto ; Raclet, Jean-Baptiste ; Reinkemeier, Philipp ; Sangiovanni-Vincentelli, Alberto ; Damm, Werner ; Henzinger, Thomas A. ; Larsen, Kim G.

Boston - Delft: Now Publishers

Buscando em bases de dados remotas. Favor aguardar.