search

OpenAADL / ocarina

AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
http://www.openaadl.org
Other
65 stars 29 forks source link

Reorganization of the Cheddar back-end #129

Closed yoogx closed 4 years ago

yoogx commented 6 years ago

To evaluate feasibility to make more visible the subset of AADL supported by each backend, this issue will track evolutions of the Cheddar backe-end to integrate pre/post-conditions of the mapping functions.

Commits done on behalf of G. Brau

yoogx commented 5 years ago

As illustrated in #185 , preconditions hide error and turns them into exceptions, to be investigated