DocumentCode :
2211300
Title :
Overcoming heterophobia: modeling concurrency in heterogeneous systems
Author :
Burch, Jerry ; Passerone, Roberto ; Sangiovanni-Vincentelli, Alberto L.
Author_Institution :
Cadence Berkeley Labs., CA, USA
fYear :
2001
fDate :
2001
Firstpage :
13
Lastpage :
32
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;
fLanguage :
English
Publisher :
ieee
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
Type :
conf
DOI :
10.1109/CSD.2001.981761
Filename :
981761
Link To Document :
بازگشت