Design of Embedded Systems: Formal Models, Validation, and Synthesis (1999)
Cached
Download Links
by
S. Edwards
,
L. Lavagno
,
E. A. Lee
,
A. Sangiovanni-Vincentelli
| Venue: | PROCEEDINGS OF THE IEEE |
| Citations: | 92 - 8 self |
BibTeX
@INPROCEEDINGS{Edwards99designof,
author = {S. Edwards and L. Lavagno and E. A. Lee and A. Sangiovanni-Vincentelli},
title = {Design of Embedded Systems: Formal Models, Validation, and Synthesis},
booktitle = {PROCEEDINGS OF THE IEEE},
year = {1999},
pages = {366--390},
publisher = {}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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.
