OpenAADL / AADLib
Library of AADL models
☆44Updated 5 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☆57Updated last week
- Open Source AADL2 Tool Environment☆44Updated 6 months ago
- AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL☆68Updated 3 years ago
- A complete Event-B specification of partitioning operating systems compliant with ARINC 653 (Part 1, Version 3)☆9Updated 8 years ago
- ☆33Updated 5 years ago
- Robot navigation algorithms implemented in SPARK☆12Updated 10 years ago
- PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS☆13Updated 2 years ago
- Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.