Inconsistencies between ARINC653 annex property definitions and examples

[rinsley]

Both the older and newer ARINC653 Annexes define the ARINC653 property set. There are a couple of changes to the newer property set that are causing internal inconsistencies in the newer annex.

The newer version changes the name of the Memory_Type property to Memory_Kind. However, the examples listed in the annex still use the older Memory_Type property name. It looks like these examples need to be updated with the newer property name.

Also, the older version allows the Queueing_Discipline property to apply to both port and data access. The newer version only allows the Queueing_Discipline property to apply to port. However, the examples in the annex still have Queueing_Discipline applied to data access. Also, 35(b) of the annex states that semaphores should be modeled using the Queueing_Discipline property applied to data accesses. It looks like the Queueing_Discipline property definition should still include data access.

[jjhugues]

Update examples

do not use Queuing_Discpline, rather consider Concurrency_Control_Protocol, by adding the proper enumerator

[jjhugues]

Thanks, the examples have been updated