OpenAADL / AADLib
Library of AADL models
☆44Updated 4 months ago
Alternatives and similar repositories for AADLib:
Users that are interested in AADLib are comparing it to the libraries listed below
- Examples and case-study that use OSATE☆56Updated 4 years ago
- AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL☆68Updated 3 years ago
- Open Source AADL2 Tool Environment☆44Updated 5 months ago
- PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS☆13Updated 2 years ago
- ☆33Updated 5 years ago
- A complete Event-B specification of partitioning operating systems compliant with ARINC 653 (Part 1, Version 3)☆9Updated 8 years ago
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆25Updated this week
- AADL models for the Crazyflie UAV -- OMSCS Class CS7639☆11Updated 5 years ago
- Mirror only see https://gitlab.rtems.org/rtems/tools/rtems-tools☆33Updated 2 weeks ago
- Architectural Framework For Integrated Refinement Modeling☆11Updated 7 years ago
- Robot navigation algorithms implemented in SPARK☆11Updated 10 years ago
- Mirror only see https://gitlab.rtems.org/rtems/docs/rtems-docs/☆10Updated this week
- An ARINC653 kernel simulator implementing ARINC653's Communication and the Time and Space Partitioning concept (TSP)☆18Updated 8 years ago
- L3 based MIPS specification and emulator☆15Updated 3 years ago
- Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.☆105Updated last year
- C Implementation of a Software Framework for Service-Oriented Applications with PUS Support☆14Updated this week
- Repository for RT-Xen project☆19Updated 7 years ago
- Massif is a Matlab Simulink Integration Framework for Eclipse☆19Updated last year
- Sireum: A High Assurance System Engineering Platform☆12Updated this week
- MISRA-C:2004 simplest rules checker☆25Updated 14 years ago
- DTask is a scheduler for statically dependent tasks.☆26Updated 6 years ago
- ☆19Updated 2 years ago
- Create minimum MCDC test sets for a boolean expression☆38Updated 4 years ago
- This code base contains a linux emulator for the ARINC-653 operating system services☆20Updated 5 years ago
- ☆12Updated 6 months ago
- ☆12Updated 3 weeks ago
- Automated Analysis Framework for Simulink/Stateflow (deprecated, see cocoSim2)☆25Updated 7 years ago
- Specification and Analysis for Requirements Tool☆10Updated 9 years ago
- Model and examples for the AADL book. More on http://julien.gunnm.org/aadl-book☆12Updated 7 years ago
- Automated Controller Synthesis☆15Updated 6 years ago