*banner
 

The embedded systems design challenge
Tom Henzinger, Joseph Sifakis

Citation
Tom Henzinger, Joseph Sifakis. "The embedded systems design challenge". Proceedings of the 14th International Symposium on Formal Methods (FM), Lecture Notes in Computer Science, Springer, August, 2006.

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.

Electronic downloads

Citation formats  
  • HTML 
    Tom Henzinger, Joseph Sifakis. <a
href="http://chess.eecs.berkeley.edu/pubs/264.html"
>The embedded systems design challenge</a>,
Proceedings of the 14th International Symposium on Formal
Methods (FM), Lecture Notes in Computer Science, Springer,
August, 2006.
  • Plain text 
    Tom Henzinger, Joseph Sifakis. "The embedded systems
design challenge". Proceedings of the 14th
International Symposium on Formal Methods (FM), Lecture
Notes in Computer Science, Springer, August, 2006.
  • BibTeX 
    @inproceedings{HenzingerSifakis06_EmbeddedSystemsDesignChallenge,
    author = {Tom Henzinger and Joseph Sifakis},
    title = {The embedded systems design challenge},
    booktitle = {Proceedings of the 14th International Symposium on
              Formal Methods (FM), Lecture Notes in Computer
              Science},
    organization = {Springer},
    month = {August},
    year = {2006},
    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.},
    URL = {http://chess.eecs.berkeley.edu/pubs/264.html}
}

Posted by Tom Henzinger on 21 May 2007.
Groups: chess
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.
©2002-2018 Chess