ARISSIM / ARISS
An ARINC653 kernel simulator implementing ARINC653's Communication and the Time and Space Partitioning concept (TSP)
☆17Updated 8 years ago
Alternatives and similar repositories for ARISS:
Users that are interested in ARISS are comparing it to the libraries listed below
- Real-Time Operating System (RTOS) for Texas Instruments AM335X Sitara Cortex-A8 (ARMv7-A) single-core SoCs (BeagleBone, BeagleBone Black …☆18Updated last year
- POK kernel. Safe and secure for safety-critical systems.☆94Updated this week
- This code base contains a linux emulator for the ARINC-653 operating system services☆19Updated 5 years ago
- Library of AADL models☆42Updated 2 months ago
- PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS☆13Updated 2 years ago
- Official micro-ROS RTOS☆89Updated 2 years ago
- AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL☆68Updated 2 years ago
- The Realtime Linux tree☆44Updated 6 years ago
- A small RTOS for ARM Cortex-M4F microcontrollers.☆81Updated 6 years ago
- An implementation of Real-Time Publish-Subscribe (RTPS) communication protocol.☆16Updated 6 months ago
- Examples and case-study that use OSATE☆56Updated 3 years ago
- Mirror only see https://gitlab.rtems.org/rtems/rtos/rtems-examples☆31Updated last week
- Real time operating system made with love ♥.☆18Updated 7 years ago
- ☆61Updated 2 years ago
- Mirror only see https://gitlab.rtems.org/rtems/tools/rtems-tools☆33Updated this week
- Mirror only see https://gitlab.rtems.org/rtems/tools/rtems-source-builder☆39Updated last week
- CppUTest For QP/C++ implements a CppUTest port of the QP Framework, with supporting utilities, enabling easy host based unit testing of a…☆17Updated this week
- Git Import of the FreeRTOS SVN repository.☆43Updated 10 years ago
- U-boot for Microchip SoC (aka AT91)☆50Updated last week
- MISRA-C:2004 simplest rules checker☆24Updated 13 years ago
- Helper scripts, cross-compilation-files, makefile shims, and other helpful tools for working with Meson☆33Updated 3 months ago
- @ https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite☆23Updated 5 years ago
- Generates CRC lookup tables for CRCs☆27Updated 6 months ago
- An open source Data Distribution Service (DDS) for embedded devices implemented for ROS☆13Updated 10 years ago
- Apache NFFS filesystem☆29Updated 5 months ago
- Open Source AADL2 Tool Environment☆41Updated 2 months ago
- Communications protocol generation software☆30Updated 3 weeks ago
- C Code Source Metrics - tool to gather simple metrics from C code☆37Updated 9 months ago
- Simplest Mesh capable test application for mbed OS☆38Updated last year