OpenAADL / AADLibLinks
Library of AADL models
☆45Updated last year
Alternatives and similar repositories for AADLib
Users that are interested in AADLib are comparing it to the libraries listed below
Sorting:
- AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL☆72Updated 3 years ago
- Examples and case-study that use OSATE☆56Updated 7 months ago
- Open Source AADL2 Tool Environment☆48Updated last month
- PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS☆12Updated 3 years ago
- Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.☆118Updated 2 months ago
- ☆11Updated 2 months ago
- Robot navigation algorithms implemented in SPARK☆12Updated 11 years ago
- ☆34Updated 6 years ago
- An ARINC653 kernel simulator implementing ARINC653's Communication and the Time and Space Partitioning concept (TSP)☆19Updated 8 years ago
- Robotics with Ada, ARM, and Lego☆17Updated last year
- Massif is a Matlab Simulink Integration Framework for Eclipse☆20Updated last year
- Specification and Analysis for Requirements Tool☆10Updated 9 years ago
- C Implementation of a Software Framework for Service-Oriented Applications with PUS Support☆14Updated last month
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Updated this week
- Flight stack for an unmanned fixed-wing weather glider.☆15Updated 8 years ago
- Automated Controller Synthesis☆15Updated 7 years ago
- ☆20Updated 2 years ago
- Mirror only see https://gitlab.rtems.org/rtems/tools/rtems-tools☆34Updated 2 months ago
- This code base contains a linux emulator for the ARINC-653 operating system services☆21Updated 6 years ago
- ☆14Updated 2 weeks ago
- OpenGEODE - a free SDL State Machine editor for space applications...and more☆76Updated 7 months ago
- AADL models for the Crazyflie UAV -- OMSCS Class CS7639☆11Updated 5 years ago
- Automated Analysis Framework for Simulink/Stateflow☆16Updated 2 years ago
- Avionics Full-Duplex Switched Ethernet model for OMNeT++☆15Updated 8 years ago
- Mirror only see https://gitlab.rtems.org/rtems/tools/rtems-source-builder☆40Updated 2 weeks ago
- Automated Analysis Framework for Simulink/Stateflow (deprecated, see cocoSim2)☆25Updated 8 years ago
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆45Updated last year
- A SPARK/Ada driver for the DecaWave DW1000 Ultra-Wideband tranceiver.☆14Updated 6 years ago
- Program Round-off Error Certifier via Static Analysis☆50Updated last month
- Model and examples for the AADL book. More on http://julien.gunnm.org/aadl-book☆13Updated 8 years ago