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 three of their employees can get a discount on the course fee.
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.
Programme
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
- 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)
