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.
☆12Updated 2 weeks ago
Alternatives and similar repositories for wg-osep:
Users that are interested in wg-osep are comparing it to the libraries listed below
- Repository to store the code developed in the context of the Safety Architecture WG☆17Updated 4 months ago
- A small C runtime for bare-metal VMs on the Gunyah Hypervisor.☆12Updated last year
- ☆21Updated last week
- OpenEmbedded/Yocto Layer for Arm☆18Updated last week
- VS Code workspace template for app and image developers☆14Updated this week
- Linux Features for Safety-Critical Systems (LFSCS) to support ELISA charter to define and maintain a common set of elements, processes an…☆9Updated 2 weeks ago
- ☆15Updated 11 months ago
- a theoretically sound real-time scheduling latency measurement tool☆33Updated 3 years ago
- ☆38Updated this week
- Hypervisor for Automotive Control Systems☆9Updated 2 months ago
- Wind River Linux Setup -- Distribution Build Project Assembler☆12Updated 5 years ago
- Arm SystemReady : BSA Architecture Compliance Suite☆24Updated this week
- Franca to ARA interface integration and demo code☆26Updated 5 years ago
- A Root VM supporting virtualization with the Gunyah Hypervisor.☆19Updated 5 months ago
- The RV BRS test suite checks for compliance against the RVI Boot and Runtime Service specification.☆10Updated 8 months ago
- Automotive Linux BSP for NXP S32 Release Yocto Project manifests☆39Updated 3 months ago
- Layer to integrate the ACRN hypervisor with the Yocto Project.☆24Updated 4 months ago
- Jailhouse demonstration and testing images☆59Updated last year
- Code examples for EB GUIDE☆11Updated 3 years ago
- A low-level transport Linux kernel module for bulk low-latency data transfers between two SoCs over PCIe NTB☆17Updated last year
- Unit test for ACRN, including unit test cases for hypervisor and device model.☆12Updated 2 years ago
- End-to-end system reference material showcasing all the different aspects of OpenAMP, on multiple vendor platforms.☆16Updated 3 weeks ago
- Real-Time Priority Inheritance C Library Wrapper☆23Updated 2 years ago
- ☆14Updated last month
- ARM Enterprise: SBSA Architecture Compliance Suite☆91Updated this week
- List recipes from BitBake's task-depends.dot and the dependencies between these recipes☆23Updated 3 years ago
- A complete Event-B specification of partitioning operating systems compliant with ARINC 653 (Part 1, Version 3)☆9Updated 8 years ago
- Eclipse Leda - Self Update Agent (SUA)☆13Updated last year
- The main L4Re manifest to checkout the L4Re operating system.☆20Updated 2 weeks ago
- A proof-of-concept Gen-Z subsystem for Linux written against the Gen-Z Fabric Emulation Environment.☆11Updated 5 years ago