Complete Compliance Toolchain for Yocto Projects - Software Composition Analysis and SBOM Automation
Discover how to implement a comprehensive compliance toolchain for Yocto projects, featuring advanced tools like Fossology, Scancode, SPDX, and specialized solutions for managing large-scale software composition analysis.
Matter and Thread: IoT Connectivity Solutions for Embedded Devices
Explore Matter and Thread protocols for IoT connectivity, covering mesh capabilities, border router implementation, and service discovery for embedded devices running Linux or Zephyr.
KUKSA.val - Standardizing Vehicle Signal Access and Abstraction
Discover how Eclipse KUKSA standardizes vehicle signal processing, enabling efficient data handling and secure access for automotive software development through COVESA Vehicle Signal Specification implementation.
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.
CDT Cloud, Embedded SIG, and Cloud Development Tools Integration with OpenVSX
Discover how CDT Cloud, Embedded SIG, and Cloud Dev Tools integrate to create scalable solutions for embedded systems and high-performance computing environments at Eclipse Foundation.
Open-ISA RISC-V CPU 기반 DSA 개요 및 활용 예시 소개
Discover RISC-V CPU의 차별화된 활용 방안과 DSA 구현 전략을 통해 임베디드 시스템 설계의 새로운 가능성과 ARM 대비 장점을 파악하는 전문가의 통찰력 있는 분석.
Rapid Prototyping with nRF Connect SDK - Building Bluetooth LE Applications - Part 1
Dive into rapid prototyping of Bluetooth LE applications using nRF Connect SDK, covering installation, basic concepts, and hands-on development for IoT devices.
Adding FOTA Over Bluetooth LE with nRF Connect SDK - Part 6
Master wireless firmware updates by implementing FOTA (Firmware Over The Air) capabilities over Bluetooth LE using nRF Connect SDK, enabling secure remote device updates for IoT applications.
Sensors in nRF Connect SDK - Part 2
Dive into sensor integration with nRF Connect SDK, learning file structures, application development, and both real and simulated sensor implementations for IoT projects using Bluetooth LE connectivity.
Storing Data on Non-Volatile Memory with nRF Connect SDK - Part 4
Master non-volatile memory storage techniques in nRF Connect SDK for storing environmental sensor data, using both internal SoC memory and external devices via SPI/QSPI interfaces.
Physical Computing Student Projects Showcase 2019 - ILAS Seminar at Kyoto University
Discover student innovations in Physical Computing through project presentations featuring interactive devices, sensors, and Arduino-based creations from Kyoto University's ILAS seminar.
Common Git Repository for Hosting Boot Firmware
Explore a unified Git repository for boot firmware, enhancing collaboration and streamlining development processes in embedded systems.
Generating BPF Infrared Decoders Using Finite Automations
Generate BPF infrared decoders efficiently using finite automations. Explore advanced techniques for optimizing decoder performance in Linux 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.
Towards Secure MicroPython on Morello - Work in Progress
Explore porting MicroPython to Arm Morello, examining hardware capabilities' impact on embedded runtime security and outlining potential improvements for MicroPython's security.
Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library
Explore safety guarantees in Rust-SPARK language bindings, focusing on the BBQueue circular buffer library. Learn about maintaining compile-time safety across language boundaries in embedded systems.
seL4 and BEAM: Running Erlang Without an OS
Explore running BEAM without an OS, focusing on security and robustness for embedded applications. Learn about seL4 microkernel, formal verification, and BEAM-seL4 integration.
Freestanding Erlang - Porting BEAM Close to the Metal - Code BEAM America 2022
Explore porting BEAM to freestanding environments without OS services, examining tradeoffs and potential applications for embedded systems prioritizing security and robustness.
Prototyping a Remote-Controlled Telescope with Elixir
Explore the process of designing and building a remote-controlled telescope using Elixir and Rust, from initial research to software prototypes and final physical construction.