Embedded Software Design and Validation 

Autumn 2016 

Instructor 

Soumyajit Dey, Rajib Mall 

Office: Room 306, CSE Main Building

Teaching Assistants (Theory and Lab) : B V Ashok Kumar, Jay Thakkar, Priya Mourya 

{bv.ashokkumar , thakkarjay63 }@ yahoo.in, {priyamourya25 }@ gmail.com 

Class Timings  : THUR(3-5),  FRI(2-4)  - all sessions are 2 hour lectures

Venue - CSE-108 

Syllabus - (No. of 2 hour lectures for each topic)

1. Introductory Lecture  -  (2)

2. Specification Models for Embedded Systems - (6)

• Finite State Machine
• Concurrent State Machine
• Hierarchical State Machine/State Charts
• Message Sequence Chart
• Timed Automata
• Hybrid Automata

3. Model/Implementation Validation - (6)

• Temporal Logic
• Model Checking
• Program verification (using CBMC)

4. Communication Validation : Protocol Converter Synthesis - (2)

5. HW basics

• Basics of Computer Architecture (ISA, Pipeline, Cache) 
• Bus protocols : CAN, Flexray 
• Sensors, ADC/DAC 

6. Realtime Operating System Basics

• Real time scheduling
• Modern RTOS examples and case studies 

7. Embedded Software Testing and Software Engineering Aspects 

8. Hardware-software Codesign, Task Mapping, Task Scheduling - (2)

9. Performance Validation : Timing Analysis of Embedded Software - (2)

• WCET Analysis of C Programs 
• Real Time Calculus (RTC) — extra topic (if time permits)

10. Tools and related assignments 

• Simulink/Stateflow (in ESDV lab)
• Uppaal (in ESDV lab)
• Spin/CBMC (in ESDV lab)

Coverage 

1. Soumyajit Dey : Items 1, 2, 3, 4, 8, 9 — Total no. of lectures : 20

2. Prof. Rajib Mall : Items 5, 6, 7 — Total no. of lectures : 12

3. Prof. Pallab Dasgupta (in lab) : Item 10 

Text Books and References

• “Embedded System Design: A Unified Hardware/Software Introduction” - Frank Vahid and Tony Givargis (link)
• “Principles of Cyber-Physical Systems” -  R. Alur (link)
• “Embedded System Design” - Peter Marwedel (link)
• “Embedded Systems and Software Validation” - A.  Roychoudhury