Safety-Critical Systems Courses and Certifications

How ELISA Is Helping Use Linux in Safety-Critical Systems

Explore how the ELISA Project facilitates Linux adoption in safety-critical systems, enhancing reliability and security for critical applications across industries.

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

Xen in Safety-Critical Systems

Explore Xen's role in safety-critical systems, examining its implementation, benefits, and challenges in high-stakes environments like automotive and aerospace industries.

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

Evolving ROS for Safety Critical Systems

Explore the evolution of ROS for safety-critical systems, focusing on advancements and challenges in robotic software development for high-stakes applications.

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

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

ACM SIGPLAN

Pipit: Reactive Systems in F★ for Safety-Critical Control Systems

Explore Pipit, a reactive language embedded in F★ for verifying and executing control systems. Learn about its verified translation and automatic safety property proofs.

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

Industrial DevOps - Applying DevOps to Cyber-Physical Safety-Critical Systems

Explores applying DevOps principles to cyber-physical safety-critical systems in highly regulated environments, addressing challenges and approaches for ensuring traceability, reliability, and safety.

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

ACCU Conference

Dynamic Memory Allocation Challenges in C++ Safety Critical Systems

Explore dynamic memory allocation challenges in C++ safety-critical systems, analyzing library features, understanding safety constraints, and discovering safer alternatives for runtime memory management.

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

NDC Conferences

Dynamic Memory Allocation Challenges in Safety Critical Systems

Explore C++ dynamic memory allocation challenges in safety-critical systems and discover safer alternatives to forbidden allocation practices.

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

Verification and Synthesis of Autonomous Systems

11 ratings at Coursera

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
• 11 hours 17 minutes
• On-Demand
• Paid Course

Rust

All Aboard the Rust Electric Freight Train - Modern Systems Language for Safety-Critical Applications

Explore Rust's versatility in developing a modern electric freight train, from firmware to simulation, showcasing its safety and efficiency in real-time, critical systems.

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

Simons Institute

Safety-Critical Autonomous Systems - What is Possible? What is Required?

Explore the design, challenges, and potential of safety-critical autonomous systems in aerospace, transportation, and consumer applications, focusing on verification and formal methods.

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

CppCon

LLVM's Realtime Safety Revolution - Tools for Modern Mission Critical Systems

Discover new LLVM tools for ensuring realtime safety in mission-critical systems, including Realtime Sanitizer and -Wperf-constraints for detecting unsafe operations in realtime threads and maintaining robust performance.

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

Paul G. Allen School

Perception and Decision-Making Systems for Human-Robot Teaming in Safety-Critical Environments

Perception and decision-making systems for human-robot teaming in safety-critical environments, focusing on group detection, social navigation, and healthcare applications to improve patient outcomes and reduce clinician workload.

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

ELISA Status and Outlook - Advancing Open Source Safety-Critical Systems

Explore ELISA project's advancements in open source safety-critical systems, including tools, processes, and cross-project collaborations for certification and industry standards compliance.

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

Eclipse Foundation

Bringing Memory Safety to Time Critical Embedded Systems for Automotive and Industrial Systems

Explore memory safety solutions for time-critical embedded systems, covering deterministic garbage collection, Rust, Realtime Java, and OSGi implementations in automotive and industrial applications.

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