Dependable systems (Norwegian: Pålitelige systemer)
The students should get the ability to design, quantitatively evaluate and operate systems based on information and communication technologies (ICT) to meet availability, reliability and safety requirements. They should get a firm conceptual basis, insight into fault tolerant design, dependability modelling and analysis, as well as important dependability aspects of hardware, software and networks.
The course gives a broad introduction to the design and quantitative evaluation of dependability in systems based on information and communication technologies (ICT). The following issues are covered:
- The course gives a broad introduction to the design and quantitative evaluation of dependability in ICT systems.
- Dependability attributes: availability, reliability, safety, QoS.
- The failure process, failure semantics, fault handling and maintenance.
- Methods for dependability modelling and analysis, with emphasis on reliability block-diagrams and state diagrams (Discrete state continuous time Markov Models).
- Fault-tolerance, types of redundancy, design principles and mechanisms, the properties of designs.
- Prediction of hardware failure rates.
- Modelling of software failing, prediction of software failure intensities, impact of software failures on systems' behaviour.
- Survivability of networks, dependability evaluation of networks taking the traffic carrying (QoS) requirements into account.
As a part of the course, each student will do a mini project. In this project, they will revisit TTM4110 Chapter 7, "Dependability models" and study to use Mathematica for analysis of dependability models.
Another part of the course, small groups of students will carry out a laboratory project. During this, they will study how to provide, as well as implement, a fault tolerant service in a distributed system by the use of a group communication toolkit on a middleware platform.
The course includes a set of exercises in modelling and evaluation of various system designs and behaviors.
- Basic knowledge in ICT systems design. Basic knowledge in probability, Markov modelling and analysis, TTM4110 Dependability and Performance with Discrete Event Simulation or equivalent.
- Object-oriented programming.