-
Notifications
You must be signed in to change notification settings - Fork 4
Expand file tree
/
Copy pathintegration.aadl
More file actions
110 lines (93 loc) · 4.09 KB
/
integration.aadl
File metadata and controls
110 lines (93 loc) · 4.09 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
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
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
package codegen_demo::integration
public
with codegen_demo::platform;
with codegen_demo::actuator;
with codegen_demo::sensor;
with codegen_demo::filtering;
with pok;
process single_process
properties
POK::Needed_Memory_Size => 200 KByte;
end single_process;
process implementation single_process.i
subcomponents
sensor0 : thread codegen_demo::sensor::sensor_thr.i;
sensor1 : thread codegen_demo::sensor::sensor_thr.i;
filter : thread codegen_demo::filtering::filtering_thr.i;
actuator : thread codegen_demo::actuator::actuator_thr.i;
connections
c0 : port sensor0.altitude_value -> filter.altitude_in0;
c1 : port sensor1.altitude_value -> filter.altitude_in1;
c2 : port filter.altitude -> actuator.altitude_in;
properties
POK::Needed_Memory_Size => 200 KByte;
end single_process.i;
system integration
end integration;
system implementation integration.single_partition
subcomponents
-- module : processor codegen_demo::platform::cpu_1part.generic;
ram : memory codegen_demo::platform::ram.one_part;
pr : process single_process.i;
properties
actual_memory_binding => (reference (ram.s1)) applies to pr;
end integration.single_partition;
system implementation integration.single_partition_pok extends integration.single_partition
subcomponents
module : processor codegen_demo::platform::cpu_1part.pok;
properties
POK::Needed_Memory_Size => 200 KByte applies to pr;
actual_processor_binding => (reference (module.partition1)) applies to pr;
actual_memory_binding => (reference (ram.s1)) applies to pr;
byte_count => 200000 applies to ram.s1;
end integration.single_partition_pok;
system implementation integration.single_partition_deos extends integration.single_partition
subcomponents
module : processor codegen_demo::platform::cpu_1part.deos;
properties
POK::Needed_Memory_Size => 200 KByte applies to pr;
actual_processor_binding => (reference (module.partition1)) applies to pr;
actual_memory_binding => (reference (ram.s1)) applies to pr;
byte_count => 200000 applies to ram.s1;
end integration.single_partition_deos;
system implementation integration.single_partition_vxworks extends integration.single_partition
subcomponents
module : processor codegen_demo::platform::cpu_1part.vxworks;
properties
POK::Needed_Memory_Size => 200 KByte applies to pr;
actual_processor_binding => (reference (module.partition1)) applies to pr;
actual_memory_binding => (reference (ram.s1)) applies to pr;
byte_count => 200000 applies to ram.s1;
Source_Name => "partition1" applies to module.partition1;
end integration.single_partition_vxworks;
system implementation integration.four_partitions
subcomponents
-- module : processor codegen_demo::platform::cpu_1part.generic;
ram : memory codegen_demo::platform::ram.four_parts;
sensor0 : process codegen_demo::sensor::sensor.i;
sensor1 : process codegen_demo::sensor::sensor.i;
filter : process codegen_demo::filtering::filtering.i;
act : process codegen_demo::actuator::actuator.i;
connections
c0 : port sensor0.altitude_value -> filter.altitude_in0;
c1 : port sensor1.altitude_value -> filter.altitude_in1;
c2 : port filter.altitude -> act.altitude_in;
end integration.four_partitions;
system implementation integration.four_partitions_pok extends integration.four_partitions
subcomponents
module : processor codegen_demo::platform::cpu_4parts.pok;
properties
actual_processor_binding => (reference (module.partition1)) applies to sensor0;
actual_processor_binding => (reference (module.partition2)) applies to sensor1;
actual_processor_binding => (reference (module.partition3)) applies to filter;
actual_processor_binding => (reference (module.partition4)) applies to act;
actual_memory_binding => (reference (ram.s0)) applies to sensor0;
actual_memory_binding => (reference (ram.s1)) applies to sensor1;
actual_memory_binding => (reference (ram.s2)) applies to filter;
actual_memory_binding => (reference (ram.s3)) applies to act;
byte_count => 200000 applies to ram.s0;
byte_count => 200000 applies to ram.s1;
byte_count => 200000 applies to ram.s2;
byte_count => 200000 applies to ram.s3;
end integration.four_partitions_pok;
end codegen_demo::integration;