Embedded systems are electronic devices that function in the contextof a physical environment, by sensing and reacting to a set of stimuli. To sim-plify the design of embedded systems, different parts are best described usingdifferent notations and analyze with different techniques, i.e., the system is saidto beheterogeneous. We informally refer to the notation and the rules that areused to specify and verify the elements of heterogeneous systems and their col-lective behavior as amodel of computation. In this paper, the use ofconservativeapproximations(recently introduced by the authors) is reviewed to establish rela-tionships between different models of computation in a design. After presentingthe basic definitions, we propose three different models at different levels of ab-straction for describing a system and the progression towards its implementation.Then, we derive associated conservative approximations starting from simple ho-momorphisms between sets of behaviors of the different models.

Approximating behaviors in embedded system design / Passerone, Roberto; A. L., Sangiovanni Vincentelli. - STAMPA. - 5065:(2008), pp. 721-742.

Approximating behaviors in embedded system design

Passerone, Roberto;
2008

Abstract

Embedded systems are electronic devices that function in the contextof a physical environment, by sensing and reacting to a set of stimuli. To sim-plify the design of embedded systems, different parts are best described usingdifferent notations and analyze with different techniques, i.e., the system is saidto beheterogeneous. We informally refer to the notation and the rules that areused to specify and verify the elements of heterogeneous systems and their col-lective behavior as amodel of computation. In this paper, the use ofconservativeapproximations(recently introduced by the authors) is reviewed to establish rela-tionships between different models of computation in a design. After presentingthe basic definitions, we propose three different models at different levels of ab-straction for describing a system and the progression towards its implementation.Then, we derive associated conservative approximations starting from simple ho-momorphisms between sets of behaviors of the different models.
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
Berlin; Heidelberg
Springer
9783540686767
Passerone, Roberto; A. L., Sangiovanni Vincentelli
Approximating behaviors in embedded system design / Passerone, Roberto; A. L., Sangiovanni Vincentelli. - STAMPA. - 5065:(2008), pp. 721-742.
File in questo prodotto:
File Dimensione Formato  
PasseroneASV08MON.pdf

Solo gestori archivio

Tipologia: Versione editoriale (Publisher’s layout)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 433.65 kB
Formato Adobe PDF
433.65 kB Adobe PDF   Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11572/65994
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact