Hypervisor-less Virtio for Real-time and Safety
Explore hypervisor-less Virtio for integrating real-time and safety workloads with Linux on edge devices, focusing on architecture, performance, and use cases.
Collaborate on Linux for Use in Safety-Critical Systems
Explore Linux's potential in safety-critical systems for autonomous driving. Learn about industry trends, collaboration goals, and development models for robust, high-performance software solutions.
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.
When Human Life Depends on Software - Introduction to Safety-Critical Systems
Explore safety-critical systems development, regulations, and real-world consequences of software errors in high-stakes environments like aerospace and medical equipment.
Safety and Security - The Future of C and C++
Explore the future of C/C++ in safety-critical and security-critical software development, discussing requirements, approaches, and implications for these programming languages.
Trusting Your Raspberry Pi - An Introduction to the TPM and IoT
Explore TPM and IoT security using Raspberry Pi. Learn about trusted computing, chain of trust, and mitigating firmware attacks for building secure IoT systems.
Testing Spacecraft with Pytest
Explore spacecraft software testing using pytest, comparing it to web services and examining real-world examples from Varda Space Industries. Learn about safety-critical systems and verification techniques.
Safety Critical Software - Would You Let Linux Drive Your Car
Exploring Linux's potential in safety-critical systems, discussing reliability, traditional approaches, and the challenges of using open-source software in life-dependent applications.
Ferrocene - Qualifying the Rust Compiler Using a Fully Open Source Tool Stack
Discover how to qualify the Rust compiler through Ferrocene's open source tooling, exploring key qualification processes and implementation strategies for safety-critical systems.
BASIL - The FuSa Spice to Spot Gaps in Kernel Testing and More
Discover how BASIL enhances kernel testing, identifies gaps, and improves functional safety in Linux systems. Learn innovative techniques for robust software development.
BASIL - The FuSa Spice to Spot Gaps in Kernel Testing and More
Explore BASIL, a tool for identifying gaps in kernel testing and enhancing functional safety in Linux systems.
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.
Nuclear Rust - Introducing Rust in Nuclear Software Industry
Explore Rust's application in nuclear software, focusing on safety, digital twins, and lessons from implementing Rust in reactor simulations.
Towards AI-Based Applications Certification
Explore AI-based application certification, focusing on key aspects and challenges in ensuring reliability and safety of AI systems.
Application of the Upcoming SPDX Safety Profile
Explore the SPDX Safety Profile for managing safety-critical projects, enhancing traceability, and maintaining documentation consistency across various tools and lifecycles.
Improving Developer Velocity in Safety Critical Applications
Maximize developer velocity while meeting quality and safety standards for autonomous truck control. Learn Aurora's strategies for efficient code changes and quality assurance.
Spatio-Temporal Perception Logic for Verification of Perceptual Systems - Part 1
Explore spatio-temporal perception logic for verifying perceptual systems in autonomous vehicles and other safety-critical applications.
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.
Securing IoT Connected Device Applications
Explore IoT device security challenges and solutions with AWS's Chief Evangelist. Learn best practices for protecting connected applications in safety-critical and privacy-sensitive environments.
Theory Makes Beautiful Programs
Explore MC/DC coverage, its importance in safety-critical industries, and how theoretical algorithms can enhance code correctness and beauty through an innovative gcc implementation.
Safety-Critical Systems from the Inside - NDC Oslo 2020
Explore techniques for ensuring safety in critical systems, including fail-safety, CPU redundancy, secure communication, and formal proofs. Learn about safety integrity levels and effective documentation practices.