https://github.com/OpenAADL/ocarina
Ada66
3 years ago
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
Other