Edward A. Lee
Sanjit A. Seshia
ABSTRACT
We introduce a textbook that strives to identify and introduce the durable intellectual ideas of embedded systems as a technology and as a subject of study. The emphasis is on modeling, design, and analysis of cyber-physical systems, which integrate computing, networking, and physical processes. The book is intended for students at the advanced undergraduate level or the introductory graduate level, and for practicing engineers and computer scientists who wish to understand the engineering principles of embedded systems. It is also an experiment in publishing. The book is available free in electronic form, in the form of PDF file designed specifically for on-line reading. Specifically, the layout is optimized for medium-sized screens, particularly the iPad and forthcoming tablets. Extensive use of hyperlinks and color enhance the online reading experience. A print version will be available through a print-on-demand service, enabling rapid evolution and immediate correction of errors. See http://LeeSeshia.org.
- H. Abelson and G. J. Sussman. Structure and Interpretation of Computer Programs. MIT Press, second edition, 1996. Google Scholar
Digital Library
- M. Barr and A. Massa. Programming Embedded Systems. O'Reilly, 2nd edition, 2006. Google ScholarDigital Library
- A. S. Berger. Embedded Systems Design: An Introduction to Processes, Tools, & Techniques. CMP Books, 2002. Google ScholarDigital Library
- A. Burns and A. Wellings. Real-Time Systems and Programming Languages: Ada 95, Real-Time Java and Real-Time POSIX. Addison-Wesley, 3d edition, 2001. Google ScholarDigital Library
- G. C. Buttazzo. Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications. Springer, second edition, 2005. Google ScholarDigital Library
- S. A. Edwards. Languages for Digital Embedded Systems. Kluwer Academic Publishers, 2000. Google ScholarDigital Library
- D. D. Gajski, S. Abdi, A. Gerstlauer, and G. Schirner. Embedded System Design - Modeling, Synthesis, and Verification. Springer, 2009. Google ScholarDigital Library
- A. Jantsch. Modeling Embedded Systems and SoCs - Concurrency and Time in Models of Computation. Morgan Kaufmann, 2003. Google ScholarDigital Library
- R. Kamal. Embedded Systems: Architecture, Programming, and Design. McGraw Hill, 2008. Google ScholarDigital Library
- E. A. Lee. Computing needs time. Technical Report UCB/EECS-2009-30, EECS Department, University of California, Berkeley, February 18 2009.Google ScholarDigital Library
- J. W. S. Liu. Real-Time Systems. Prentice-Hall, 2000.Google Scholar
- P. Marwedel. Embedded System Design. Kluwer Academic Publishers, 2003. Google ScholarDigital Library
- P. Mishra and N. D. Dutt. Functional Verification of Programmable Embedded Processors - A Top-down Approach. Springer, 2005. Google ScholarDigital Library
- T. Noergaard. Embedded Systems Architecture: A Comprehensive Guide for Engineers and Programmers. Elsevier, 2005. Google ScholarDigital Library
- R. Oshana. DSP Software Development Techniques for Embedded and Real-Time Systems. Embedded Technology Series. Elsevier, 2006. Google ScholarDigital Library
- J. S. Parab, V. G. Shelake, R. K. Kamat, and G. M. Naik. Exploring C for Microcontrollers. Springer, 2007. Google ScholarDigital Library
- D. A. Patterson and J. L. Hennessey. Computer Architecture: A Quantitative Approach. Morgan Kaufmann, 2nd edition, 1996. Google ScholarDigital Library
- G. Pottie and W. Kaiser. Principles of Embedded Networked Systems Design. Cambridge University Press, 2005. Google ScholarDigital Library
- D. E. Simon. An Embedded Software Primer. Addison-Wesley, 2006. Google ScholarDigital Library
- S. Sriram and S. S. Bhattacharyya. Embedded Multiprocessors: Scheduling and Synchronization. CRC press, 2nd edition, 2009. Google ScholarDigital Library
- J. A. Stankovic, I. Lee, A. Mok, and R. Rajkumar. Opportunities and obligations for physical computing systems. Computer, pages 23--31, 2005. Google ScholarDigital Library
- J. W. Valvano. Embedded Microcomputer Systems - Real Time Interfacing. Thomson, 2nd edition, 2007. Google ScholarDigital Library
- W. Wolf. Computers as Components: Principles of Embedded Computer Systems Design. Morgan Kaufman, 2000. Google ScholarDigital Library
- W. Young, W. Boebert, and R. Kain. Proving a computer system secure. Scientific Honeyweller, 6(2):18--27, July 1985.Google Scholar
Index Terms
- An introductory textbook on cyber-physical systems
Comments