======EE512: Embedded Systems ======
This course will provide broad overview of different techniques, methodologies employed in **modeling - design - analysis** of embedded systems.

=====Class timings=====
  * Monday (10:00-11:00)
  * Thursday (15:00-16:00)
  * Friday (11:00-12:00)

=====Course Syllabus=====
Introduction to the Embedded systems, Embedded System models and Development Cycle, Modeling of continuous, discrete and hybrid systems, Embedded system design and examples, Hierarchical state machine, Design space exploration, Sensors, Actuators, Embedded processor and memory architecture, Introduction to Embedded OS and RTOS, Scheduling, Multi tasking, Temporal logic, Embedded System I/Os, Interfacing techniques, Communication Protocols and device driver, Embedded system analysis and verification.

=====Books=====
  * E. A. Lee and S. A. Seshia,  “Introduction to Embedded Systems”, Second Edition, MIT Press, 2017. [[http://leeseshia.org/releases/LeeSeshia_DigitalV2_2.pdf|pdf]]


=====Slides=====
  * {{ :courses:2017:ee512:01_intro_to_es.pdf |Introduction}}
  * {{ :courses:2017:ee512:02_continuous_systems.pdf |Modeling of Continuous Systems}}
  * {{ :courses:2017:ee512:03_discrete_systems.pdf |Modeling of Discrete Systems}}
  * {{ :courses:2017:ee512:04_hybrid.pdf |Modeling of Hybrid Systems}}
  * {{ :courses:2017:ee512:05_composition.pdf |Composition of state machines}}
  * {{ :courses:2017:ee512:06_moc.pdf |Model of Computation}}
  * {{ :courses:2017:ee512:07_sensors_actuators.pdf | Sensors & Actuators}}
  * {{ :courses:2017:ee512:08_embeddedprocessor.pdf |Embedded Processors}}
  * {{ :courses:2017:ee512:09_memory.pdf |Memory Architecture}}
  * {{ :courses:2017:ee512:10_inputoutput.pdf |Input and Output}}
  * {{ :courses:2017:ee512:11_multitasking.pdf |Multitasking}}
  * {{ :courses:2017:ee512:12_scheduling.pdf |Scheduling}}
  * {{ :courses:2017:ee512:13_verification.pdf |Verification}}
  * {{ :courses:2017:ee512:14_security.pdf |Security & Privacy}}
  * {{ :courses:2017:ee512:15_quantitative_analysis.pdf |Quantitative Analysis}}


=====Other information=====
  * [[:courses:2017:ee512:project_information|Information related to projects]]