@inproceedings{4431, abstract = {We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap between safety-critical and best-effort engineering practices. We call for a coherent scientific foundation for embedded systems design, and we discuss a few key demands on such a foundation: the need for encompassing several manifestations of heterogeneity, and the need for constructivity in design. We believe that the development of a satisfactory Embedded Systems Design Science provides a timely challenge and opportunity for reinvigorating computer science.}, author = {Thomas Henzinger and Sifakis, Joseph}, pages = {1 -- 15}, publisher = {Springer}, title = {{The embedded systems design challenge}}, doi = {10.1007/11813040_1}, volume = {4085}, year = {2006}, }