Alternatives and similar repositories for arinc653model

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

• adubey14 / arinc653emulator
  This code base contains a linux emulator for the ARINC-653 operating system services
  ☆20Updated 5 years ago
• bristot / rtsl
  a theoretically sound real-time scheduling latency measurement tool
  ☆33Updated 3 years ago
• pok-kernel / pok
  POK kernel. Safe and secure for safety-critical systems.
  ☆100Updated last month
• 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 3 weeks ago
• kmrov / racehound
  Data race detector for Linux kernel modules
  ☆29Updated 7 years 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
• clrkwllms / rt-linux
  The Realtime Linux tree
  ☆45Updated 7 years ago
• gchamp20 / RTOSBench
  ☆17Updated last year
• ARISSIM / ARISS
  An ARINC653 kernel simulator implementing ARINC653's Communication and the Time and Space Partitioning concept (TSP)
  ☆18Updated 8 years ago
• OpenEneaLinux / rt-tools
  Collection of Linux tools for achieving real-time performance
  ☆33Updated last year
• AdaCore / qemu
  ☆12Updated last week
• 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
• OpenAADL / ocarina
  AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
  ☆68Updated 3 years ago
• projectacrn / acrn-unit-test
  Unit test for ACRN, including unit test cases for hypervisor and device model.
  ☆12Updated 2 years ago
• RTEMS / rtems-tools
  Mirror only see https://gitlab.rtems.org/rtems/tools/rtems-tools
  ☆33Updated 3 weeks ago
• heechul / palloc
  DRAM Bank-Aware Kernel Memory Allocator
  ☆42Updated 4 months ago
• OpenAADL / AADLib
  Library of AADL models
  ☆44Updated 6 months ago
• seL4 / sel4-tutorials-manifest
  ☆8Updated last week
• RTEMS / rtems-libbsd
  Mirror only see https://gitlab.rtems.org/rtems/pkg/rtems-libbsd
  ☆34Updated 2 months ago
• siemens / freertos-cell
  FreeRTOS for Jailhouse Cells
  ☆50Updated 2 years ago
• paulmckrcu / litmus
  Automatically generated litmus tests for validation LISA-language Linux-kernel memory models
  ☆24Updated 2 weeks ago
• siemens / jailhouse-images
  Jailhouse demonstration and testing images
  ☆59Updated last year
• kernkonzept / manifest
  The main L4Re manifest to checkout the L4Re operating system.
  ☆20Updated last month
• OpenAADL / polyorb-hi-c
  PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS
  ☆13Updated 2 years ago
• jlelli / rt-tests
  Public tracking Clark Williams' rt-tests suite
  ☆64Updated last year
• jtcriswell / llvm-dsa
  LLVM trunk with poolalloc trunk modified to compile only DSA
  ☆11Updated 9 years ago
• elisa-tech / Safety_Architecture_WG
  Repository to store the code developed in the context of the Safety Architecture WG
  ☆17Updated 6 months ago
• diamon / minicoredumper
  Generate minimal and customized core dump files on Linux.
  ☆47Updated last year
• seL4 / seL4_libs
  No-assurance libraries for rapid-prototyping of seL4 apps.
  ☆53Updated last month
• toppers / safeg-auto
  Hypervisor for Automotive Control Systems
  ☆8Updated 4 months ago