*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