leon.aadl 1.69 KB
Newer Older
1
package ocarina_processors_leon
2 3
public

4
with Deployment;
5 6 7 8

processor leon
end leon;

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

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


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

33 34 35 36 37 38 39 40 41
processor leon3
end leon3;

virtual processor xtratum_partition
end xtratum_partition;

virtual processor implementation xtratum_partition.generic
end xtratum_partition.generic;

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

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

52
processor implementation leon3.xtratum_2partitions extends leon3.xtratum
53
subcomponents
54 55 56 57
	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
58 59 60 61
--  properties
--   ARINC653::Partition_Slots => (500ms, 500ms);
--   ARINC653::Slots_Allocation => (reference (part1), reference (part2));
--	ARINC653::Module_Major_Frame => 1000ms;
62 63
end leon3.xtratum_2partitions;

64
end ocarina_processors_leon;