AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
- aadl
- ada
Repository Index
47,133 repositories indexed
1–5 of 5 · Most stars
A model-based flight software framework for Ada
- ada
- ada-spark
- adamant
- flight-software
ColdFrame generates Ada framework code and documentation from UML models.
- argouml
- ada
Software libraries for solving models described in Mathematical GeoEnergy (Wiley, 2018)
A simple 3DS Max model renderer