elisa-tech / wg-lfscs
Linux Features for Safety-Critical Systems (LFSCS) to support ELISA charter to define and maintain a common set of elements, processes and tools that can be incorporated into Linux-based, safety-critical systems amenable to safety certification.
☆9Updated 2 weeks ago
Alternatives and similar repositories for wg-lfscs:
Users that are interested in wg-lfscs are comparing it to the libraries listed below
- a theoretically sound real-time scheduling latency measurement tool☆33Updated 3 years ago
- ☆15Updated 11 months ago
- Collection of Linux tools for achieving real-time performance☆33Updated last year
- Core KernelCI tools☆113Updated this week
- Jailhouse demonstration and testing images☆59Updated last year
- LTZVisor: a Lightweight TrustZone-assisted Hypervisor☆80Updated 6 years ago
- rt-app emulates typical mobile and real-time systems use cases and gives runtime information☆127Updated last week
- OpenEmbedded/Yocto Layer for Arm☆18Updated this week
- Real-Time Priority Inheritance C Library Wrapper☆23Updated 2 years ago
- Repository to store the code developed in the context of the Safety Architecture WG☆17Updated 4 months ago
- Kernel coredump file access☆26Updated 3 months ago
- jitterdebugger - real time response messaurement tool☆30Updated 9 months ago
- A proof-of-concept Gen-Z subsystem for Linux written against the Gen-Z Fabric Emulation Environment.☆11Updated 5 years ago
- Kernel tree for ACRN☆96Updated last month
- UADK (User space Accelerator Development Kit), is a user space framework for using accelerators. Active branch is 'master'.☆46Updated 2 months ago
- ☆38Updated this week
- The main L4Re manifest to checkout the L4Re operating system.☆20Updated 2 weeks ago
- Random test code☆18Updated 7 months ago
- Unit test for ACRN, including unit test cases for hypervisor and device model.☆12Updated 2 years ago
- FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.☆46Updated 5 years ago
- A complete Event-B specification of partitioning operating systems compliant with ARINC 653 (Part 1, Version 3)☆9Updated 8 years ago
- Linux Kernel Performance tests☆88Updated 2 years ago
- Yocto layer with support for performance analysis tools: BPF, bcc, bpftrace☆15Updated 2 years ago
- Make Linux crash dump small by filtering and compressing pages☆51Updated last month
- The Open-Source Engineering Process WG examines how software engineering processes can be used to facilitate the certification of safety-…☆12Updated 2 weeks ago
- OASIS Virtual I/O Device TC: Source code for the VIRTIO (Virtual I/O) Specification maintained by the OASIS Virtual I/O Device (VIRTIO) T…☆259Updated 3 weeks ago
- Hypervisor for Automotive Control Systems☆9Updated 2 months ago
- Layer to integrate the ACRN hypervisor with the Yocto Project.☆24Updated 4 months ago
- ☆14Updated 3 weeks ago
- The cyclictest latency benchmark, modified to run on LITMUS^RT.☆34Updated 11 years ago