OpenAADL / AADLibLinks
Library of AADL models
☆45Updated 7 months ago
Alternatives and similar repositories for AADLib
Users that are interested in AADLib are comparing it to the libraries listed below
Sorting:
- Examples and case-study that use OSATE☆57Updated last month
- AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL☆68Updated 3 years ago
- ☆33Updated 6 years ago
- Open Source AADL2 Tool Environment☆44Updated this week
- AADL models for the Crazyflie UAV -- OMSCS Class CS7639☆11Updated 5 years ago
- PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS☆13Updated 2 years ago
- ☆12Updated this week
- Specification and Analysis for Requirements Tool☆10Updated 9 years ago
- Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.☆108Updated last year
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Updated this week
- A Functional Mockup Interface (FMI) Standard Implementation for Trick Base Models and Simulations☆21Updated 10 months ago
- Tools for generating CFS ECI-compatible code from Simulink models☆23Updated last year
- Specification and Analysis for Requirements Tool☆20Updated 4 years ago
- GNATcoverage: Coverage Analysis Tool☆42Updated this week
- ☆19Updated 3 years ago
- ☆19Updated 2 years ago
- Mirror only see https://gitlab.rtems.org/rtems/docs/rtems-docs/☆10Updated 3 weeks ago
- Compositional Performance Analysis in Python☆18Updated 4 years ago
- The Core Flight System (cFS) Limit Checker (LC) application.☆31Updated 6 months ago
- ☆40Updated last year
- The Core Flight System (cFS) Scheduler (SCH) application.☆32Updated last year
- L3 based MIPS specification and emulator☆15Updated 3 years ago
- The Core Flight System (cFS) Health and Safety (HS) application.☆39Updated 6 months ago
- CFS application framework for integrating external C code into the CFS environment☆36Updated 2 years ago
- Program Round-off Error Certifier via Static Analysis☆51Updated 8 months ago
- Cyber-Physical V&V Challenges for the Evaluation of State of the Art Model Checkers☆12Updated 5 years ago
- ELISA Aerospace Working Group☆31Updated this week
- This code base contains a linux emulator for the ARINC-653 operating system services☆19Updated 5 years ago
- RTI Connector for Connext DDS is a lightweight technology that enables DDS data to be accessed with Python.☆34Updated last week
- C Implementation of a Software Framework for Service-Oriented Applications with PUS Support☆14Updated 2 months ago