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 3 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 3 months ago
- ☆20Updated last week
- a theoretically sound real-time scheduling latency measurement tool☆33Updated 3 years ago
- A small C runtime for bare-metal VMs on the Gunyah Hypervisor.☆11Updated last year
- VS Code workspace template for app and image developers☆12Updated this week
- A complete Event-B specification of partitioning operating systems compliant with ARINC 653 (Part 1, Version 3)☆9Updated 8 years ago
- ☆14Updated 9 months ago
- Luxoft Automotive HMI Safe Renderer☆26Updated 4 years ago
- Franca to ARA interface integration and demo code☆26Updated 5 years ago
- elos -- event logging and management with normalized output-format for Linux☆18Updated last week
- A Root VM supporting virtualization with the Gunyah Hypervisor.☆18Updated 3 months ago
- Hypervisor for Automotive Control Systems☆9Updated last month
- Code examples for EB GUIDE☆11Updated 3 years ago
- Collection of scripts to analyse the Linux kernel☆10Updated 5 years ago
- Layer to integrate the ACRN hypervisor with the Yocto Project.☆23Updated 3 months ago
- List recipes from BitBake's task-depends.dot and the dependencies between these recipes☆20Updated 2 years ago
- arm-trusted-firmware☆25Updated this week
- Automotive Linux BSP for NXP S32 Release Yocto Project manifests☆38Updated 2 months ago
- Open-source implementation of the IEEE 1722 protocol, for streaming audio/video, tunneling CAN/LIN messages and enabling remote access to…☆27Updated last week
- p3com☆18Updated last year
- Linux Features for Safety-Critical Systems (LFSCS) to support ELISA charter to define and maintain a common set of elements, processes an…☆9Updated this week
- vehicle-app-cpp-sdk☆10Updated this week
- Unit test for ACRN, including unit test cases for hypervisor and device model.☆12Updated 2 years ago
- jitterdebugger - real time response messaurement tool☆30Updated 8 months ago
- FreeRTOS distro layer compatible with OpenEmbedded☆29Updated 2 months ago
- End-to-end system reference material showcasing all the different aspects of OpenAMP, on multiple vendor platforms.☆16Updated 2 months ago
- ☆37Updated this week
- THIS REPOSITORY IS ARCHIVED i.e. please fork the project if you wish to develop it further☆35Updated 3 years ago
- Yoe Distro policy layer☆12Updated 4 years ago
- Renesas BSP u-boot☆24Updated this week