Главная
Study mode:
on
1
Intro
2
MACIEJ GAJDZICA
3
SYSTEM WHOSE MALFUNCTI CAN LEAD TO
4
SAFETY VS SECURITY
5
SAFETY VS RELIABILITY
6
Risk: cutting fingers
7
Risk: burning everything
8
SAFETY INTEGRITY LEVEL SIL
9
FAIL SAFE
10
CPU ERRORS
11
HOW TO DETECT CLOCK FAIL
12
REDUNDANCY
13
SAFE COMMUNICATION
14
PROBLEM
15
SOLUTION
16
MIXED CRITICALITY
17
DATA CORRUPTION
18
uint32_t const value; uint32_t const value_inv
19
FORMAL PROOF
20
ADA SPARK
21
LANGUAGE SUBSETS
22
EFFECTIVE DOCUMENTATION
23
VERSION MANAGEMENT
24
PEOPLE AND PROCESSES
25
ROOT CAUSE ANALYSIS
26
FEEDBACK LOOP
27
Engineering a Safer World
28
PROJECT ROLES - SIL4
29
ADDITIONAL RESOURCES
Description:
Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only! Grab it Explore safety-critical systems in this NDC Oslo 2020 conference talk. Delve into techniques for ensuring safety in systems where malfunctions can lead to dangerous accidents. Learn how laws of physics are applied to achieve fail-safety, the benefits of using multiple CPUs for defect detection, and the importance of separating less critical tasks. Discover methods for ensuring communication safety, creating useful and up-to-date documentation, and how programming language choice impacts safety. Investigate the possibility of formally proving code free of runtime errors. Gain insights into safety integrity levels, redundancy, mixed criticality, data corruption prevention, formal proofs, and effective documentation practices. Understand the roles of people and processes in safety-critical projects, root cause analysis, and feedback loops. Access additional resources to further explore engineering safer systems.

Safety-Critical Systems from the Inside - NDC Oslo 2020

NDC Conferences
Add to list
0:00 / 0:00