Contact person
Behrooz Sangchoolie
Forskare
Contact Behrooz
Resilient Safety-Critical Computer Systems
Computer systems used in domains such as transportation and healthcare should be dependable and designed in a way to ensure that they are fault-tolerant. In this course, we go through concepts that allow you, as a hardware expert, software developer or tester, to design and evaluate this type of resilient and safety-critical computer systems.
About the course
In this course, we go through the main concepts in dependable and secure computing and discuss different types of redundancy, which is an effective way of providing fault-tolerance. A major part of the course is then dedicated to different ways of modelling dependability attributes such as reliability, availability, and safety.
Target audience
The course is suitable for hardware experts, software developers and testers involved in development of dependable computer systems as well as early-stage engineers and researchers who would like to increase their understanding and knowledge about fault-tolerant computer systems.
Prerequisites
Basic knowledge in computer organization and probability theory.
Quantity discount
Companies that want to register at least five of their employees can get a discount on the course fee. Contact the course coordinator for information about the discount.
Company-adapted course
We can also hold the course only for your company where we jointly agree on the time and place. Contact the course coordinator for further information and for a quote.
Practicalities
The course is held online on Teams October 20, 22, and 24th, 2025. It starts at 09.00 and ends at 12.30 CET every course day.
Additional information
In case of fewer than three registered participants, the course may be cancelled. This will be communicated about one week before the course date.
Speakers
Programme
Testimonials
Speakers
Behrooz Sangchoolie
Docent, RISE
Behrooz has a Docent in Computer Science (2023) and received his Ph.D. in Computer Science (2017) from Chalmers University of Technology. He has served on many program committees for conferences in the area of dependable computing. His current research interests include the use of fault and attack injection experiments for dependability and security assessment of computer systems as well as to conduct interplay analyses between non-functional requirements such as safety and security.
Programme
Taxonomy of Dependable and Secure Computing
- What is fault tolerance and how to obtain it?
- Application areas for fault tolerance
- Attributes of dependability and security
- Trade-offs in computer system design
- Threats to dependability and security
- Means to attain dependability and security
- What is resilience?
- System life cycle
- Fault, error, and failure classification
Principles of Fault Tolerance
- Fault/Error containment
- No single point of failure
Interplay Between Dependability and Security Attributes
- Definition of the interplay
- Analyses of the interplay using fault and attack injection
Verification and Validation of Dependable Cyber-Physical Systems
- Dependable Cyber-Physical Systems (CPS)
- Verification and Validation methods for evaluation of computer systems safety and security
Redundancy
- Hardware redundancy
- Software redundancy
- Time redundancy
- Information redundancy
Modelling Dependability Attributes
- Probability theory
- Reliability block diagrams
- Markov chain models
- Generalized Stochastic Petri Nets (GSPN)
Testimonials
A deeper understanding of the underlying theory surrounding the standards we use.
That in part 3 one learned to both calculate and model system Reliability. Most of the time, in such courses, it is only the definitions of the terms that are included in the course material.
Valuable as an overview of the area and knowing where to look further for more information.
Getting a high-level overview of the field with a good number of examples to get a flavour of the techniques.
