ARINC653 Partitions Execution Analysis Failes Due to Property Changes

[esorton]

ARINC653 properties _PartitionSlots and _SlotsAllocation declared in the file:

• https://github.com/osate/osate2-core/blob/master/org.osate.contribution.sei/resources/properties/ARINC653.aadl

were removed in commit:

• osate/osate2-core@62959cdf95be6980d944aa7b890136af141bf027

These properties were replaced with the properties _ScheduleWindow and _ModuleSchedule.

_PartitionSlots and _SlotsAllocation are still referenced in the 653 analysis within osate2-plugins:

• https://github.com/osate/osate2-plugins/search?q=Partition_Slots
• https://github.com/osate/osate2-plugins/search?q=Slots_Allocation

The 653 analysis tools were not updated to conform with the updated properties.

Due to this inconsistency, the 653 analysis for Partitions Execution fails with the error:

Executing theorem scheduling_major_frame... *\ ERROR: Command failed: Property ARINC653::Partition_Slots is not defined.

But _PartitionSlots can't be defined as it is no longer a valid 653 property.

[juli1]

This plugin should be removed. This will be no longer be supported for now. The latest commit on the develop branch disable the plugin.

[esorton]

Will the 653 analysis be supported in the future? Is there an ETA of when 653 analysis will return?

[juli1]

No plan for now. If you want to contribute and start to make a new plugin, we would love to have any contribution on that front.