Design of Embedded Systems: Formal Models, Validation, and Synthesis
Stephen Edwards, Luciano Lavagno,
Edward A. Lee, and Alberto Sangiovanni-Vincentelli
Proceedings of the IEEE, Vol. 85, No. 3, March 1997
ABSTRACT
This paper addresses the design of reactive real-time embedded
systems. Such systems are often heterogeneous in implementation
technologies and design styles, for example by combining hardware
ASICs with embedded software. The concurrent design process for such
embedded systems involves solving the specification, validation, and
synthesis problems. We review the variety of approaches to these
problems that have been taken.
Send comments to Edward A. Lee at eal at eecs berkeley edu .
