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:
- POK kernel. Safe and secure for safety-critical systems.☆102Updated last month
- Real-Time Operating System (RTOS) for Texas Instruments AM335X Sitara Cortex-A8 (ARMv7-A) single-core SoCs (BeagleBone, BeagleBone Black …☆17Updated last year
- This code base contains a linux emulator for the ARINC-653 operating system services☆19Updated 5 years ago
- ☆17Updated last year
- a theoretically sound real-time scheduling latency measurement tool☆33Updated 3 years ago
- FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.☆46Updated 6 years ago
- Automatically generated litmus tests for validation LISA-language Linux-kernel memory models☆24Updated last month
- An ARINC653 kernel simulator implementing ARINC653's Communication and the Time and Space Partitioning concept (TSP)☆18Updated 8 years ago
- AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL☆70Updated 3 years ago
- The main L4Re manifest to checkout the L4Re operating system.☆20Updated last week
- Data race detector for Linux kernel modules☆30Updated 7 years ago
- Basic tools for building seL4 projects☆48Updated 3 weeks ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆55Updated 3 weeks ago
- The Open-Source Engineering Process WG examines how software engineering processes can be used to facilitate the certification of safety-…☆12Updated last month
- Repository to store the code developed in the context of the Safety Architecture WG☆18Updated 7 months ago
- FreeRTOS for Jailhouse Cells☆51Updated 2 years ago
- Test suite for seL4.☆28Updated 3 weeks ago
- LTZVisor: a Lightweight TrustZone-assisted Hypervisor☆80Updated 7 years ago
- Kernel for RapidIO☆35Updated 5 years ago
- Prototype no-assurance reference OS personality built on seL4☆50Updated 3 months ago
- Mirror only see https://gitlab.rtems.org/rtems/pkg/rtems-libbsd☆34Updated last week
- XtratuM Mirror☆16Updated 8 years ago
- Unit test for ACRN, including unit test cases for hypervisor and device model.☆12Updated 2 years ago
- A lightweight para-virtualization layer to provide real-time environments for Linux/ARM.☆46Updated 10 years ago
- Linux Features for Safety-Critical Systems (LFSCS) to support ELISA charter to define and maintain a common set of elements, processes an…☆9Updated last month
- An experimental virtual machine monitor for the seL4 microkernel☆40Updated 2 weeks ago
- Kernel tree for ACRN☆97Updated 4 months ago
- The project contains some libraries, which are the examples used by the blogs of "www.wowotech.net"☆55Updated 4 years ago
- DRAM Bank-Aware Kernel Memory Allocator☆42Updated 5 months ago
- The Realtime Linux tree☆46Updated 7 years ago