ocarina

github.comtool

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

from

Ada/SPARK

added

2026-10-10

likes

0

Ada/SPARK › Tools > Generation: “AADL model processor: mappings to Ada code; Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL.”