logo-polimi
Loading...
Bibliographic resources
Bibliography mandatory
Bibliography not mandatory
Summary Teaching Assignment
Academic Year 2014/2015
School School of Industrial and Information Engineering
Course 090955 - DEPENDABLE SYSTEMS
Cfu 5.00 Type of Course Mono-Disciplinary Course
Lecturers: Titolare (Co-titolari) Bolchini Cristiana

Programme Track From (included) To (excluded) Course
Ing Ind - Inf (Mag.)(ord. 270) - MI (434) INGEGNERIA INFORMATICA*AZZZZ090955 - DEPENDABLE SYSTEMS
Ing Ind - Inf (Mag.)(ord. 270) - MI (481) COMPUTER SCIENCE AND ENGINEERING - INGEGNERIA INFORMATICA*AZZZZ090955 - DEPENDABLE SYSTEMS

Detailed program and learning outcomes

System dependability is the ability of the system to deliver the expected functionality, fulfilling the functional and performance requirements, during its operational lifetime.

This course provides a methodological approach to system dependability by introducing the basic concepts in terms of dependability attributes, fault/failure models, methods to design and analyze this class of systems, also presenting practical solutions for their realization.   

 

1. Dependability basics

1.1. Fault/Error/Failure models

1.2. Dependability attributes: Reliability, Availability 

2. Dependability Analysis (quantitative and qualitative) 

2.1 Models (Failure rate, Probability distributions)

2.2 Series/Parallel Systems

2.3 Markov Models

2.4 Fault Trees

2.5 FMEA/FMECA

2.6 Fault Injection 

3. Design for dependability

3.1 Fault Detection, Tolerance and Recovery 

3.2 Test

3.3 Diagnosis

3.4 Verification

 

At the end of the course the student shall be able to take into account dependability aspects in the design and implementation of a system, by investigating dependability requirements in relation to the applicable fault model, and to identify suitable solutions to achieve the desired ability to manage the occurrence of faults.


Notes on methods of assessing

Student evaluation will be carried out either with projects developed during the course, or by a written final exam.


Bibliography
Risorsa bibliografica facoltativaDhiraj K. Pradhan, Fault-tolerant computer system design, Editore: Prentice-Hall, Anno edizione: 1996, ISBN: 0-13-057887-8

Software used
No software required

Didactic forms
Type of didactic form Teaching hours
lesson
30.0
training
20.0
computer laboratory
0.0
experimental laboratory
0.0
project
0.0
project laboratory
0.0

Information in English to support internationalization
Course offered in English
Study material/slides available in English
Textbook/Bibliography available in English
It is possible to take the examination in English
Support available in English
schedaincarico v. 1.10.0 / 1.10.0
Area Servizi ICT
15/07/2024