Module 1 : Introduction 

Embedded and Cyber-Physical Systems (definitions),application areas, examples, Common characteristics,Challenges in embedded system design
design flows


Module 2 : Modelling Embedded Systems

Requirements, models of computation, Finite State Machines, Timed Automata, State Charts, Modelling of Hierarchy;
Data flow modelling - Synchronous data flow, Using Matlab, Simulink, Stateflow and Labview;
Petri nets: Introduction, condition/event nets, place transition nets, predicate/transition nets;
Discrete Event Modelling - Verilog


Module 3: Modelling Cyber -Physical Systems

Discrete-time System concepts, Discrete-time system model simulation using suitable examples,
Continuous-time concepts, Continuous-time system model simulation using suitable examples, 

Module 4: Design - Choosing the components
HW platforms - Processors, Sensors, Actuators;
Sw stack - RTOS;Scheduling Real Time control tasks

Module 5: Design - Implementation

Concept of Stability and Controller Design techniques;
Mapping of Applications to Multi-Processor Systems

Module 6 : Evaluation 

multi-objective optimization, relevant objectives, performance evaluation (early estimation & worst case execution time analysis), prerequisite: integer linear programming, Energy and power models, thermal models, Simulation, rapid prototyping and emulation, formal verification;

Optimization - ask concurrency management, floating-point, high-level loop transformations, 
optimizations for caches, offset assignment problem, additional compiler optimizations, dynamic voltage scaling