ping-local.aadl 951 Bytes
Newer Older
1
2
3
4
5
6
7
8
9
10
11
package PING_Local
public
  with Software;
  with Deployment;

---------------
-- Processor --
---------------

processor the_processor
properties
jdelange's avatar
jdelange committed
12
  Deployment::Execution_Platform => win32;
13
14
15
end the_processor;

processor implementation the_processor.Impl
yoogx's avatar
yoogx committed
16
properties
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
   Scheduling_Protocol => (Posix_1003_Highest_Priority_First_Protocol);
   Priority_Range => 0 .. 255;
end the_processor.Impl;

---------------
-- Processes --
---------------

process A
end A;

process implementation A.Impl
subcomponents
  Pinger        : thread Software::P.Impl;
  Ping_Me       : thread  Software::Q.Impl;
connections
  port Pinger.Data_Source -> Ping_Me.Data_Sink;
end A.Impl;

------------
-- System --
------------

system PING
end PING;

system implementation PING.Local
subcomponents
yoogx's avatar
yoogx committed
45
  Node_A : process A.Impl;
46
  CPU : processor the_processor.Impl;
yoogx's avatar
yoogx committed
47

48
properties
49
  actual_processor_binding => (reference (CPU)) applies to Node_A;
50
51
52
end PING.Local;

end PING_Local;