arinc653_properties.aadl 2.87 KB
Newer Older
1
--  Property set for the ARINC653 annex
2
--  This version comes with the annex draft issued on 12152010
3
4
5
6
7
8
9
10

property set ARINC653 is

  Partition_Slots: list of Time applies to (processor);
  
  Slots_Allocation:  list of reference (virtual processor) 
     applies to (processor);
  
11
  Module_Major_Frame: Time applies to (processor);
12
  
13
  Sampling_Refresh_Period: Time applies to (data port);
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

  Supported_Error_Code: type enumeration
                  (Module_Config,          -- module level errors
                   Module_Init,
                   Module_Scheduling,
                   Partition_Scheduling,   -- partition level errors
                   Partition_Config,
                   Partition_Handler,
                   Partition_Init,
                   Deadline_Miss,          -- process level errors
                   Application_Error,
                   Numeric_Error,
                   Illegal_Request,
                   Stack_Overflow,
                   Memory_Violation,
                   Hardware_Fault,
                   Power_Fail
                  );
32
 
33
  Supported_Partition_Recovery_Action: type enumeration
34
35
     (Ignore, Partition_Stop, Warm_Restart, Cold_Restart);

36
  Supported_Process_Recovery_Action: type enumeration
37
38
39
40
     (Ignore, Confirm, Partition_Stop, Process_Stop, 
      Process_Stop_And_Start_Another, Process_Restart, 
      Nothing, Cold_Restart, Warm_Restart);

41
  Supported_Module_Recovery_Action: type enumeration
42
43
     (Ignore, Stop, Reset);

44
45
46
  HM_Module_Recovery_Actions: list of    
      ARINC653::Supported_Module_Recovery_Action
    applies to (processor);
47

48
49
50
  HM_Partition_Recovery_Actions: list of 
      ARINC653::Supported_Partition_Recovery_Action
    applies to (virtual processor);
51

52
53
54
  HM_Process_Recovery_Actions: list of   
      ARINC653::Supported_Process_Recovery_Action
    applies to (thread);
55

56
57
58
59
  --  The difference between ignore and nothing is that ignore does
  --  not perform anything but logs the error. On the contrary,
  --  nothing will do nothing, the HM CallBack should do everything.

60
  Supported_Access_Type: type enumeration (read, write, read_write);
61

62
  Supported_Memory_Type: type enumeration (Data_Memory, Code_Memory, IO_Memory);
63
  
64
  HM_Errors   : list of ARINC653::Supported_Error_Code
65
66
     applies to (processor, virtual processor, thread);
  
67
  HM_Callback : classifier (subprogram classifier)
68
69
     applies to (thread, virtual processor, processor);
  
70
71
  Memory_Type : list of ARINC653::Supported_Memory_Type
    applies to (memory);
72

73
74
  Access_Type : ARINC653::Supported_Access_Type
     applies to (memory);
75
  
76
  Timeout : Time applies to (data port, event data port, event port, data access);
77
78
79
  
  Supported_DAL_Type : type enumeration (LEVEL_A, LEVEL_B, LEVEL_C, LEVEL_D, LEVEL_E);

80
81
  DAL : ARINC653::Supported_DAL_Type
     applies to (virtual processor);
82

83
84
  System_Overhead_Time : Time
     applies to (processor, virtual processor);
85
86

end ARINC653;