Computer systems used in domains such as transportation and healthcare should be dependable. This is especially the case for when these systems are used to run safety-critical applications which are those that may endanger human lives if they fail. These systems should be designed in a way making sure they are fault-tolerant.
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.
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.
Basic knowledge in computer organization and probability theory.
Companies that want to register at least three of their employees can get a discount on the course fee. 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.
Taxonomy of Dependable and Secure Computing
Principles of Fault Tolerance
Interplay Between Dependability and Security Attributes
Verification and Validation of Dependable Cyber-Physical Systems
Modelling Dependability Attributes