LVPGroup / arinc653model
A complete Event-B specification of partitioning operating systems compliant with ARINC 653 (Part 1, Version 3)
☆9Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for arinc653model
- ☆12Updated this week
- Real-Time Operating System (RTOS) for Texas Instruments AM335X Sitara Cortex-A8 (ARMv7-A) single-core SoCs (BeagleBone, BeagleBone Black …☆18Updated last year
- Test suite for seL4.☆25Updated 3 months ago
- This code base contains a linux emulator for the ARINC-653 operating system services☆16Updated 5 years ago
- The Realtime Linux tree☆44Updated 6 years ago
- Data race detector for Linux kernel modules☆28Updated 7 years ago
- Mirror only see https://gitlab.rtems.org/rtems/pkg/rtems-libbsd☆31Updated this week
- Linux Features for Safety-Critical Systems (LFSCS) to support ELISA charter to define and maintain a common set of elements, processes an…☆9Updated last week
- Basic tools for building seL4 projects☆43Updated 3 months ago
- The main L4Re manifest to checkout the L4Re operating system.☆19Updated 2 months ago
- ☆13Updated 6 months ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆52Updated this week
- a theoretically sound real-time scheduling latency measurement tool☆32Updated 3 years ago
- The Open-Source Engineering Process WG examines how software engineering processes can be used to facilitate the certification of safety-…☆11Updated this week
- Mirror only see https://gitlab.rtems.org/rtems/tools/rtems-tools☆32Updated last week
- Unit test for ACRN, including unit test cases for hypervisor and device model.☆11Updated 2 years ago
- PRTOS Hypervisor is a lightweight, open-source embedded hypervisor☆36Updated last month
- POK kernel. Safe and secure for safety-critical systems.☆94Updated last month
- DRAM Bank-Aware Kernel Memory Allocator☆42Updated 6 months ago
- ☆16Updated 4 months ago
- sel4 benchmarking applications and support library.☆18Updated 4 months ago
- Programs that test various rt-linux features☆29Updated 13 years ago
- The Schedulability Test Collection And Toolkit☆38Updated 4 years ago
- Repository to store the code developed in the context of the Safety Architecture WG☆16Updated 2 weeks ago
- Jailhouse hypervisor for Nvidia Jetson TX1 and TX2☆29Updated 6 years ago
- UEFI, on Loongson.☆13Updated 8 years ago
- An ARINC653 kernel simulator implementing ARINC653's Communication and the Time and Space Partitioning concept (TSP)☆17Updated 7 years ago
- AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL☆66Updated 2 years ago
- Tutorials for working with seL4 and/or CAmkES.☆52Updated last month
- Implementation of PCI drivers, kprobe, sysfs, devfs, sensor driver, miscdevices, synchronization☆54Updated 7 years ago