Safety-Critical Systems Courses and Certifications

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

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

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

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

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

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

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

Open Source Projects in Safety Critical Applications

Explore open source projects in safety-critical applications with industry experts, discussing challenges, best practices, and future trends in this critical domain.

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

Data Science Conference

Implementing AI in Critical Systems

Discover essential strategies and considerations for implementing artificial intelligence solutions in mission-critical systems, focusing on practical applications and risk management.

• YouTube
• 44 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

Verification and Synthesis of Autonomous Systems

Explore techniques for verifying and designing controllers for autonomous systems, covering stability, regular properties, and omega-regular properties through various methods and theoretical frameworks.

• Coursera
• 10 hours 51 minutes
• On-Demand
• Free Online Course (Audit)

Black Hat

Cybersecurity Risk Assessment for Safety-Critical Systems

2 reviews

Explore cybersecurity threats to space systems, motivations behind attacks, and essential perspectives for securing these critical infrastructures.

• YouTube
• 26 minutes
• On-Demand
• Conference Talk

USENIX

Applicable and Achievable Formal Verification

Introductory overview of formal verification techniques in industry, focusing on safety-critical systems. Explores tools, applications, and adaptability to existing infrastructures.

• YouTube
• 33 minutes
• On-Demand
• Conference Talk

C++ for Real-Time Safety-Critical Linux Systems

Learn essential C++ concepts for developing safety-critical systems on Linux, covering design principles, type-safety, memory management, and best practices for real-time applications.

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