The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.10 - October (2007 vol.40)
pp: 32-40
Joseph Sifakis , Verimag
ABSTRACT
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.
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, October 2007, doi:10.1109/MC.2007.364
REFERENCES
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.
24 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool