ETD system

Electronic theses and dissertations repository

 

Tesi etd-03052009-235409


Thesis type
Tesi di dottorato di ricerca
Author
MAZZI, EMANUELE
URN
etd-03052009-235409
Title
Contract-based design for computation and verification of hybrid systems
Settore scientifico disciplinare
ING-INF/04
Corso di studi
AUTOMATICA, ROBOTICA E BIOINGEGNERIA
Commissione
Relatore Prof. Bicchi, Antonio
Relatore Prof. Sangiovanni Vincentelli, Alberto L.
Parole chiave
  • Nessuna parola chiave trovata
Data inizio appello
21/04/2009;
Consultabilità
parziale
Data di rilascio
21/04/2049
Riassunto analitico
Contract-based design is an approach where the design process is seen as a successive assembly of components represented in terms of assumptions about its environment and guarantees about its behavior. In the composition, if assumptions of each component are contained in guarantees offered by the others, then the composition is well formed. We focus on contract-based design and the use of Heterogeneous Rich Component models for embedded controllers where the plant, sensors and actuators are described by hybrid systems. In this work composition satisfaction requirements are defined using the assumptions-guarantees reasoning, giving rules on how to compose assumptions and promises for components in cascade, parallel and feedback configurations.
File