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:


Prerequisites


Textbooks


Policies


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.
Emergency evacuation route information and emergency procedures can be found at http://www.utexas.edu/emergency and http://preparedness.utexas.edu.
 


Contents © Copyright 2017 Andreas Gerstlauer http://www.ece.utexas.edu/~gerstl/ee382n_f17