@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@COMMENT This file came from Sanjit Seshia's publication pages at http://www.eecs.berkeley.edu/~sseshia
@inproceedings{jensen-iscas11,
  author    = {Jeff C. Jensen and Edward A. Lee and Sanjit A. Seshia},
  title     = {An Introductory Capstone Design Course on Embedded Systems},
 booktitle = {Proc. International Symposium on Circuits and Systems (ISCAS)},
 month = "May",
 year = {2011},
 pages = {1199--1202},
 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.},
}