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

public

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

processor leon
end leon;

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

20
21
22
23
24
25
26
27
28
29
processor implementation leon.rtems_posix
properties
   Scheduling_Protocol => (Posix_1003_Highest_Priority_First_Protocol);
   Priority_Range => 0 .. 255;
   Cheddar_Properties::Scheduler_Quantum => 0 Ms;
   Cheddar_Properties::Preemptive_Scheduler => true;
   Deployment::Execution_Platform => LEON_RTEMS_POSIX;
end leon.rtems_posix;


30
31
32
processor implementation leon.ork
properties
   Deployment::Execution_Platform => LEON_ORK;
33
end leon.ork;
34

35
36
37
38
39
40
41
42
43
processor leon3
end leon3;

virtual processor xtratum_partition
end xtratum_partition;

virtual processor implementation xtratum_partition.generic
end xtratum_partition.generic;

44
45
46
47
48
processor implementation leon3.scoc3
properties
   Deployment::Execution_Platform => LEON3_SCOC3;
end leon3.scoc3;

49
50
51
52
53
processor implementation leon3.xtratum
properties
   Deployment::Execution_Platform => LEON3_XTRATUM;
end leon3.xtratum;

54
processor implementation leon3.xtratum_2partitions extends leon3.xtratum
55
subcomponents
56
57
58
59
	part1 : virtual processor xtratum_partition.generic
      { Deployment::Execution_Platform => LEON3_XM3;};
	part2 : virtual processor xtratum_partition.generic
      { Deployment::Execution_Platform => LEON3_XM3;};
yoogx's avatar
yoogx committed
60
61
62
63
--  properties
--   ARINC653::Partition_Slots => (500ms, 500ms);
--   ARINC653::Slots_Allocation => (reference (part1), reference (part2));
--	ARINC653::Module_Major_Frame => 1000ms;
64
65
end leon3.xtratum_2partitions;

66
end ocarina_processors_leon;