Writing a Base Level Library for Safety Critical Code in C++ - Lecture
Dive into safety-critical C++ development for modern cars. Explore tools, testing methodologies, coding standards, error handling, and design impacts for creating reliable software where lives are at stake.
汎用マイコンと認証済みソフトウェアによる機能安全システム開発
STマイクロエレクトロニクスのマイコンを使用した機能安全システム開発の概要と、認証取得に役立つソフトウェアライブラリや技術ドキュメントを紹介。
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.
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.
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.
SBOMs: Essential for Embedded Systems
Explore the importance of Software Bill of Materials (SBOM) in embedded systems, regulatory expectations, and implementation in open source projects for improved cybersecurity and risk management.
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.
Japan's Critical Infrastructure - Open Source Evolution in Software Development
Japan's critical infrastructure evolution: Open source trends, security considerations, and Linux Foundation projects enhancing dependability, transparency, and reproducibility for future software needs.
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.
Debating Linux in Aerospace - Objections and Paths Forward
Explore the potential of open-source software in aerospace, addressing objections and proposing solutions for adopting Linux in safety-critical flight systems.
wolfBoot - Open Source Secure Boot and Remote Firmware Updates in Safety-critical Embedded Systems
Explore wolfBoot, an open-source secure bootloader for embedded systems. Learn about its portability, attack mitigation, and suitability for safety-critical applications across various architectures.
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.
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.
Open Source Summit and Embedded Linux Conference Keynotes - Day 3
Explore cutting-edge open-source technologies through keynotes on cloud-native projects, safety-critical applications, infrastructure modernization, and RISC-V, featuring industry experts and innovative case studies.
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.
Rust in Safety and Mission-Critical Environments
Explore Rust's potential in safety- and mission-critical environments, focusing on specification needs, trust levels, and the language's unique strengths.
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.
Enhancing FIDO2 Security for Safety-Critical Applications: Best Practices and Considerations
Explore FIDO2 authentication in safety-critical systems, covering testing, hardening, and best practices for dependability, security, and certification integration to enhance open-source project confidence.
Object Lifetime Issues in Linux Kernel - Safety Implications and Solutions
Explore object lifetime issues in Linux kernel, their impact on safety certifications, and strategies for addressing them. Includes test patterns, process implications, and potential fixes.
WebAssembly in Real-Time, Safety-Critical Systems - Keynote
Explore WebAssembly's potential in real-time, safety-critical systems for industrial automation and automotive domains, discussing opportunities and challenges in resource-constrained environments.
Testing C++ Templates: Investigating Tests for C++ Templates Using Adversarial Methods
Explore structured approaches for testing C++ templates, addressing uncertainties in template libraries. Learn techniques to improve test quality metrics and overcome coverage challenges in template programming.