OpenAADL

Library of AADL models

PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS

AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL

PolyORB-HI/Ada runtime for Ocarina

Build script (and more) for Ocarina

Update site for the OSATE2 Ocarina plugin

Ocarina Plugin for OSATE2

Dockerfiles to build ocarina

FMI to AADL conversion toolchain

AADL models for the Crazyflie UAV -- OMSCS Class CS7639