leon.aadl 1.36 KB
Newer Older
1
package ocarina_processors_leon
2
3
4

public

5
with Deployment;
6
with ARINC653;
7
with Cheddar_Properties;
8
9
10
11

processor leon
end leon;

12
processor implementation leon.rtems
13
14
15
16
17
properties
   Scheduling_Protocol => (Posix_1003_Highest_Priority_First_Protocol);
   Priority_Range => 0 .. 255;
   Cheddar_Properties::Scheduler_Quantum => 0 Ms;
   Cheddar_Properties::Preemptive_Scheduler => true;
18
   Deployment::Execution_Platform => LEON_RTEMS;
19
20
end leon.rtems;

21
22
23
processor implementation leon.ork
properties
   Deployment::Execution_Platform => LEON_ORK;
24
end leon.ork;
25

26
27
28
29
30
31
32
33
34
35
36
37
38
39
processor leon3
end leon3;

virtual processor xtratum_partition
end xtratum_partition;

virtual processor implementation xtratum_partition.generic
end xtratum_partition.generic;

processor implementation leon3.xtratum
properties
   Deployment::Execution_Platform => LEON3_XTRATUM;
end leon3.xtratum;

40
processor implementation leon3.xtratum_2partitions extends leon3.xtratum
41
subcomponents
42
43
44
45
	part1 : virtual processor xtratum_partition.generic
      { Deployment::Execution_Platform => LEON3_XM3;};
	part2 : virtual processor xtratum_partition.generic
      { Deployment::Execution_Platform => LEON3_XM3;};
46
47
48
49
50
51
properties
   ARINC653::Partition_Slots => (500ms, 500ms);
   ARINC653::Slots_Allocation => (reference (part1), reference (part2));
	ARINC653::Module_Major_Frame => 1000ms;
end leon3.xtratum_2partitions;

52
end ocarina_processors_leon;