Course on Design & Validation of Fault-tolerant Embedded Systems @ IIT Guwahati [July 27-31]: Apply by June 21: Expired

Course on Fault-tolerant Embedded SystemsIIT Guwahati is organizing a TEQIP-III Sponsored 5-day Short Term Course on Design and Validation of Fault-tolerant Embedded Systems during July 27 – 31, 2019.

About the Course:

Due to the immense importance of this topic especially in the modern era, many technical institutions in India are developing and offering their own courses fault-tolerant systems.
However, most of these courses do not have exposure to all the phases (limited, mainly to design) without much exposure to the basic theory and CAD tools.
This course will give proper directions to the attendants (teachers) towards formulating detailed UG and PG level courses along with appropriate laboratory support.
It will also provide a strong impetus towards innovation sensitization along with innovative technology development in the area of fault-tolerant embedded systems design, especially in the eastern and north-eastern part of India.

Course Contents:
  • Day 1: Fault-Tolerant Systems I: Introduction, Fault Classification, Types of Redundancy, Real-time Fault-Tolerant Systems and Fault Models.
  • Day 2: Fault-Tolerant Systems II: Fault-Tolerant Scheduling, Hardware and software fault tolerance, Information redundancy, Checkpointing.
  • Day 3: Fault-tolerant Networks: Measures of Resilience, Network Topologies, and their Resilience, Fault-tolerant Routing strategies; Mixed-Criticality Systems: Introduction, Single processor analysis, Multiprocessor analysis, Realistic models, formal treatments and systems issues.
  • Day 4: Fault-Tolerant system models. Formal Verification Basics: Model Checking, Symbolic Model Checking, Bounded Model Checking, SMT Solvers.
  • Day 5: Formal Approaches to modeling and control of fault-tolerant systems. Pedagogy session.
  • The course is open to faculty members of TEQIP mapped institutions. s. There will be a refundable registration fee of 2500 INR for the participants from TEQIP mapped institutions.
  • However, Ph.D. scholars/PG students from these institutions may be accommodated subject to the vacancy of seats. Seats that remain unfilled will be open to faculty/ students of other institutions with a non-refundable registration fee of 2500 INR.
  • There will be a total of 40 seats for the course based on application followed by shortlisting.
How to Apply?
  • Click here for the application form.
  • Download the course Endorsement Form and get it duly approved and signed by the head of your institution. Seal of the institute is mandatory.
  • Send the documents and DD via speed post to the course coordinator (postal address given below) so as to reach IIT Guwahati latest by June 21.
  • Send a soft copy (preferably pdf) of the duly filled application form to debabratasenapati[at]
  • Fill this Intimation Form after you have sent the application form and the DD via post.
Course Coordinators

Dr. Chandan Karfa,
Assistant Professor, Department of Computer Science & Engineering,
IIT Guwahati, Guwahati, Assam 781039.
Email: ckarfa[at]
Mobile: 0361 2582375 (Office), 9663450535.
Dr. Arnab Sarkar,
Assistant Professor, Department of Computer Science & Engineering,
IIT Guwahati, Guwahati, Assam 781039.
Email: ckarfa[at]
Mobile: 0361 2583252 (Office), 9474896776.

For further details, click here.

Subscribe to our newsletter

Leave a Reply

Your email address will not be published. Required fields are marked *