Citation
Jeff C. Jensen, Edward A. Lee, Sanjit Seshia. "An Introductory Capstone Design Course on Embedded Systems". In Proceedings of Circuits and Systems (ISCAS), 2011 IEEE International Symposium on, 1199-1202, May, 2011.

Abstract
We review an introductory course in embedded systems that characterizes embedded systems not by resource constraints, but rather by interactions with the physical world. This course teaches students the basics of models, analysis tools, and design for embedded systems. Traditional undergraduate courses in embedded systems focus on ad-hoc engineering practices and the use of existing modeling techniques, often omitting critical analysis and meta-modeling; we emphasize model-based design of embedded and cyber-physical systems. Students learn how to model the physical world with continuous time differential equations, and how to model computation using logic and discrete models such as state machines. Students evaluate these modeling techniques through the use of meta-modeling, illuminating the interplay of practical design with formal models of systems that incorporate both physical dynamics and computation. Students learn formal techniques to specify and verify desired behavior. A combination of structured labs and design projects solidifies these concepts when applied to the design of embedded and cyber-physical systems with real-time and concurrent behaviors.

Electronic downloads

• eecs149_iscas2011.pdf · application/pdf · 416 kbytes
• http://dx.doi.org/10.1109/ISCAS.2011.5937784

• HTML

  Jeff C. Jensen, Edward A. Lee, Sanjit Seshia. <a
  href="http://chess.eecs.berkeley.edu/pubs/924.html"
  >An Introductory Capstone Design Course on Embedded
  Systems</a>, In Proceedings of Circuits and Systems
  (ISCAS), 2011 IEEE International Symposium on, 1199-1202,
  May, 2011.

• Plain text

  Jeff C. Jensen, Edward A. Lee, Sanjit Seshia. "An
  Introductory Capstone Design Course on Embedded
  Systems". In Proceedings of Circuits and Systems
  (ISCAS), 2011 IEEE International Symposium on, 1199-1202,
  May, 2011.

• BibTeX

  @inproceedings{JensenLeeSeshia11_IntroductoryCapstoneDesignCourseOnEmbeddedSystems,
      author = {Jeff C. Jensen and Edward A. Lee and Sanjit Seshia},
      title = {An Introductory Capstone Design Course on Embedded
                Systems},
      booktitle = {In Proceedings of Circuits and Systems (ISCAS),
                2011 IEEE International Symposium on},
      pages = {1199-1202},
      month = {May},
      year = {2011},
      abstract = {We review an introductory course in embedded
                systems that characterizes embedded systems not by
                resource constraints, but rather by interactions
                with the physical world. This course teaches
                students the basics of models, analysis tools, and
                design for embedded systems. Traditional
                undergraduate courses in embedded systems focus on
                ad-hoc engineering practices and the use of
                existing modeling techniques, often omitting
                critical analysis and meta-modeling; we emphasize
                model-based design of embedded and cyber-physical
                systems. Students learn how to model the physical
                world with continuous time differential equations,
                and how to model computation using logic and
                discrete models such as state machines. Students
                evaluate these modeling techniques through the use
                of meta-modeling, illuminating the interplay of
                practical design with formal models of systems
                that incorporate both physical dynamics and
                computation. Students learn formal techniques to
                specify and verify desired behavior. A combination
                of structured labs and design projects solidifies
                these concepts when applied to the design of
                embedded and cyber-physical systems with real-time
                and concurrent behaviors.},
      URL = {http://chess.eecs.berkeley.edu/pubs/924.html}
  }
  

Posted by Mary Stewart on 5 Sep 2012.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.