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:
- a theoretically sound real-time scheduling latency measurement tool☆33Updated 3 years ago
- POK kernel. Safe and secure for safety-critical systems.☆104Updated last month
- ☆12Updated 2 weeks ago
- Data race detector for Linux kernel modules☆30Updated 7 years ago
- This code base contains a linux emulator for the ARINC-653 operating system services☆19Updated 5 years ago
- Avionics Full-Duplex Switched Ethernet model for OMNeT++☆14Updated 7 years ago
- Mirror only see https://gitlab.rtems.org/rtems/pkg/rtems-libbsd☆35Updated last week
- Mirror only see https://gitlab.rtems.org/rtems/tools/rtems-tools☆34Updated this week
- Tutorials for working with seL4 and/or CAmkES.☆56Updated this week
- The Realtime Linux tree☆46Updated 7 years ago
- Kernel tree for ACRN☆97Updated 4 months ago
- PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS☆13Updated 2 years ago
- FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.☆46Updated 6 years ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆55Updated last month
- DRAM Bank-Aware Kernel Memory Allocator☆42Updated 6 months ago
- Real-Time Operating System (RTOS) for Texas Instruments AM335X Sitara Cortex-A8 (ARMv7-A) single-core SoCs (BeagleBone, BeagleBone Black …☆17Updated last year
- Mirror only see https://gitlab.rtems.org/rtems/tools/rtems-source-builder☆40Updated this week
- The main L4Re manifest to checkout the L4Re operating system.☆20Updated this week
- Automatically generated litmus tests for validation LISA-language Linux-kernel memory models☆24Updated 2 months ago
- Jailhouse demonstration and testing images☆62Updated last year
- AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL☆70Updated 3 years ago
- A test case for VFIO_PLATFORM currently based on the PL330 DMA controller. The effort on VFIO_PLATFORM has been partially funded by the S…☆13Updated 2 years ago
- Prototype no-assurance reference OS personality built on seL4☆50Updated 4 months ago
- Basic tools for building seL4 projects☆48Updated last week
- Memory Bandwidth Reservation System for Efficient Performance Isolation in Multi-core Processors☆53Updated this week
- Test suite for seL4.☆28Updated this week
- ☆17Updated last week
- rt-app emulates typical mobile and real-time systems use cases and gives runtime information☆132Updated 3 months ago
- utility for debugging Linux UIO ("Userspace I/O") devices☆13Updated 11 years ago
- ☆8Updated this week