abidefei / ocarina Goto Github PK
View Code? Open in Web Editor NEWThis project forked from openaadl/ocarina
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
Home Page: http://www.openaadl.org
License: Other