OpenAADL / AADLib
Library of AADL models
☆43Updated 2 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for AADLib
- AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL☆66Updated 2 years ago
- Examples and case-study that use OSATE☆56Updated 3 years ago
- Open Source AADL2 Tool Environment☆40Updated last month
- PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS☆13Updated 2 years ago
- ☆33Updated 5 years ago
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆23Updated this week
- AADL models for the Crazyflie UAV -- OMSCS Class CS7639☆11Updated 4 years ago
- Mirror only see https://gitlab.rtems.org/rtems/tools/rtems-tools☆32Updated last week
- Specification and Analysis for Requirements Tool☆10Updated 8 years ago
- ☆12Updated this week
- Model and examples for the AADL book. More on http://julien.gunnm.org/aadl-book☆13Updated 7 years ago
- ☆20Updated last year
- Automated Analysis Framework for Simulink/Stateflow (deprecated, see cocoSim2)☆24Updated 7 years ago
- Mirror only see https://gitlab.rtems.org/rtems/pkg/rtems-libbsd☆31Updated this week
- Program Round-off Error Certifier via Static Analysis☆49Updated last month
- Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.☆101Updated last year
- L3 based MIPS specification and emulator☆15Updated 3 years ago
- Mirror only see https://gitlab.rtems.org/rtems/docs/rtems-docs/☆10Updated this week
- Sireum: A High Assurance System Engineering Platform☆11Updated this week
- Automated Analysis Framework for Simulink/Stateflow☆15Updated last year
- Robotics with Ada, ARM, and Lego☆17Updated 9 months ago
- A complete Event-B specification of partitioning operating systems compliant with ARINC 653 (Part 1, Version 3)☆9Updated 7 years ago
- An ARINC653 kernel simulator implementing ARINC653's Communication and the Time and Space Partitioning concept (TSP)☆17Updated 7 years ago
- The Realtime Linux tree☆44Updated 6 years ago
- Specification and Analysis for Requirements Tool☆20Updated 3 years ago
- Create minimum MCDC test sets for a boolean expression☆36Updated 3 years ago
- A Functional Mockup Interface (FMI) Standard Implementation for Trick Base Models and Simulations☆20Updated 4 months ago
- ☆12Updated 6 years ago
- OpenGEODE - a free SDL State Machine editor for space applications...and more☆71Updated last week
- Automated Controller Synthesis☆14Updated 6 years ago