Title :
Overcoming heterophobia: modeling concurrency in heterogeneous systems
Author :
Burch, Jerry ; Passerone, Roberto ; Sangiovanni-Vincentelli, Alberto L.
Author_Institution :
Cadence Berkeley Labs., CA, USA
Abstract :
System level design is complex. One source of this complexity is that systems are often heterogeneous: different models of computation (e.g., dataflow, FSMs) are used to describe different components of a system. Existing formal methods for concurrent systems are typically based on one particular model of computation, so it is difficult to formalize the interaction between heterogeneous components. In this paper, we develop a framework for formalizing the relationships between different models of computation
Keywords :
concurrency theory; process algebra; complexity; concurrent systems; formal methods; heterogeneous systems; models of computation; system level design; Computational modeling; Concurrent computing; Costs; Embedded system; Hardware; Laboratories; Microscopy; Power system modeling; Silicon; System-level design;
Conference_Titel :
Application of Concurrency to System Design, 2001. Proceedings. 2001 International Conference on
Conference_Location :
Newcastle upon Tyne
Print_ISBN :
0-7695-1071-X
DOI :
10.1109/CSD.2001.981761