This Article 
 Bibliographic References 
 Add to: 
The Discipline of Embedded Systems Design
October 2007 (vol. 40 no. 10)
pp. 32-40
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:/, 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
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.