OpenAADL/ocarina-build
Build script (and more) for Ocarina
Ocarina Plugin for OSATE2
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Build script (and more) for Ocarina
PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS
PolyORB-HI/Ada runtime for Ocarina
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL