System Maintenance Notice:
Single article purchases and IEEE account management are currently unavailable. We apologize for the inconvenience.
By Topic

Formal models for embedded system design

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
3 Author(s)
Sgroi, M. ; California Univ., Berkeley, CA, USA ; Lavagno, L. ; Sangiovanni-Vincentelli, A.

The authors give an overview of models of computation for embedded system design and propose a new model that supports communication-based design. An essential component of a new system design paradigm is the orthogonalization of concerns (i.e., the separation of the various aspects of design to allow more effective exploration of alternative solutions). The pillars of the design methodology that we have proposed over the years are the separation between function (what the system is supposed to do) and architecture (how it does it) and the separation between computation and communication

Published in:

Design & Test of Computers, IEEE  (Volume:17 ,  Issue: 2 )