search

saeaadl / aadlv2.1

For managing AADL V2.1 errata
0 stars 0 forks source link

Heap_Size property explanation strangeness #18

Closed buzden closed 8 years ago

buzden commented 8 years ago

The Heap_Size property is written to specify the minimum and maximum heap size requirements. But it has type of Size but not Size_Range. Of course minimum and maximum requirements can be equal, but to force all to make them equal by the type of the property seems to be strange. So semantics and type of the property are not consistent.

reteprelief commented 8 years ago

We will delete the minimum part. The stack size and others only have a single value.