AT60003: Embedded Software Design & Validation

AT60003
Course name	Embedded Software Design & Validation
Offered by	Advanced Technology Development Centre
Credits	4
Previous Year Grade Distribution
{{{grades}}}
Semester	{{{semester}}}

Syllabus

1. Introductory Lecture. 2. Specification Models for Embedded Systems: Finite State Machine, Concurrent State Machine, Hierarchical State Machine/State Charts, Message Sequence Chart, Timed Automata, Hybrid Automata. 3. Model/Implementation Validation:Temporal Logic,Model Checking, Program verification (using CBMC) 4. Communication Validation : Protocol Converter Synthesis 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. 9. Performance Validation : Timing Analysis of Embedded Software:WCET Analysis of C Programs, Real Time. Calculus (RTC) — extra topic (if time permits).

Syllabus mentioned in ERP

The same as above mentioned.

Concepts taught in class

Student Opinion

Very informative course. It starts by talking about Embedded systems and different State Machines with real-life examples. The professors are excellent in their teaching and they are always ready to clarify the doubts even by taking extra classes. t was taught by Ayantika Chatterjee and Arnab Sarkar. The course was very interesting and i was never bored to attend a class.

How to Crack the Paper

Just following the slides and completing the assignments is more than enough. A text book will be suggested which we can find it easily on the internet and we can get much more information from that.

Time Table

Day	8:00-8:55 am	9:00-9:55 am	10:00-10:55 am	11:00-11:55 am	12:00-12:55 pm		2:00-2:55 pm	3:00-3:55 pm	4:00-4:55 pm	5:00-5:55 pm
Monday			In Dept
Tuesday
Wednesday	In Dept	In Dept
Thursday			In Dept
Friday