OpenAADL / ocarina

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

Improve AADL XML backend to display more precise type information #300

Closed yoogx closed 2 years ago

yoogx commented 3 years ago

The current AADL XML backend does not issue precise information types, e.g. aadlboolean types are issues as types, we do not distinguish integer, integer with units types with sufficient precision

This limits processing by third party tools.

yoogx commented 3 years ago

The test case for issue #287 seems sufficient to test for this issue