Explore @OpenAADL Open Source projects

@OpenAADL

OpenAADL

Stars
141
Global Org. Rank 48,065 (Top 16 %)
Registered about 10 years ago
Most used languages

Ada
18.2 %

Shell
18.2 %

C
18.2 %

Makefile 9.1 %

Dockerfile
9.1 %

Java
9.1 %

TeX
9.1 %

Python
9.1 %

ocarina

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

AADLib

Library of AADL models

Crazyflie

AADL models for the Crazyflie UAV -- OMSCS Class CS7639

polyorb-hi-c

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

polyorb-hi-ada

PolyORB-HI/Ada runtime for Ocarina

osate2-ocarina

Ocarina Plugin for OSATE2

ocarina-build

Build script (and more) for Ocarina

aadlsheet

AADLv2 Cheat sheet

fmu2aadl

FMI to AADL conversion toolchain

ocarina-docker

Dockerfiles to build ocarina

AADL-pygments-lexer

Pygments lexer for AADL