Главная
Study mode:
on
You
History
Saved
In progress 0 courses
compleat 0 courses
#Art & Design #Adobe #ChatGPT #GitHub

#Safety-Critical Systems

#Safety Critical Applications
Showing: 73 courses
ACCU Conference

Writing a Base Level Library for Safety Critical Code in C++ - Lecture

0 rewiews
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.
Add to list
1 Lesons
1 hour 35 minutes
On-Demand
Free-Video
STMicroelectronics

汎用マイコンと認証済みソフトウェアによる機能安全システム開発

0 rewiews
STマイクロエレクトロニクスのマイコンを使用した機能安全システム開発の概要と、認証取得に役立つソフトウェアライブラリや技術ドキュメントを紹介。
Add to list
1 Lesons
20 minutes
On-Demand
Free-Video
Alan Turing Institute

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

0 rewiews
Explore techniques for ensuring safety and robustness in deep learning systems, focusing on automated certification methods, Bayesian learning, and causality in critical applications.
Add to list
31 Lesons
1 hour 2 minutes
On-Demand
Free-Video
Simons Institute

Learning to Control Safety-Critical Systems

0 rewiews
Explore techniques for integrating AI tools in safety-critical systems, focusing on guaranteeing performance, stability, and safety while addressing challenges in networked environments.
Add to list
1 Lesons
59 minutes
On-Demand
Free-Video
Linux Foundation

Open Source in Safety Critical Applications

0 rewiews
Explore the role of open source software in safety-critical systems with insights from Kate Stewart of The Linux Foundation.
Add to list
1 Lesons
40 minutes
On-Demand
Free-Video
Linux Foundation

SBOMs: Essential for Embedded Systems

0 rewiews
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.
Add to list
1 Lesons
40 minutes
On-Demand
Free-Video
Linux Foundation

Functional Safety Certification of Open Source Hypervisors - A Case Study

0 rewiews
Explore functional safety certification for open source hypervisors, focusing on ACRN's approach, development models, and key processes in safety-critical scenarios.
Add to list
16 Lesons
40 minutes
On-Demand
Free-Video
Linux Foundation

Japan's Critical Infrastructure - Open Source Evolution in Software Development

0 rewiews
Japan's critical infrastructure evolution: Open source trends, security considerations, and Linux Foundation projects enhancing dependability, transparency, and reproducibility for future software needs.
Add to list
18 Lesons
25 minutes
On-Demand
Free-Video
Linux Foundation

Using FOSS as Part of a System Safety Mechanism

0 rewiews
Explore the integration of Free and Open Source Software (FOSS) in system safety mechanisms, addressing challenges and discussing practical implementation strategies.
Add to list
15 Lesons
30 minutes
On-Demand
Free-Video
Linux Foundation

Debating Linux in Aerospace - Objections and Paths Forward

0 rewiews
Explore the potential of open-source software in aerospace, addressing objections and proposing solutions for adopting Linux in safety-critical flight systems.
Add to list
1 Lesons
27 minutes
On-Demand
Free-Video
Linux Foundation

wolfBoot - Open Source Secure Boot and Remote Firmware Updates in Safety-critical Embedded Systems

0 rewiews
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.
Add to list
1 Lesons
42 minutes
On-Demand
Free-Video
Linux Foundation

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

0 rewiews
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.
Add to list
1 Lesons
46 minutes
On-Demand
Free-Video
Linux Foundation

Open Source Projects in Safety Critical Applications

0 rewiews
Explore open source projects in safety-critical applications with industry experts, discussing challenges, best practices, and future trends in this critical domain.
Add to list
1 Lesons
40 minutes
On-Demand
Free-Video
Linux Foundation

Open Source Summit and Embedded Linux Conference Keynotes - Day 3

0 rewiews
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.
Add to list
7 Lesons
1 hour 47 minutes
On-Demand
Free-Video
Devoxx Poland

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

0 rewiews
Explore techniques for ensuring safety in critical systems, including fail-safety, multi-CPU usage, task separation, communication safety, documentation practices, and programming language considerations.
Add to list
1 Lesons
48 minutes
On-Demand
Free-Video
Rust

Rust in Safety and Mission-Critical Environments

0 rewiews
Explore Rust's potential in safety- and mission-critical environments, focusing on specification needs, trust levels, and the language's unique strengths.
Add to list
14 Lesons
16 minutes
On-Demand
Free-Video
Linux Foundation

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

0 rewiews
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.
Add to list
21 Lesons
24 minutes
On-Demand
Free-Video
Linux Foundation

Enhancing FIDO2 Security for Safety-Critical Applications: Best Practices and Considerations

0 rewiews
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.
Add to list
1 Lesons
23 minutes
On-Demand
Free-Video
Linux Foundation

Object Lifetime Issues in Linux Kernel - Safety Implications and Solutions

0 rewiews
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.
Add to list
1 Lesons
41 minutes
On-Demand
Free-Video
Linux Foundation

WebAssembly in Real-Time, Safety-Critical Systems - Keynote

0 rewiews
Explore WebAssembly's potential in real-time, safety-critical systems for industrial automation and automotive domains, discussing opportunities and challenges in resource-constrained environments.
Add to list
1 Lesons
20 minutes
On-Demand
Free-Video
ACCU Conference

Testing C++ Templates: Investigating Tests for C++ Templates Using Adversarial Methods

0 rewiews
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.
Add to list
1 Lesons
1 hour 18 minutes
On-Demand
Free-Video
ACCU Conference

Safer C++ with MISRA-C++-2023

0 rewiews
Explore MISRA-C++:2023 guidelines for safer, higher-quality C++ programming in critical systems. Learn key rules, modern C++ design, and strategies for adhering to seemingly challenging guidelines.
Add to list
1 Lesons
1 hour 27 minutes
On-Demand
Free-Video
Linux Foundation

Safety and Open Source Software: Evolution and Future Directions

0 rewiews
Explore the evolution and future of safety in open source software, focusing on challenges, best practices, and the ELISA Project for safety-critical systems.
Add to list
1 Lesons
42 minutes
On-Demand
Free-Video
Linux Foundation

Formal Verification of Embedded Linux Systems Using Trace-Based Models

0 rewiews
Explore trace-based models for formal verification of embedded Linux systems, focusing on safety-critical aspects, real-time properties, and system instrumentation techniques.
Add to list
18 Lesons
38 minutes
On-Demand
Free-Video
Linux Foundation

Mentorship Session: Software Engineering and Functional Safety in Automotive Industry

0 rewiews
Explore software engineering fundamentals, quality metrics, and their application in creating functionally safe systems, with a focus on automotive industry standards and practices.
Add to list
31 Lesons
59 minutes
On-Demand
Free-Video
Linux Foundation

Reproducible Multi Element System Composition with Linux, Xen and Zephyr

0 rewiews
Explore system architectures for safety-critical systems using Linux, Xen, and Zephyr. Learn about reproducible prototyping, documentation, and collaboration in open-source projects for complex systems.
Add to list
1 Lesons
43 minutes
On-Demand
Free-Video
Linux Foundation

Coding Guidelines: To Comply or Not Comply - Myth Busting

0 rewiews
Explore coding guidelines for safety-critical applications, focusing on MISRA rules. Learn when to comply, when to deviate, and how to apply lessons to other languages.
Add to list
1 Lesons
44 minutes
On-Demand
Free-Video
Linux Foundation

RT Linux in Safety Critical Systems - The Potential and Challenges

0 rewiews
Explore the potential and challenges of implementing Real-Time Linux in safety-critical systems, with insights from industry experts on cutting-edge applications and best practices.
Add to list
1 Lesons
1 hour 8 minutes
On-Demand
Free-Video
Linux Foundation

Panel Discussion - Enabling Linux in Safety Applications

0 rewiews
Explore the integration of Linux in safety-critical applications with industry experts, discussing challenges, opportunities, and best practices for secure and reliable implementations.
Add to list
1 Lesons
44 minutes
On-Demand
Free-Video
Linux Foundation

Xen in Safety-Critical Systems

0 rewiews
Explore Xen's role in safety-critical systems, examining its implementation, benefits, and challenges in high-stakes environments like automotive and aerospace industries.
Add to list
1 Lesons
35 minutes
On-Demand
Free-Video
Linux Foundation

Deploying Linux in Safety Critical Applications - Three Key Challenges

0 rewiews
Explore key challenges in deploying Linux for safety-critical applications, including conformance, integrity, and integration. Learn mitigation strategies and best practices for secure implementation.
Add to list
14 Lesons
38 minutes
On-Demand
Free-Video
Linux Foundation

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

0 rewiews
Explores applying DevOps principles to cyber-physical safety-critical systems in highly regulated environments, addressing challenges and approaches for ensuring traceability, reliability, and safety.
Add to list
1 Lesons
42 minutes
On-Demand
Free-Video
Linux Foundation

Realtime, Safety, and Mainline Linux - Future Directions Panel Discussion

0 rewiews
Explore real-time safety in Linux through expert panel discussion, covering strategies, standards, certification, and hardware considerations for critical systems.
Add to list
14 Lesons
31 minutes
On-Demand
Free-Video
Linux Foundation

Is Linux Kernel Development Suitable for Safety-Critical Systems? - Progress and Methods

0 rewiews
Explore Linux kernel development for safety-critical systems, examining methods to assess and improve its suitability for use in autonomous driving and other high-stakes applications.
Add to list
20 Lesons
41 minutes
On-Demand
Free-Video
Linux Foundation

Elements Towards Functional Safety Use Cases with Linux in Automotive

0 rewiews
Explore Linux's role in automotive functional safety, focusing on warning signs in instrument clusters as a starting point for more complex safety-critical applications.
Add to list
14 Lesons
36 minutes
On-Demand
Free-Video
Linux Foundation

How ELISA Is Helping Use Linux in Safety-Critical Systems

0 rewiews
Explore how the ELISA Project facilitates Linux adoption in safety-critical systems, enhancing reliability and security for critical applications across industries.
Add to list
1 Lesons
15 minutes
On-Demand
Free-Video
Linux Foundation

Enabling Linux in Safety-Critical Applications - ELISA Project Overview

0 rewiews
Explore ELISA project's efforts to enable Linux in safety-critical systems, covering goals, strategies, work groups, and challenges in automotive, medical, and industrial IoT applications.
Add to list
1 Lesons
42 minutes
On-Demand
Free-Video
Linux Foundation

Hypervisor-less Virtio for Real-time and Safety in Intelligent Edge Devices

0 rewiews
Explore hypervisor-less virtio for real-time and safety applications in embedded systems, focusing on intelligent edge devices, multicore SoCs, and Linux integration for IoT convergence.
Add to list
17 Lesons
37 minutes
On-Demand
Free-Video
Linux Foundation

Functional Safety Basics for Open Source Software Developers

0 rewiews
Learn essential functional safety principles for open-source software development, focusing on risk assessment, safety requirements, and industry standards to enhance software reliability and safety.
Add to list
1 Lesons
53 minutes
On-Demand
Free-Video
Linux Foundation

Display Sharing in Heterogeneous Systems Using Linux as High Level Operating System

0 rewiews
Explore display sharing in heterogeneous systems, focusing on Linux as a high-level OS. Learn about resource partitioning, safety considerations, and driver implementation for seamless integration.
Add to list
1 Lesons
42 minutes
On-Demand
Free-Video
Linux Foundation

Real-Time Linux: What Is Next?

0 rewiews
Panel discussion on the future of real-time Linux kernel, exploring its current state, ongoing developments, and potential applications in safety-critical systems.
Add to list
1 Lesons
47 minutes
On-Demand
Free-Video
Black Hat

Cybersecurity Risk Assessment for Safety-Critical Systems

2 rewiews
Explore cybersecurity threats to space systems, motivations behind attacks, and essential perspectives for securing these critical infrastructures.
Add to list
8 Lesons
26 minutes
On-Demand
Free-Video
Linux Foundation

Hypervisor-less Virtio for Real-time and Safety

0 rewiews
Explore hypervisor-less Virtio for integrating real-time and safety workloads with Linux on edge devices, focusing on architecture, performance, and use cases.
Add to list
15 Lesons
22 minutes
On-Demand
Free-Video
Linux Foundation

Collaborate on Linux for Use in Safety-Critical Systems

0 rewiews
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.
Add to list
23 Lesons
52 minutes
On-Demand
Free-Video
USENIX

Applicable and Achievable Formal Verification

0 rewiews
Introductory overview of formal verification techniques in industry, focusing on safety-critical systems. Explores tools, applications, and adaptability to existing infrastructures.
Add to list
19 Lesons
33 minutes
On-Demand
Free-Video
Devoxx

When Human Life Depends on Software - Introduction to Safety-Critical Systems

0 rewiews
Explore safety-critical systems development, regulations, and real-world consequences of software errors in high-stakes environments like aerospace and medical equipment.
Add to list
1 Lesons
45 minutes
On-Demand
Free-Video
NDC Conferences

Safety and Security - The Future of C and C++

0 rewiews
Explore the future of C/C++ in safety-critical and security-critical software development, discussing requirements, approaches, and implications for these programming languages.
Add to list
1 Lesons
57 minutes
On-Demand
Free-Video
code::dive conference

Trusting Your Raspberry Pi - An Introduction to the TPM and IoT

0 rewiews
Explore TPM and IoT security using Raspberry Pi. Learn about trusted computing, chain of trust, and mitigating firmware attacks for building secure IoT systems.
Add to list
34 Lesons
55 minutes
On-Demand
Free-Video
PyCon US

Testing Spacecraft with Pytest

0 rewiews
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.
Add to list
20 Lesons
30 minutes
On-Demand
Free-Video
Linux Plumbers Conference

Safety Critical Software - Would You Let Linux Drive Your Car

0 rewiews
Exploring Linux's potential in safety-critical systems, discussing reliability, traditional approaches, and the challenges of using open-source software in life-dependent applications.
Add to list
1 Lesons
1 hour 3 minutes
On-Demand
Free-Video
Eclipse Foundation

Ferrocene - Qualifying the Rust Compiler Using a Fully Open Source Tool Stack

0 rewiews
Discover how to qualify the Rust compiler through Ferrocene's open source tooling, exploring key qualification processes and implementation strategies for safety-critical systems.
Add to list
1 Lesons
26 minutes
On-Demand
Free-Video
Linux Plumbers Conference

BASIL - The FuSa Spice to Spot Gaps in Kernel Testing and More

0 rewiews
Discover how BASIL enhances kernel testing, identifies gaps, and improves functional safety in Linux systems. Learn innovative techniques for robust software development.
Add to list
1 Lesons
25 minutes
On-Demand
Free-Video
Linux Plumbers Conference

BASIL - The FuSa Spice to Spot Gaps in Kernel Testing and More

0 rewiews
Explore BASIL, a tool for identifying gaps in kernel testing and enhancing functional safety in Linux systems.
Add to list
1 Lesons
27 minutes
On-Demand
Free-Video
ACM SIGPLAN

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

0 rewiews
Explore Pipit, a reactive language embedded in F★ for verifying and executing control systems. Learn about its verified translation and automatic safety property proofs.
Add to list
1 Lesons
18 minutes
On-Demand
Free-Video
Conf42

Nuclear Rust - Introducing Rust in Nuclear Software Industry

0 rewiews
Explore Rust's application in nuclear software, focusing on safety, digital twins, and lessons from implementing Rust in reactor simulations.
Add to list
17 Lesons
26 minutes
On-Demand
Free-Video
ANITI Toulouse

Towards AI-Based Applications Certification

0 rewiews
Explore AI-based application certification, focusing on key aspects and challenges in ensuring reliability and safety of AI systems.
Add to list
1 Lesons
28 minutes
On-Demand
Free-Video
Linux Foundation

Application of the Upcoming SPDX Safety Profile

0 rewiews
Explore the SPDX Safety Profile for managing safety-critical projects, enhancing traceability, and maintaining documentation consistency across various tools and lifecycles.
Add to list
1 Lesons
26 minutes
On-Demand
Free-Video
Platform Engineering

Improving Developer Velocity in Safety Critical Applications

0 rewiews
Maximize developer velocity while meeting quality and safety standards for autonomous truck control. Learn Aurora's strategies for efficient code changes and quality assurance.
Add to list
1 Lesons
15 minutes
On-Demand
Free-Video
Neuro Symbolic

Spatio-Temporal Perception Logic for Verification of Perceptual Systems - Part 1

0 rewiews
Explore spatio-temporal perception logic for verifying perceptual systems in autonomous vehicles and other safety-critical applications.
Add to list
4 Lesons
13 minutes
On-Demand
Free-Video
Linux Foundation

Bridging the Gap - Linux in Safety Critical Systems

0 rewiews
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.
Add to list
16 Lesons
50 minutes
On-Demand
Free-Video
GOTO Conferences

Securing IoT Connected Device Applications

0 rewiews
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.
Add to list
1 Lesons
52 minutes
On-Demand
Free-Video
NDC Conferences

Theory Makes Beautiful Programs

0 rewiews
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.
Add to list
1 Lesons
59 minutes
On-Demand
Free-Video
NDC Conferences

Safety-Critical Systems from the Inside - NDC Oslo 2020

0 rewiews
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.
Add to list
29 Lesons
58 minutes
On-Demand
Free-Video
Linux Foundation

Real-Time Scheduling Fault Simulation and Testing in Linux Systems

0 rewiews
Explore fault simulation techniques for Linux real-time scheduling, covering methods for testing system responses to jitter, deadline misses, and error handling in safety-critical applications.
Add to list
1 Lesons
39 minutes
On-Demand
Free-Video
Data Science Conference

Implementing AI in Critical Systems

0 rewiews
Discover essential strategies and considerations for implementing artificial intelligence solutions in mission-critical systems, focusing on practical applications and risk management.
Add to list
1 Lesons
44 minutes
On-Demand
Free-Video
ACM SIGPLAN

Trustworthy Runtime Verification via Bisimulation - Experience Report

0 rewiews
Explore trustworthy runtime verification using bisimulation in the Copilot framework. Learn how CopilotVerifier generates correctness proofs for compiled monitors, enhancing safety-critical system assurance.
Add to list
1 Lesons
30 minutes
On-Demand
Free-Video
Toronto Machine Learning Series (TMLS)

Machine Learning for Space Exploration

0 rewiews
Explore AI's role in revolutionizing space exploration, from autonomous robots to planetary science, and learn about challenges and applications in safety-critical systems.
Add to list
1 Lesons
32 minutes
On-Demand
Free-Video
CppCon

The Absurdity of Error Handling: Finding a Purpose for Errors in Safety-Critical SYCL

0 rewiews
Explore error handling challenges in safety-critical SYCL, examining the concept of safety and rethinking error scenarios in C++ software development for critical systems.
Add to list
1 Lesons
32 minutes
On-Demand
Free-Video
Linux Foundation

Measuring Code Coverage of the Linux Kernel in Accordance with RTCA DO-178C

0 rewiews
Explore Boeing's approach to measuring Linux kernel code coverage for safety-critical avionics, focusing on RTCA DO-178C requirements and the enhancement of LLVM coverage tools.
Add to list
1 Lesons
31 minutes
On-Demand
Free-Video
CppCon

Parallelism Safety-Critical Guidelines for C++

0 rewiews
Explore parallelism safety guidelines for C++, covering challenges in multicore architectures and potential issues with newer features. Gain insights into future rules for safety-critical software development.
Add to list
1 Lesons
1 hour 1 minute
On-Demand
Free-Video
ACCU Conference

A Tour Through Ferrocene Development

0 rewiews
Explore Ferrocene, an open-source Rust compiler variant designed for safety-critical systems in automotive and aviation, focusing on its documentation, correctness principles, and implementation approach.
Add to list
1 Lesons
1 hour 25 minutes
On-Demand
Free-Video
Meeting Cpp

Dealing with Static Analysis Findings: MISRA - Lecture

0 rewiews
Learn to handle static analysis findings, focusing on MISRA C++ violations. Explore strategies for addressing feedback, documenting deviations, and improving code quality in safety-critical systems.
Add to list
1 Lesons
1 hour 2 minutes
On-Demand
Free-Video
Eclipse Foundation

Eclipse ThreadX: A Star is Reborn - OCX 2024

0 rewiews
Discover the Eclipse ThreadX real-time operating system, its safety certifications, and comprehensive features for embedded development including SMP, filesystems, networking, and USB protocols.
Add to list
1 Lesons
38 minutes
On-Demand
Free-Video