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

=====Class timings=====
  * Wednesday (1800-1900)
  * Thursday (0800-0900)
  * Friday (1700-1800)
  

=====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:2019:ee512:01_intro_to_es.pdf |Introduction}}
  * {{ :courses:2019:ee512:02_continuous_systems.pdf | Modeling of Continuous Dynamics}}
  * {{ :courses:2019:ee512:03_discrete_systems.pdf | Modeling of Discrete Dynamics}}
  * {{ :courses:2019:ee512:04_hybrid.pdf | Modeling of Hybrid Systems}}
  * {{ :courses:2019:ee512:05_composition.pdf | Composition of state machines}}
  * {{ :courses:2019:ee512:06_moc.pdf |Model of computation}}
  * {{ :courses:2019:ee512:verilog.pdf |Introduction to Verilog}}
  * {{ :courses:2019:ee512:08_embeddedprocessor.pdf |Embedded processor}}
  * {{ :courses:2019:ee512:07_sensors_actuators.pdf |Sensors & Actuators}}
  * {{ :courses:2019:ee512:09_memory.pdf |Memory}}
  * {{ :courses:2019:ee512:10_inputoutput.pdf |Input & Output}}
  * {{ :courses:2019:ee512:11_multitasking.pdf |Multitasking}}
  * {{ :courses:2019:ee512:12_scheduling.pdf |Scheduling}}
  * {{ :courses:2019:ee512:13_verification.pdf |Verification}}
  * {{ :courses:2019:ee512:15_quantitative_analysis.pdf |Quantitative analysis}}
  
  
=====Other information=====
  * [[ :courses:2019:ee512:term_paper| Term paper]]