*banner
 

An Introductory Capstone Design Course on Embedded Systems
Jeff C. Jensen, Edward A. Lee, Sanjit Seshia

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

Citation formats  
  • 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.

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.

©2002-2018 Chess