Update ARINC653 property set for multi-core

[Etienne13]

Summary

In the ARINC653 property set, some properties are applicable to processor components only. However, if we model a multi-core architecture as a system component, it becomes necessary to apply these properties to system components as well.

A simple fix would be to change these properties as follows:

--The Module_Major_Frame property specifies the major frame for the ARINC653 module (AADL
--processor or system component).
Module_Major_Frame : Time applies to (system, processor, virtual processor );

--Module version description.
Module_Version : aadlstring applies to (system, processor);

--Module unique identifier.
Module_Identifier : aadlstring applies to (system, processor);

--
-- The HM_Error_ID_Levels indicates will the faults in a module
-- with their associated level.
--
HM_Error_ID_Levels : list of ARINC653::HM_Error_ID_Level_Type applies to (processor);

--
-- The HM_Error_ID_Actions specifies the error recovery handler
-- at each layer.
--
HM_Error_ID_Actions : list of ARINC653::HM_Error_ID_Action_Type applies to (system, processor, virtual processor, thread);

--
--  Module_Schedule represents all the schedule windows for the module
--
Module_Schedule : list of ARINC653::Schedule_Window applies to (system, processor, virtual processor );

Environment

• OSATE Version: 2.3.6
• Operating System: Linux

[Etienne13]

I know this is not really a tool issue so I was about to make it a tool oriented issue (asking for a way to override some of the property sets defined in osate) ... I went to look at open issues and found out it was already documented in #1134.