Course information

Responsible Instructor
Name E-mail
Prof.dr.ir. A.J.C. van Gemund    A.J.C.vanGemund@tudelft.nl
Instructor
Name E-mail
Dr.ir. A.B. Feldman    A.B.Feldman@tudelft.nl
Contact Hours / Week x/x/x/x
Week 1,2,3: 2/0/0/0
Week 4: 2/0/0/0
Pract.
Education Period
1
Exam Period
Exam by appointment
Course Language
English
Course Contents
Model-driven (software-intensive) system design and analysis is rapidly gaining importance. Course contents include: Context, dependability, fault diagnosis, model-based fault diagnosis versus software fault localization, modeling with Lydia, model-based reasoning, fault diagnosis algorithms, case studies.
Study Goals
To make the student familiar with the topic of modeling systems, how to design models of hardware and software systems, how to solve these models for purposes of fault diagnosis, and recovery, and how to interpret the results.
Education Method
First a number of lectures are given during the first few weeks, after which each student receives an practical study assignment. The assignment comprises practical work concluded by a written report.
Assessment
Individual assignment and written report.
Remarks
Information on http://www.st.ewi.tudelft.nl/~gemund/Courses/In4090
Back to top