Course content

The course is taught every second year, next time autumn 2010.
Topics are: Modelling with state diagrams (discrete state continuous time Markov chains) and stochastic Petrinets. Modelling of systems with distribution, fault-tolerance and co-operating software objects. Pros and cons of methods with respect to problems addressed. Analytical methods for state based systems, included system times, the rate of (rarely occurring) system failures, measurement of interval availability and availability guarantees, truncation of state spaces. Simulation techniques to provoke rare events like importance sampling and splitting.

Learning outcome

A good insight into the options, methods and challenges related to modelling, analysis and dimensioning of information and communication systems, with both HW, SW and network subsystems. Emphasis is on dealing with conditions that are specific for (highly) dependable ICT systems like rarely occurring events, decisions based on few observations and handling of large unstructured state spaces.

Learning methods and activities

Colloquiums/interactive lectures, where it is expected that the students have familiarised themselves with the topic on beforehand. Optional exercises. If there are more than 4 candidates a written exam will be considered.

Recommended previous knowledge

Knowledge of the design of dependable/fault-tolerant systems. Fundamental knowledge of dependability modelling and analysis, including the use of discrete state continuous time Markov models. These topics are covered by e.g. the course TTM4120 Dependable systems.

Required previous knowledge

None

Course materials

Journal and conference papers, etc. Announced at the beginning of the term.

Credit reductions