Modelling, Design and Analysis of Embedded System (IOPS332C, 211)
Venue: Room5255, CC3 Building
Course Outline:
Module 1 : Introduction  Embedded and CyberPhysical Systems (definitions),application areas, examples, Common characteristics,Challenges in embedded system design design flows
Module 2 : Modelling of 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
Discretetime System concepts, Discretetime system model simulation using suitable examples,
Continuoustime concepts, Continuoustime 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 MultiProcessor Systems
Deadlocks : System Model, Dynamic Resource Allocation, Deadlock Characterization, Methods for Handling Deadlocks, Deadlock Prevention, Deadlock Avoidance, Deadlock Detection, Recovery From Deadlock
Module 6 : Evaluation
multiobjective 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, floatingpoint, highlevel loop transformations,
optimizations for caches, offset assignment problem, additional compiler optimizations, dynamic voltage scaling
1. Peter Mardwel,
Embedded System Foundations of Cyber Physical Systems Springer 2nd Edition. [Slides Available Here]
2. E. A. Lee, Sanjit Seshia
Introduction to Embedded Systems – A Cyber–Physical Systems Approach,
3. Rajeev Alur, Principles of CyberPhysical Systems
Important Instructions:
1.
Classes will be conducted using slide presentation as well as chalkboard.
Official slide sets and miscellaneous study materials from
text books will be uploaded on the web site on a regular basis.
3.
Attendance in the classes is mandatory. If the
attendance of a student falls below 75%, he/she may expect a "F Grade"
4.
The course will consist of laboratory
assignments and a term project. If a student does not submit
the term project, his/her grade will remain as incomplete.
5.
Grading Policy :
o 20%:
Midsemester examination (closed book/notes)
o 50%:
Endsemester examination (closed book/notes)
o 30%:
Lab assignments and term project
o
10%: Homework Assignments (open book/notes)
6.
Tutorials : Announcements for Tutorial classes will be made in the lecture classes. The lab assignments will help you build your concepts and will also prepare you for midsem and endsem. You will have to explain your solution to the TAs during tutorial classes.
Announcements:
Lecture Slides: Majority of the slides have been taken from the available official slides of the book by Peter Marwedel, Tu Dortmund
Sl. No. 
Topic 
Slides 
Helpful Resources 
Lab Assignments 
1. 



2. 
Modelling Embedded Systems 


3. 


4. 


5. 


6. 


7. 


8. 


9. 


10. 
