LVPGroup / arinc653modelLinks
A complete Event-B specification of partitioning operating systems compliant with ARINC 653 (Part 1, Version 3)
☆9Updated 8 years ago
Alternatives and similar repositories for arinc653model
Users that are interested in arinc653model are comparing it to the libraries listed below
Sorting:
- ☆12Updated last month
- Data race detector for Linux kernel modules☆30Updated 8 years ago
- a theoretically sound real-time scheduling latency measurement tool☆33Updated 3 years ago
- This code base contains a linux emulator for the ARINC-653 operating system services☆20Updated 6 years ago
- POK kernel. Safe and secure for safety-critical systems.☆104Updated 2 months ago
- DRAM Bank-Aware Kernel Memory Allocator☆42Updated 7 months ago
- Jailhouse demonstration and testing images☆62Updated last year
- ☆17Updated last year
- Babeltrace /ˈbæbəltreɪs/ is an open-source trace manipulation toolkit.☆104Updated 3 weeks ago
- This project intends to develop tools around AFDX. (Avionics Full Duplex Switched Ethernet).☆10Updated 14 years ago
- Memory Bandwidth Reservation System for Efficient Performance Isolation in Multi-core Processors☆53Updated 2 weeks ago
- Mirror only see https://gitlab.rtems.org/rtems/tools/rtems-tools☆34Updated this week
- rt-app emulates typical mobile and real-time systems use cases and gives runtime information☆133Updated 2 weeks ago
- Avionics Full-Duplex Switched Ethernet model for OMNeT++☆14Updated 7 years ago
- Automatically generated litmus tests for validation LISA-language Linux-kernel memory models☆24Updated this week
- Mirror of gitlab.com/qemu-project/u-boot.git☆64Updated 3 weeks ago
- ☆17Updated last month
- 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
- AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL☆70Updated 3 years ago
- This repo is a mirror of the official lttng-modules git found at git://git.lttng.org/lttng-modules.git. The LTTng modules provide Linux k…☆94Updated last month
- Collection of Linux tools for achieving real-time performance☆33Updated 2 years ago
- Creates a file system / storage test appliance which can be run using KVM, GCE, and Android☆72Updated 2 weeks ago
- Real-Time Operating System (RTOS) for Texas Instruments AM335X Sitara Cortex-A8 (ARMv7-A) single-core SoCs (BeagleBone, BeagleBone Black …☆17Updated 2 years ago
- Kernel tree for ACRN☆97Updated 5 months ago
- The Open-Source Engineering Process WG examines how software engineering processes can be used to facilitate the certification of safety-…☆12Updated 2 months ago
- The Realtime Linux tree☆47Updated 7 years ago
- Test suite for seL4.☆28Updated 2 weeks ago
- Core KernelCI tools☆112Updated this week
- XtratuM Mirror☆17Updated 8 years ago
- Mirror only see https://gitlab.rtems.org/rtems/pkg/rtems-libbsd☆35Updated last week