OpenAADL

icon indicating a website link http://www.openaadl.org

icon location Ocarina AADL toolchain and associated projects

Results 2 repositories owned by OpenAADL

ocarina

64
Stars
29
Forks
Watchers

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

verified publisher icon OpenAADL

AADLib

42
Stars
17
Forks
Watchers

Library of AADL models

verified publisher icon OpenAADL