|Researchers:||Edward A. Lee|
|Advisor:||Edward A. Lee|
A major objective of this project is to develop a framework for studying models of computation for concurrent systems. We are particularly interested in modeling the interaction between diverse heterogeneous systems. Models of computation of interest include event-based simulation models, such as those embodied in hardware description languages, synchronous/reactive languages (Esterel, Lustre, Signal, Argos), process networks, and dataflow models.
Basic issues of Turing completeness and lambda computability, boundedness, determinacy, reachability, and liveness are studied, with emphasis on decidability and efficiency of verification and synthesis algorithms. Throughout, applications to signal processing, real-time, and reactive systems are emphasized, as are synthesis and compilation techniques amenable to such modern approaches as embedded system design, hardware/software codesign and formal verification.