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

=====Class timings=====
  * Monday (1000-1100)
  * Tuesday (1800-1900)
  * Wednesday (1000-1100)

=====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:2018:ee512:01_intro_to_es.pdf |Introduction}}
  * {{ :courses:2018:ee512:02_continuous_systems.pdf |Continuous systems}}
  * {{ :courses:2018:ee512:03_discrete_systems.pdf |Discrete systems}}
  * {{ :courses:2018:ee512:04_hybrid.pdf |Hybrid systems}}
  * {{ :courses:2018:ee512:05_composition.pdf |Composition of state machines}}
  * {{ :courses:2018:ee512:06_moc.pdf |Model of Computation}}
  * {{ :courses:2018:ee512:07_sensors_actuators.pdf |Sensors & Actuators}}
  * {{ :courses:2018:ee512:08_embeddedprocessor.pdf |Embedded Processors}}
  * {{ :courses:2018:ee512:09_memory.pdf |Memory}}
  * {{ :courses:2018:ee512:10_inputoutput.pdf |Input Output}}
  * {{ :courses:2018:ee512:11_multitasking.pdf |Multi-tasking}}
  * {{ :courses:2018:ee512:12_scheduling.pdf |Scheduling}}
  * {{ :courses:2018:ee512:13_verification.pdf | Verification}}
  * {{ :courses:2018:ee512:14_security.pdf |Security, Privacy}}
  
=====Other information=====
  * [[:courses:2018:ee512:project_information|Information related to projects]]