elisa-tech / wg-osepLinks
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.
☆13Updated 5 months ago
Alternatives and similar repositories for wg-osep
Users that are interested in wg-osep are comparing it to the libraries listed below
Sorting:
- Repository to store the code developed in the context of the Safety Architecture WG☆19Updated 11 months ago
- Code examples for EB GUIDE☆11Updated 3 years ago
- elos -- event logging and management with normalized output-format for Linux☆22Updated last month
- A small C runtime for bare-metal VMs on the Gunyah Hypervisor.☆13Updated 3 weeks ago
- Welcome to the FEDERATE Building Block (BB) Repository! This repository contains structured descriptions of Building Blocks (BBs) that a…☆12Updated 3 weeks ago
- End-to-end system reference material showcasing all the different aspects of OpenAMP, on multiple vendor platforms.☆21Updated 2 weeks ago
- ☆16Updated last week
- A Root VM supporting virtualization with the Gunyah Hypervisor.☆23Updated 3 weeks ago
- ☆47Updated this week
- ☆24Updated last month
- spike-vp☆11Updated last year
- ☆15Updated 3 weeks ago
- VS Code workspace template for app and image developers☆15Updated 2 weeks ago
- Unit test for ACRN, including unit test cases for hypervisor and device model.☆12Updated 3 years ago
- ☆11Updated last year
- Veristand C/C++ Model Code Generator☆12Updated 8 years ago
- This is accompanying data for the paper "A Functional Safety Assessment Method for Cooperative Automotive Architecture" - https://arxiv.o…☆12Updated 4 years ago
- Automotive Linux BSP Yocto Layer☆10Updated 3 weeks ago
- A collection of software to connect TAP devices under Linux and Windows to the Vector SIL Kit☆11Updated 2 weeks ago
- Luxoft Automotive HMI Safe Renderer☆28Updated 5 years ago
- a theoretically sound real-time scheduling latency measurement tool☆33Updated 4 years ago
- C++ Uptane Client☆29Updated 3 weeks ago
- ☆14Updated 2 months ago
- Automotive Linux BSP for NXP S32 Release Yocto Project manifests☆40Updated 3 weeks ago
- a tool that collects and reports heap allocated memory☆14Updated 3 weeks ago
- crash extension modules☆21Updated 3 years ago
- Software Instrumentation Dynamically Enabled☆13Updated 2 months ago
- utility for debugging Linux UIO ("Userspace I/O") devices☆13Updated 11 years ago
- Software kit for Qualcomm Cloud AI 100☆18Updated 5 months ago
- A low-level transport Linux kernel module for bulk low-latency data transfers between two SoCs over PCIe NTB☆19Updated 2 years ago