This course will provide broad overview of different techniques, methodologies employed in modeling - design - analysis of embedded systems.
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.