OpenAADL

OpenAADL's repositories

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

Language:AdaNOASSERTION61 17 250

Library of AADL models

Language:Shell42 7 11

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

Language:CNOASSERTION12 12 23

AADL models for the Crazyflie UAV -- OMSCS Class CS7639

Language:Makefile11 3 1

PolyORB-HI/Ada runtime for Ocarina

Language:AdaNOASSERTION9 8 8

Ocarina Plugin for OSATE2

Language:JavaEPL-2.07 9 21

Build script (and more) for Ocarina

Language:ShellMIT3 2 47

AADLv2 Cheat sheet

Language:TeX2 20

Pygments lexer for AADL

Language:PythonNOASSERTION1 3 1

FMI to AADL conversion toolchain

Language:CEPL-1.01 3 8

Dockerfiles to build ocarina

Language:DockerfileBSD-3-Clause1 2 2

Update site for the OSATE2 Ocarina plugin

000