Safety-Critical Systems Courses and Certifications

Validation of Safety Critical Systems

Master mathematical validation techniques for autonomous systems using sampling methods, formal verification, and reachability analysis in safety-critical applications.

• YouTube
• 18 hours 50 minutes
• On-Demand
• Free Video

Validation of Safety-Critical Systems: Introduction and Overview

1 review

Explore algorithmic approaches to validating safety-critical systems, covering key challenges and solutions for ensuring reliability in complex technological implementations.

• YouTube
• 1 hour 7 minutes
• On-Demand
• Free Video

Simons Institute

Learning to Control Safety-Critical Systems

Explore techniques for integrating AI tools in safety-critical systems, focusing on guaranteeing performance, stability, and safety while addressing challenges in networked environments.

• YouTube
• 59 minutes
• On-Demand
• Free Video

NDC Conferences

Correct Use of Integers in Safety-critical Systems

Discover essential strategies for implementing integer types in safety-critical systems, focusing on MISRA and AUTOSAR guidelines while exploring better approaches for achieving both safety and portability.

• YouTube
• 58 minutes
• On-Demand
• Free Video

Safety Critical Systems and Licensing Risk: Standard Measures and Implementations from the CHAOSS Project

Explore standard measures and implementations for managing licensing risks in safety-critical systems, as presented by the CHAOSS Project.

• YouTube
• 16 minutes
• On-Demand
• Free Video

Bridging the Gap - Linux in Safety Critical Systems

Explore Linux's role in safety-critical systems, industry pressures, and strategies for bridging gaps. Learn about working groups, reference processes, and focus areas for enhancing safety in various domains.

• YouTube
• 50 minutes
• On-Demand
• Free Video

Devoxx Poland

Safety-Critical Systems: Techniques for Ensuring Safety and Preventing Accidents

Explore techniques for ensuring safety in critical systems, including fail-safety, multi-CPU usage, task separation, communication safety, documentation practices, and programming language considerations.

• YouTube
• 48 minutes
• On-Demand
• Free Video

Coursera

Advanced Techniques in Embedded Software Testing

Master fault injection, HIL testing, and real-time validation techniques for safety-critical embedded systems through hands-on labs and industry case studies.

• Coursera
• 3 hours 28 minutes
• On-Demand
• Paid Course

Modeling Safety-Critical Systems: Wolfram U Video Class

Explore aircraft flap system modeling using Wolfram System Modeler. Learn to simulate component faults, investigate complex issues, and analyze system behavior in safety-critical contexts.

• Wolfram U
• 20 minutes
• On-Demand
• Free Online Course

RAFIA - A Roadmap for Certifying Open Source in Safety-Relevant Systems

Explore RAFIA methodology for certifying open source in safety-critical systems. Learn risk analysis, automated testing, fault injection, mitigation, and compliance steps for embedded Linux-based operating systems.

• YouTube
• 46 minutes
• On-Demand
• Free Video

Address Space Isolation for Enhanced Safety of the Linux Kernel

Explore strategies for enhancing Linux kernel safety through address space isolation, functional partitioning, and critical element protection. Learn methodologies for safety analysis and improvement mechanisms.

• YouTube
• 43 minutes
• On-Demand
• Free Video

Using FOSS as Part of a System Safety Mechanism

Explore the integration of Free and Open Source Software (FOSS) in system safety mechanisms, addressing challenges and discussing practical implementation strategies.

• YouTube
• 30 minutes
• On-Demand
• Free Video

Functional Safety Certification of Open Source Hypervisors - A Case Study

Explore functional safety certification for open source hypervisors, focusing on ACRN's approach, development models, and key processes in safety-critical scenarios.

• YouTube
• 40 minutes
• On-Demand
• Free Video

Open Source in Safety Critical Applications

Explore the role of open source software in safety-critical systems with insights from Kate Stewart of The Linux Foundation.

• YouTube
• 40 minutes
• On-Demand
• Free Video

Alan Turing Institute

Safety and Robustness for Deep Learning with Provable Guarantees - Marta Kwiatkowska - Oxford

Explore techniques for ensuring safety and robustness in deep learning systems, focusing on automated certification methods, Bayesian learning, and causality in critical applications.

• YouTube
• 1 hour 2 minutes
• On-Demand
• Free Video