WSC 2006 Abstracts


Opening Session Track


Monday 8:30:00 AM 10:00:00 AM
Opening Session and Keynote Address

Chair: David Nicol (University of Illinois at Urbana-Champaign)

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.

[ Return to Top | Return to Program ]