ARISSIM / ARISS
An ARINC653 kernel simulator implementing ARINC653's Communication and the Time and Space Partitioning concept (TSP)
☆18Updated 8 years ago
Alternatives and similar repositories for ARISS:
Users that are interested in ARISS are comparing it to the libraries listed below
- This code base contains a linux emulator for the ARINC-653 operating system services☆19Updated 5 years ago
- 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.☆98Updated this week
- ARINC 653 POSIX based library☆14Updated last week
- Communications protocol generation software☆30Updated 2 months ago
- A complete Event-B specification of partitioning operating systems compliant with ARINC 653 (Part 1, Version 3)☆9Updated 8 years ago
- Repo to manage YoctoProject related git repositories☆42Updated 3 years ago
- AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL☆68Updated 3 years ago
- ☆12Updated 3 weeks ago
- Mirror only see https://gitlab.rtems.org/rtems/rtos/rtems-examples☆31Updated last month
- Mirror only see https://gitlab.rtems.org/rtems/tools/rtems-tools☆33Updated 2 weeks ago
- MISRA-C:2004 simplest rules checker☆25Updated 14 years ago
- Linux Device Driver Development Cookbook, published by Packt☆42Updated 2 years ago
- Tool for loading firmware to M4 core on i.MX6SX and 7D☆20Updated 4 years ago
- ☆12Updated 6 years ago
- Mirror only see https://gitlab.rtems.org/rtems/tools/rtems-source-builder☆39Updated last week
- This repository contains all my practice codes/projects of Hercules TMS570LC43x Development Kit. The projects are made using embedded C o…☆22Updated 8 years ago
- Linux kernel source tree☆51Updated this week
- ☆57Updated 4 years ago
- Simulated AUTOSAR OS runtime for Linux and Windows☆14Updated 2 years ago
- ARINC-429 Driver for Linux☆26Updated 2 months ago
- ☆21Updated 4 months ago
- Confidential AI sample application for Zephyr RTOS☆15Updated last year
- openCONFIGURATOR 2.X core library☆11Updated 6 years ago
- Library of AADL models☆44Updated 4 months ago
- Microchip MCP2515 SPI CAN controller - Driver library for TI MCUs☆52Updated 5 years ago
- ☆10Updated 9 years ago
- Introductory Yocto documentation☆56Updated 6 years ago
- Operating system and flight stack agnostic driver framework for POSIX (Linux, NuttX, Mac OS, QNX, VxWorks).☆82Updated 5 years ago
- FSLC Community fork of i.MX MkImage (original code in https://source.codeaurora.org/external/imx/imx-mkimage)☆15Updated 3 years ago