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

Prepublished version
Published version


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 .