Embedded System Design and Modeling

EE382N.23, Unique: 16865 and 16869 (Professional MS)
Semester: Fall 2017

Background

Embedded computer systems are ubiquitous, integrated into many devices we interact with on a daily basis. With ever increasing application demands and advances in semiconductor technology, such systems are more than ever realized as application-specific, heterogeneous multi-processor systems-on-chip (MPSoCs). Exponentially growing complexities, tight constraints and rising chip design costs, however, have made traditional implementation approaches infeasible and instead demand novel, well-defined and formal methods for (parallel) programming and design of complete systems across hardware and software boundaries.

This course covers theory and practice of system-level design of embedded multi-processor and multi-core systems. With an emphasis on the formal modeling foundations to enable design automation, the course will present methods and techniques for specification, synthesis and performance modeling at the system level. State-of-the-art design languages and design automation tools will be introduced and used in the labs to specify, simulate, analyze, model and synthesize systems based on typical embedded application examples.
 

Catalog Description and Course Topics

Formal methods and design automation techniques for specification, modeling, synthesis, and electronic system-level (ESL) design of embedded systems:

• System-level design languages (SLDLs) and methodologies: SpecC, SystemC
• Models of Computation (MoCs): concurrency and time, finite state machines (FSMs), process networks, dataflow
• System-level synthesis: algorithms for partitioning, scheduling and design space exploration
• System refinement, virtual platform prototyping and system simulation: processor and OS modeling, transaction-level modeling (TLM) for communication
• Embedded hardware and software synthesis
• System design tools, examples and case studies.
   

Prerequisites

• Fundamentals of embedded & real-time systems and software (EE445M/EE380L.6 Real-Time Operating Systems, or equivalent)
• Working knowledge of C/C++, algorithms and data structures (EE422C Software Design and Implementation, or equivalent)
• Fundamentals of digital hardware design and hardware description languages (EE460M Digital System Design using VHDL, or equivalent).
   

Textbooks

• Recommended

  D. D. Gajski, S. Abdi, A. Gerstlauer, G. Schirner, Embedded System Design: Modeling, Synthesis, Verification, Springer, September 2009. ISBN 978-1-4419-0503-1 ("Orange book", authors' site)

• Optional

  E. A. Lee, S. A. Seshia "Introduction to Embedded Systems: A Cyber-Physical Systems Approach" Second Edition, ISBN 978-0-262-53381-2, 2017. (electronic version on author's site)
  P. Marwedel "Embedded System Design: Embedded Systems Foundations of Cyber-Physical Systems" Third Edition, Springer, 2018. ISBN 978-3-319-56043-4 (author's site)
  A. Gerstlauer, R. Doemer, J. Peng, D. Gajski, "System Design: A Practical Guide with SpecC", Springer, 2001. ISBN 978-0-7923-7387-1 ("Yellow book")
  T. Groetker, S. Liao, G. Martin, S. Swan, "System Design with SystemC", Springer, 2002. ISBN 978-1-4020-7072-3 ("Black book", electronic version at UT libraries)

Policies

• Grading
  • 20% Homeworks
  • 20% Labs
  • 20% Midterm
  • 40% Final project
  Late submissions will not be accepted.
   
• Academic dishonesty
  • Oral discussion of homework problems is encouraged. However, be sure to submit your own individual and independent solution.
  • Labs and final projects can be done in teams. Collaboration on projects is encouraged.
  • Copying of any part of a homework/lab solution or project report without explicit reference to its source is plagiarism and considered cheating.
     

Electronic Mail Notification Policy

In this course e-mail will be used as a means of communication with students. You will be responsible for checking your e-mail regularly for class work and announcements. The complete text of the University electronic mail notification policy and instructions for updating your e-mail address are available at http://cio.utexas.edu/policies/university-electronic-mail-student-notification-policy.
 

Use of Canvas and Class Web Site

This course uses the class web page and Canvas to distribute course materials, to communicate and collaborate online, to submit assignments and to post solutions and grades. You will be responsible for checking the class web page and the Canvas course site regularly for class work and announcements. As with all computer systems, there are occasional scheduled downtimes as well as unanticipated disruptions. Notification of disruptions will be posted on the Canvas login page. Scheduled downtimes are not an excuse for late work. However, if there is an unscheduled downtime for a significant period of time, I will make an adjustment if it occurs close to the due date.
 

Students with disabilities

The University of Texas at Austin provides upon request appropriate academic accommodations for qualified students with disabilities. For more information, contact the Services for Students with Disabilities (SSD) at 471-6259, http://diversity.utexas.edu/disability.
 

Religious Holidays

Religious holy days sometimes conflict with class and examination schedules. If you miss an examination, work assignment, or other project due to the observance of a religious holy day you will be given an opportunity to complete the work missed within a reasonable time after the absence. It is the policy of The University of Texas at Austin that you must notify each of your instructors at least fourteen days prior to the classes scheduled on dates you will be absent to observe a religious holy day.
 

Classroom Evacuation and Emergency Preparedness

All occupants of university buildings are required to evacuate a building when a fire alarm and/ or an official announcement is made indicating a potentially dangerous situation within the building. Familiarize yourself with all exit doors of each classroom and building you may occupy. Remember that the nearest exit door may not be the one you used when entering the building. If you require assistance in evacuation, inform your instructor in writing during the first week of class. For evacuation in your classroom or building:

1. Follow the instructions of faculty and teaching staff.
2. Exit in an orderly fashion and assemble outside.
3. Do not re-enter a building unless given instructions by emergency personnel.