GitHub repository: yoogx/ocarina
Primary language: Ada
Description: AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL