Alternatives and similar repositories for arinc653model:

Users that are interested in arinc653model are comparing it to the libraries listed below

• AdaCore / qemu
  ☆12Updated 3 weeks ago
• RTEMS / rtems-tools
  Mirror only see https://gitlab.rtems.org/rtems/tools/rtems-tools
  ☆33Updated 2 weeks ago
• lfarcaro / ARINC653_ARMV7A_AM335X
  Real-Time Operating System (RTOS) for Texas Instruments AM335X Sitara Cortex-A8 (ARMv7-A) single-core SoCs (BeagleBone, BeagleBone Black …
  ☆18Updated last year
• adubey14 / arinc653emulator
  This code base contains a linux emulator for the ARINC-653 operating system services
  ☆19Updated 5 years ago
• pok-kernel / pok
  POK kernel. Safe and secure for safety-critical systems.
  ☆98Updated this week
• clrkwllms / rt-linux
  The Realtime Linux tree
  ☆45Updated 6 years ago
• kmrov / racehound
  Data race detector for Linux kernel modules
  ☆29Updated 7 years ago
• bristot / rtsl
  a theoretically sound real-time scheduling latency measurement tool
  ☆33Updated 3 years ago
• elisa-tech / wg-osep
  The Open-Source Engineering Process WG examines how software engineering processes can be used to facilitate the certification of safety-…
  ☆12Updated last week
• projectacrn / acrn-unit-test
  Unit test for ACRN, including unit test cases for hypervisor and device model.
  ☆12Updated 2 years ago
• RTEMS / rtems-libbsd
  Mirror only see https://gitlab.rtems.org/rtems/pkg/rtems-libbsd
  ☆34Updated 2 weeks ago
• kernkonzept / manifest
  The main L4Re manifest to checkout the L4Re operating system.
  ☆20Updated 2 weeks ago
• RTEMS / rtems-source-builder
  Mirror only see https://gitlab.rtems.org/rtems/tools/rtems-source-builder
  ☆39Updated last week
• heechul / palloc
  DRAM Bank-Aware Kernel Memory Allocator
  ☆42Updated 2 months ago
• 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 an…
  ☆9Updated 2 weeks ago
• seL4 / sel4test
  Test suite for seL4.
  ☆26Updated 2 weeks ago
• elisa-tech / Safety_Architecture_WG
  Repository to store the code developed in the context of the Safety Architecture WG
  ☆17Updated 4 months ago
• heechul / memguard
  Memory Bandwidth Reservation System for Efficient Performance Isolation in Multi-core Processors
  ☆51Updated 2 months ago
• ARISSIM / ARISS
  An ARINC653 kernel simulator implementing ARINC653's Communication and the Time and Space Partitioning concept (TSP)
  ☆18Updated 8 years ago
• gchamp20 / RTOSBench
  ☆15Updated 10 months ago
• RTEMS / rtems-docs
  Mirror only see https://gitlab.rtems.org/rtems/docs/rtems-docs/
  ☆10Updated 2 weeks ago
• devicetree-org / lopper
  ☆38Updated this week
• TriDis / llvm-tricore
  LLVM Compiler Infrastructure with TriCore backend
  ☆30Updated last year
• paulmckrcu / litmus
  Automatically generated litmus tests for validation LISA-language Linux-kernel memory models
  ☆24Updated 2 months ago
• siemens / freertos-cell
  FreeRTOS for Jailhouse Cells
  ☆49Updated 2 years ago
• gormanm / pft
  Page fault test microbenchmark
  ☆13Updated 2 years ago
• brandenburg / schedcat
  The Schedulability Test Collection And Toolkit
  ☆38Updated 4 years ago
• omnetpp-models / afdx
  Avionics Full-Duplex Switched Ethernet model for OMNeT++
  ☆14Updated 7 years ago
• RapidIO / kernel-rapidio
  Kernel for RapidIO
  ☆33Updated 5 years ago
• zhiyisun / enable_arm_pmu
  Enable user-mode access to ARMv7/Linux performance counters
  ☆42Updated 8 years ago