YoVDO

Safety-Critical Systems from the Inside - NDC Oslo 2020

Offered By: NDC Conferences via YouTube

Tags

NDC Conferences Courses Risk Management Courses Root Cause Analysis Courses Safety-Critical Systems Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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.

Syllabus

Intro
MACIEJ GAJDZICA
SYSTEM WHOSE MALFUNCTI CAN LEAD TO
SAFETY VS SECURITY
SAFETY VS RELIABILITY
Risk: cutting fingers
Risk: burning everything
SAFETY INTEGRITY LEVEL SIL
FAIL SAFE
CPU ERRORS
HOW TO DETECT CLOCK FAIL
REDUNDANCY
SAFE COMMUNICATION
PROBLEM
SOLUTION
MIXED CRITICALITY
DATA CORRUPTION
uint32_t const value; uint32_t const value_inv
FORMAL PROOF
ADA SPARK
LANGUAGE SUBSETS
EFFECTIVE DOCUMENTATION
VERSION MANAGEMENT
PEOPLE AND PROCESSES
ROOT CAUSE ANALYSIS
FEEDBACK LOOP
Engineering a Safer World
PROJECT ROLES - SIL4
ADDITIONAL RESOURCES


Taught by

NDC Conferences

Related Courses

Health Informatics: Data and Interoperability Standards
Georgia Institute of Technology via edX
Fractal Architecture
NDC Conferences via YouTube
Strangling the Monolith - Applied Patterns & Practices from the Trenches
NDC Conferences via YouTube
Refactoring Is Not Just Clickbait
NDC Conferences via YouTube
Amazing Algorithms for Solving Problems in Software
NDC Conferences via YouTube