The Discipline of Embedded Systems Design
|
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] 32 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
PURCHASE ARTICLE: $19
IEEE Xplore Subscribers
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb