|
Design of Embedded Systems: Formal Models, Validation, and Synthesis
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.
UCB Design Technology Warehouse Homepage
|