|Advisor:||Edward A. Lee|
In order to achieve a correct simulation of such systems, it is essential for the continuous-time simulation engine to have the ability to detect and handle discrete events. The central part of this work is the study of the formal semantics of the models and their interaction, including causality, determinacy, fixed-point behavior, event detection and signal conversions.
The semantics study also yields a deep insight into the interaction of heterogeneous (simulation) CAD tools. We are developing a methodology that classifies existing CAD tools by their underlying models of computation (MoC), and embeds CAD tools only in the Ptolemy II domains that have the same MoC. Ptolemy II acts as the standard semantic glue for the external tools. Thus, for example, a digital hardware simulation tool based on Verilog or VHDL can interact with an analog simulation tool such as Saber through a Ptolemy II backplane.
Last updated 11/05/99