---
OA_type: closed access
_id: '4431'
abstract:
- lang: eng
  text: '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.'
acknowledgement: Supported in part by the ARTIST2 European Network of Excellence on
  Embedded Systems Design, by the NSF ITR Center on Hybrid and Embedded Software Systems
  (CHESS), and by the SNSF NCCR on Mobile Information and Communication Systems (MICS).
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000−0002−2985−7724
- first_name: Joseph
  full_name: Sifakis, Joseph
  last_name: Sifakis
citation:
  ama: 'Henzinger TA, Sifakis J. The embedded systems design challenge. In: <i>Proceedings
    of the 14th International Conference on Formal Methods</i>. Vol 4085. Springer
    Nature; 2006:1-15. doi:<a href="https://doi.org/10.1007/11813040_1">10.1007/11813040_1</a>'
  apa: 'Henzinger, T. A., &#38; Sifakis, J. (2006). The embedded systems design challenge.
    In <i>Proceedings of the 14th international conference on Formal Methods</i> (Vol.
    4085, pp. 1–15). Hamilton, Canada: Springer Nature. <a href="https://doi.org/10.1007/11813040_1">https://doi.org/10.1007/11813040_1</a>'
  chicago: Henzinger, Thomas A, and Joseph Sifakis. “The Embedded Systems Design Challenge.”
    In <i>Proceedings of the 14th International Conference on Formal Methods</i>,
    4085:1–15. Springer Nature, 2006. <a href="https://doi.org/10.1007/11813040_1">https://doi.org/10.1007/11813040_1</a>.
  ieee: T. A. Henzinger and J. Sifakis, “The embedded systems design challenge,” in
    <i>Proceedings of the 14th international conference on Formal Methods</i>, Hamilton,
    Canada, 2006, vol. 4085, pp. 1–15.
  ista: 'Henzinger TA, Sifakis J. 2006. The embedded systems design challenge. Proceedings
    of the 14th international conference on Formal Methods. FM: Formal Methods, LNCS,
    vol. 4085, 1–15.'
  mla: Henzinger, Thomas A., and Joseph Sifakis. “The Embedded Systems Design Challenge.”
    <i>Proceedings of the 14th International Conference on Formal Methods</i>, vol.
    4085, Springer Nature, 2006, pp. 1–15, doi:<a href="https://doi.org/10.1007/11813040_1">10.1007/11813040_1</a>.
  short: T.A. Henzinger, J. Sifakis, in:, Proceedings of the 14th International Conference
    on Formal Methods, Springer Nature, 2006, pp. 1–15.
conference:
  end_date: 2006-08-27
  location: Hamilton, Canada
  name: 'FM: Formal Methods'
  start_date: 2006-08-21
date_created: 2018-12-11T12:08:49Z
date_published: 2006-08-10T00:00:00Z
date_updated: 2026-08-21T11:43:39Z
day: '10'
doi: 10.1007/11813040_1
extern: '1'
intvolume: '      4085'
language:
- iso: eng
month: '08'
oa_version: None
page: 1 - 15
publication: Proceedings of the 14th international conference on Formal Methods
publication_identifier:
  eisbn:
  - '9783540372165'
  eissn:
  - 1611-3349
  isbn:
  - '9783540372158'
  issn:
  - 0302-9743
publication_status: published
publisher: Springer Nature
publist_id: '301'
status: public
title: The embedded systems design challenge
type: conference
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 4085
year: '2006'
...