I found a mismatch between the AADL spec (2.2 final) and the property sets supplied by OSATE. The MemoryProperties::data_size property as described in the spec does not apply to BUS or VIRTUAL BUS, but it does in the OSATE MemoryProperties.aadl.
Many analyses rely on the property applying to bus/virtual bus.
jjhugues
commented
3 years ago
I found a mismatch between the AADL spec (2.2 final) and the property sets supplied by OSATE. The
MemoryProperties::data_sizeproperty as described in the spec does not apply toBUSorVIRTUAL BUS, but it does in the OSATEMemoryProperties.aadl.Many analyses rely on the property applying to bus/virtual bus.