elisa-tech / wg-osep
The Open-Source Engineering Process WG examines how software engineering processes can be used to facilitate the certification of safety-critical systems incorporating Linux and other FOSS.
☆11Updated this week
Related projects ⓘ
Alternatives and complementary repositories for wg-osep
- Repository to store the code developed in the context of the Safety Architecture WG☆16Updated 2 weeks ago
- VS Code workspace template for app and image developers☆11Updated this week
- ☆18Updated 2 weeks ago
- Linux Features for Safety-Critical Systems (LFSCS) to support ELISA charter to define and maintain a common set of elements, processes an…☆9Updated last week
- OpenEmbedded/Yocto Layer for Arm☆18Updated this week
- ☆12Updated 6 months ago
- Unit test for ACRN, including unit test cases for hypervisor and device model.☆11Updated 2 years ago
- A small C runtime for bare-metal VMs on the Gunyah Hypervisor.☆11Updated 10 months ago
- jitterdebugger - real time response messaurement tool☆29Updated 5 months ago
- a theoretically sound real-time scheduling latency measurement tool☆32Updated 3 years ago
- List recipes from BitBake's task-depends.dot and the dependencies between these recipes☆16Updated 2 years ago
- A Root VM supporting virtualization with the Gunyah Hypervisor.☆16Updated 3 weeks ago
- Hypervisor for Automotive Control Systems☆9Updated 3 months ago
- Layer to integrate the ACRN hypervisor with the Yocto Project.☆22Updated last week
- End-to-end system reference material showcasing all the different aspects of OpenAMP, on multiple vendor platforms.☆16Updated last week
- Collection of scripts to analyse the Linux kernel☆10Updated 5 years ago
- Prebuilt OP-TEE 3.15 Binaries for QEMUv8 and Run x-test☆14Updated 2 years ago
- ☆14Updated last week
- ☆33Updated this week
- Yocto layer with support for performance analysis tools: BPF, bcc, bpftrace☆15Updated 2 years ago
- A complete Event-B specification of partitioning operating systems compliant with ARINC 653 (Part 1, Version 3)☆9Updated 7 years ago
- Arm SystemReady☆54Updated this week
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆18Updated 3 years ago
- OverC + cubes distribution layer☆14Updated 2 years ago
- Virtual machine monitor for L4Re☆28Updated 3 weeks ago
- Clone of libtraceevent from kernel.org☆16Updated this week
- Automotive Linux BSP for NXP S32 Release Yocto Project manifests☆35Updated last month
- ☆11Updated 3 years ago
- DRAM Bank-Aware Kernel Memory Allocator☆42Updated 6 months ago
- Open-source implementation of the IEEE 1722 protocol, for streaming audio/video, tunneling CAN/LIN messages and enabling remote access to…☆24Updated this week