Contact person
Behrooz Sangchoolie
Forskare
Contact Behrooz
Resilient Safety-Critical Computer Systems
Computer systems in areas such as transport and healthcare must be reliable and designed in a way that ensures they are fault-tolerant. RISE helps hardware experts, software developers and testers to design these types of resilient and safety-critical computer systems.
Our course offer
We help you to strengthen your knowledge of resilient computer systems. We offer a course in which we go through the main concepts of dependable and secure computing and discuss different types of redundancy, which is an effective way to achieve fault tolerance. A large part of the course is then devoted to different ways of modelling dependability attributes such as reliability, availability and security.
Target group
The course is suitable for hardware experts, software developers and testers involved in the development of dependable computer systems, as well as engineers and researchers who want to increase their understanding and knowledge of fault-tolerant computer systems.
Prerequisites
Basic knowledge of computer organisation and probability theory.
We tailor our services to your company
The course content can be adapted and adjusted to suit your specific needs. Please contact us for more information and a quote.
Speakers
Programme
Testimonials
Speakers
Behrooz Sangchoolie
Docent, RISE
Behrooz is an associate professor (2023) and holds a technical doctorate (2017) in computer science from Chalmers University of Technology. He has been active in several programme committees for conferences and workshops in the field of dependable computer systems. Behrooz's current research interests include the use of fault and attack injection experiments for dependable and security assessment of computer systems, as well as performing trade-off analyses of non-functional requirements such as safety and security.
Programme
Taxonomy for dependable and secure data processing
- What is fault tolerance and how is it achieved?
- Areas of application for fault tolerance
- Attributes of dependability and information security
- Considerations in computer system design
- Threats to dependability and information security
- Means of achieving dependability and information security
- What is resilience?
- The system life cycle
- Classification of fault causes, fault propagation, and system faults
Principles of fault tolerance
- Containment of faults
- Preventing individual faults from knocking out the entire system
Interaction between non-functional requirements such as functional and cyber security
- Definition of interaction
- Analysis of interaction using fault and attack injection
Verification and validation of dependable cyber-physical systems
- Dependable cyber-physical systems
- V&V methods for evaluating system functionality and cyber security
Redundancy
- Hardware redundancy
- Software redundancy
- Time redundancy
- Information redundancy
Modelling of dependable attributes
- Probability theory
- Reliability block diagrams
- Markov chain models
- Generalised Stochastic Petri Nets (GSPN)
Testimonials
A deeper understanding of the underlying theory behind the standards we use.
Valuable as an overview of the area and to know where to look for more information.
In part 3, we learned how to calculate and model dependable systems. Usually, we only get to learn the definitions of the terms.
Gaining a high-level overview of the field with a large number of examples to get a taste of the techniques.
