This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
The Discipline of Embedded Systems Design
October 2007 (vol. 40 no. 10)
pp. 32-40
ASCII Text
x 
 
Thomas A. Henzinger, Joseph Sifakis, "The Discipline of Embedded Systems Design," Computer, vol. 40, no. 10, pp. 32-40, October, 2007.
 
 
BibTex
x
 
@article{ 10.1109/MC.2007.364,
author = {Thomas A. Henzinger and Joseph Sifakis},
title = {The Discipline of Embedded Systems Design},
journal ={Computer},
volume = {40},
number = {10},
issn = {0018-9162},
year = {2007},
pages = {32-40},
doi = {http://doi.ieeecomputersociety.org/10.1109/MC.2007.364},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - MGZN
JO - Computer
TI - The Discipline of Embedded Systems Design
IS - 10
SN - 0018-9162
SP32
EP40
EPD - 32-40
A1 - Thomas A. Henzinger,
A1 - Joseph Sifakis,
PY - 2007
KW - embedded computing
KW - analytical models
KW - computational models
KW - systems engineering
VL - 40
JA - Computer
ER -
 
The wall between computer science and electrical engineering has kept the potential of embedded systems at bay. It is time to build a new scientific foundation with embedded systems design as the cornerstone, which will ensure a systematic and even-handed integration of the two fields.

1. P.J. Denning and A. McGettrick, "Recentering Computer Science," Comm. ACM, vol. 48, no. 11, 2005, pp. 15–19.
2. T.A. Henzinger et al., "Mission Statement: Center for Hybrid and Embedded Software Systems," Univ. of California, Berkeley; http:/chess.eecs.berkeley.edu, 2002.
3. E.A. Lee, "Absolutely Positively on Time: What Would It Take?" Computer, July 2005, pp. 85–87.
4. J.A. Stankovic et al., "Opportunities and Obligations for Physical Computing Systems," Computer, Nov. 2005, pp. 23–31.
5. S. Graf, I. Ober, and J. Ober, "Validating Timed UML Models by Simulation and Verification," Software Tools for Technology Transfer, vol. 8, no. 2, 2006, pp. 128–145.
6. T.A. Henzinger et al., "From Control Models to Real-Time Code Using Giotto," IEEE Control Systems Magazine, Feb. 2003, pp. 50–64.
7. H. Kopetz, Real-Time Systems: Design Principles for Distributed Embedded Applications, Kluwer Academic Publishers, 1997.
8. L. de Alfaro and T.A. Henzinger, "Interface-Based Design," Engineering Theories of Software Intensive Systems, M. Broy, et al., eds., NATO Science Series: Mathematics, Physics, and Chemistry, vol. 195, Springer, 2005, pp. 83–104.
9. E.A. Lee and P. Varaiya, Structure and Interpretation of Signals and Systems, Addison-Wesley, 2003.
10. P. Caspi et al., "Guidelines for a Graduate Curriculum on Embedded Software and Systems," ACM Trans. Embedded Computing Systems, vol. 4, no. 3, 2005, pp. 587–611.
1. F. Balarin et al., "Metropolis: An Integrated Electronic System Design Environment," Computer, Apr. 2003, pp. 45–52.
2. J. Eker et al., "Taming Heterogeneity: The Ptolemy Approach," Proc. IEEE, vol. 91, no. 1, 2003, pp. 127–144.
3. K. Balasubramanian et al., "Developing Applications Using Model-Driven Design Environments," Computer, Feb. 2006, pp. 33–40.
4. J. Sifakis, "A Framework for Component-Based Construction," Proc. Software Eng. and Formal Methods, IEEE Press, 2005, pp. 293–300.

Index Terms:
embedded computing, analytical models, computational models, systems engineering
Citation:
Thomas A. Henzinger, Joseph Sifakis, "The Discipline of Embedded Systems Design," Computer, vol. 40, no. 10, pp. 32-40, Oct. 2007, doi:10.1109/MC.2007.364
Usage of this product signifies your acceptance of the Terms of Use.