Taming heterogeneity the Ptolemy approach

被引:466
作者
Eker, J [1 ]
Janneck, JW
Lee, EA
Liu, J
Liu, XJ
Ludvig, J
Neuendorffer, S
Sachs, S
Xiong, YH
机构
[1] Univ Calif Berkeley, Dept Elect Engn & Comp Sci, Berkeley, CA 94720 USA
[2] Athena Semicond Inc, Fremont, CA 94538 USA
关键词
component-based design; embedded systems; heterogeneous modeling; models of computation;
D O I
10.1109/JPROC.2002.805829
中图分类号
TM [电工技术]; TN [电子技术、通信技术];
学科分类号
0808 ; 0809 ;
摘要
Modern embedded computing systems tend to be heterogeneous in the sense of being composed of subsystems with very different characteristics, which communicate and interact in a variety of ways-synchronous or asynchronous, buffered or unbuffered, etc. Obviously, when designing such systems, a modeling language needs to reflect this heterogeneity. Today's modeling environments usually offer a variant of what we call amorphous heterogeneity to address this problem. This paper argues that modeling systems in this manner leads to unexpected and hard-to-analyze interactions between the communication mechanisms and proposes a more structured approach to heterogeneity, called hierarchical heterogeneity, to solve this problem. It proposes a model structure and semantic framework that support this form of heterogeneity, and discusses the issues arising from heterogeneous component interaction and the desire for component reuse. It introduces the notion of domain polymorphism as a way to address these issues.
引用
收藏
页码:127 / 144
页数:18
相关论文
共 47 条
[1]  
Adelantado M., 1994, Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, DOI 10.1145/197917.198162
[2]  
Agha Gul, 1986, Actors: A Model of Concurrent Computation in Distributed Systems
[3]  
ALEXANDER P, 2000, ROSETTA SEMANTICS ST
[4]  
[Anonymous], 1980, CALCULUS COMMUNICATI, DOI DOI 10.1007/3-540-10235-3
[5]  
[Anonymous], VHDL ANAL MODELING D
[6]  
ANTSAKLIS PJ, 1995, LECT NOTES COMPUTER, V999
[7]  
BARKER D, 2000, VHDL INT US FOR FALL
[8]   THE SYNCHRONOUS APPROACH TO REACTIVE AND REAL-TIME SYSTEMS [J].
BENVENISTE, A ;
BERRY, G .
PROCEEDINGS OF THE IEEE, 1991, 79 (09) :1270-1282
[9]   THE ESTEREL SYNCHRONOUS PROGRAMMING LANGUAGE - DESIGN, SEMANTICS, IMPLEMENTATION [J].
BERRY, G ;
GONTHIER, G .
SCIENCE OF COMPUTER PROGRAMMING, 1992, 19 (02) :87-152
[10]  
Bhattacharyya S.S., 1996, Software Synthesis from Data~ow Graphs