Join GitHub today
Support AADL data ranges in AGREE #76
AADL data of Integer and Real types as described in the Data_Model.aadl property set can be constrained to a numeric subrange. Yet, this range constraint is not propagated into AGREE logic and such constraints are ignored. AGREE has its own subrange constraints on variables introduced in AGREE annexes, but these cannot be used directly on ports. At the very least, support generation of range constraints for AADL data in AGREE. This likely involves addition of the constraints to the type map and perhaps a refactor unifying the AADL and AGREE subrange mechanisms.
This is related to issue 13.