OpenAADL / AADLib
Library of AADL models
☆42Updated 2 years ago
Related projects: ⓘ
- AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL☆64Updated 2 years ago
- Examples and case-study that use OSATE☆56Updated 3 years ago
- Open Source AADL2 Tool Environment☆36Updated last month
- PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS☆12Updated last year
- ☆33Updated 5 years ago
- AADL models for the Crazyflie UAV -- OMSCS Class CS7639☆11Updated 4 years ago
- ☆12Updated 3 weeks ago
- Specification and Analysis for Requirements Tool☆10Updated 8 years ago
- Robot navigation algorithms implemented in SPARK☆11Updated 10 years ago
- Automated Analysis Framework for Simulink/Stateflow☆15Updated last year
- Automated Analysis Framework for Simulink/Stateflow (deprecated, see cocoSim2)☆23Updated 7 years ago
- Model and examples for the AADL book. More on http://julien.gunnm.org/aadl-book☆13Updated 7 years ago
- Mirror only see https://gitlab.rtems.org/rtems/tools/rtems-tools☆32Updated 2 weeks ago
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆23Updated 2 weeks ago
- C Implementation of a Software Framework for Service-Oriented Applications with PUS Support☆13Updated 11 months ago
- KTH's Timed C compiler☆19Updated 2 years ago
- ☆20Updated last year
- Create minimum MCDC test sets for a boolean expression☆32Updated 3 years ago
- Robotics with Ada, ARM, and Lego☆16Updated 7 months ago
- Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.☆98Updated last year
- An ARINC653 kernel simulator implementing ARINC653's Communication and the Time and Space Partitioning concept (TSP)☆17Updated 7 years ago
- Apex RTOS - A (somewhat) Linux compatible real time operating system☆29Updated 2 years ago
- A complete Event-B specification of partitioning operating systems compliant with ARINC 653 (Part 1, Version 3)☆9Updated 7 years ago
- Program Round-off Error Certifier via Static Analysis☆49Updated last month
- Architectural Framework For Integrated Refinement Modeling☆11Updated 7 years ago
- Specification and Analysis for Requirements Tool☆20Updated 3 years ago
- ☆32Updated 5 years ago
- Mirror only see https://gitlab.rtems.org/rtems/docs/rtems-docs/☆10Updated last week
- Automated Controller Synthesis☆14Updated 6 years ago
- GNATcoverage: Coverage Analysis Tool☆36Updated this week