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
- VS Code workspace template for app and image developers☆11Updated this week
- A small C runtime for bare-metal VMs on the Gunyah Hypervisor.☆11Updated 10 months ago
- A Root VM supporting virtualization with the Gunyah Hypervisor.☆16Updated 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 3 weeks ago
- ☆12Updated 6 months ago
- ☆18Updated last week
- Repository to store the code developed in the context of the Safety Architecture WG☆15Updated last week
- Code examples for EB GUIDE☆11Updated 2 years ago
- ☆33Updated last week
- OverC + cubes distribution layer☆14Updated 2 years ago
- Unit test for ACRN, including unit test cases for hypervisor and device model.☆10Updated 2 years ago
- a theoretically sound real-time scheduling latency measurement tool☆32Updated 3 years ago
- Hypervisor for Automotive Control Systems☆9Updated 2 months ago
- Wind River Linux Setup -- Distribution Build Project Assembler☆12Updated 5 years ago
- This repository contains the device driver for the TIER IV Automotive HDR Cameras☆12Updated 3 weeks ago
- A complete Event-B specification of partitioning operating systems compliant with ARINC 653 (Part 1, Version 3)☆9Updated 7 years ago
- Virtual machine monitor for L4Re☆28Updated last week
- Public tracking Clark Williams' rt-tests suite☆59Updated 8 months ago
- The cyclictest latency benchmark, modified to run on LITMUS^RT.☆34Updated 11 years ago
- Collection of Linux tools for achieving real-time performance☆32Updated last year
- List recipes from BitBake's task-depends.dot and the dependencies between these recipes☆15Updated 2 years ago
- Automotive Linux BSP for NXP S32 Release Yocto Project manifests☆34Updated last month
- Kernel coredump file access☆23Updated last month
- ☆21Updated 2 weeks ago
- Yocto/OE metadata for the external sourcery g++ toolchain☆25Updated 11 months ago
- ☆61Updated last year
- A real time traffic simulation.☆36Updated last month
- End-to-end system reference material showcasing all the different aspects of OpenAMP, on multiple vendor platforms.☆16Updated 2 weeks ago
- A proof-of-concept Gen-Z subsystem for Linux written against the Gen-Z Fabric Emulation Environment.☆11Updated 5 years ago
- ☆14Updated last week