Teaching embedded systems the Berkeley way

Proceedings of the 2012 Workshop on Embedded and Cyber-Physical Systems Education, WESE 2012

Volumn , Issue , 2013, Pages

  Lee, Edward A ^a   Seshia, Sanjit A ^a   Jensen, Jeff C ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b NATIONAL INSTRUMENTS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CRITICAL THINKING; CYBER PHYSICAL SYSTEMS (CPSS); DESIGN TECHNOLOGIES; LABORATORY EXPERIENCES; LEVELS OF ABSTRACTION; MODEL-BASED DESIGN; REAL TIME OPERATING SYSTEM; STRUCTURED SEQUENCE;

ABSTRACTING; COMPUTER OPERATING SYSTEMS; CURRICULA; DESIGN; EMBEDDED SOFTWARE; STUDENTS; SYSTEMS ANALYSIS;

EMBEDDED SYSTEMS;

EID: 84885894326     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2530544.2530545     Document Type: Conference Paper

References (9)

1. E. A. Lee and S. A. Seshia, Introduction to Embedded Systems - A Cyber-Physical Systems Approach. Berkeley, CA: LeeSeshia.org, 2011. [Online]. Available: http://LeeSeshia.org
2. S. A. Seshia and E. A. Lee, "An introductory textbook on cyber-physical systems," in Workshop on Embedded Systems Education (in conjunction with ES Week), Scottsdale, AZ, 2010.
3. J. C. Jensen, E. A. Lee, and S. A. Seshia, "An introductory capstone design course on embedded systems," in International Symposium on Circuits and Systems (ISCAS). Rio de Janeiro, Brazil: IEEE, 2011, pp. 1199-1202.
4. E. A. Lee, "The problem with threads," Computer, vol. 39, no. 5, pp. 33-42, 2006.
5. E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley, 1994.
6. J. C. Jensen, D. H. Chang, and E. A. Lee, "A model-based design methodology for cyber-physical systems," in First IEEE Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems (CyPhy), Istanbul, Turkey, 2011. [Online]. Available: http://chess.eecs.berkeley.edu/pubs/837.html
7. P. Derler, E. A. Lee, and A. Sangiovanni-Vincentelli, "Modeling cyber-physical systems," Proceedings of the IEEE (special issue on CPS), vol. 100, no. 1, pp. 13-28, 2012.
8. P. Koopman, Better Embedded System Software. Drumnadrochit Education, 2010. [Online]. Available: http://www.koopman.us/book.html
9. D. Sadigh, S. A. Seshia, and M. Gupta, "Automating exercise generation: A step towards meeting the mooc challenge for embedded systems," in Workshop on Embedded Systems Education (WESE). Tampere, Finland: ACM, 2012.