OpenAADL/ocarina-build
Build script (and more) for Ocarina
PolyORB-HI/Ada runtime for Ocarina
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Build script (and more) for Ocarina
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
Ocarina Plugin for OSATE2