Discrete Event Models: Getting the Semantics
Right
Edward Lee (University of California, Berkeley)
Abstract:
Discrete event models are systems where components
interact via timed events. Although there are many languages and simulators
with discrete-event semantics (VHDL, OpNet Modeler, ns2, etc.), there is not
widespread agreement on the precise semantics. This talk examines a formal
foundation for discrete-event systems that clarifies interesting corner cases,
where events are simultaneous, ordered or unordered, and where Zeno conditions
arise. It introduces analytical tools for studying such cases, lends insight
into parallel and distributed execution of discrete-event models, and suggests
a unified semantics that is efficient and clean.