ocarina
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
65 stars
17 watching
29 forks
Language: Ada
last commit: over 2 years ago
Linked from 1 awesome list
aadlada
ohenley/awesome-ada