DeploymentView.aadl 7.52 KB
Newer Older
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
---------------------------------------------------
-- AADL2.2
-- TASTE type deploymentview
-- 
-- generated code: do not edit
---------------------------------------------------

PACKAGE deploymentview::DV::Node1
PUBLIC

WITH ocarina_buses;
WITH ocarina_drivers;
WITH Taste;
WITH Deployment;
WITH TASTE_DV_Properties;
PROCESS stm32f407_discovery_partition
END stm32f407_discovery_partition;

PROCESS IMPLEMENTATION stm32f407_discovery_partition.others
END stm32f407_discovery_partition.others;

DEVICE STM32F4_serial_pohiada
EXTENDS ocarina_drivers::STM32F4_serial
FEATURES
  link : REFINED TO REQUIRES BUS ACCESS ocarina_buses::serial.generic {
    Taste::coordinates => "99110 102249";
  };
PROPERTIES
  Taste::Interface_Coordinates => "121905 124827.98" APPLIES TO link;
  Deployment::Help => "Write your ASN.1 configuration here";
  Deployment::Configuration => "{devname ""/dev/ttyUSB0"",  speed b115200, bits 8 }";
  Deployment::Config => "/home/taste/tool-inst/include/ocarina/runtime/polyorb-hi-c/src/drivers/configuration/serial.asn";
  Deployment::Version => "0.1beta";
END STM32F4_serial_pohiada;

DEVICE IMPLEMENTATION STM32F4_serial_pohiada.others
EXTENDS ocarina_drivers::STM32F4_serial.pohiada
END STM32F4_serial_pohiada.others;

END deploymentview::DV::Node1;

PACKAGE deploymentview::DV::Node2
PUBLIC

WITH ocarina_buses;
WITH ocarina_drivers;
WITH Taste;
WITH Deployment;
WITH TASTE_DV_Properties;
PROCESS x86_partition
END x86_partition;

PROCESS IMPLEMENTATION x86_partition.others
END x86_partition.others;

DEVICE generic_serial_pohiada
EXTENDS ocarina_drivers::generic_serial
FEATURES
  link : REFINED TO REQUIRES BUS ACCESS ocarina_buses::serial.generic {
    Taste::coordinates => "155603 106461";
  };
PROPERTIES
  Taste::Interface_Coordinates => "153951 124714" APPLIES TO link;
  Deployment::Help => "Write your ASN.1 configuration here";
Maxime Perrotin's avatar
Maxime Perrotin committed
65
  Deployment::Configuration => "{devname ""/dev/ttyUSB0"",  speed b115200, bits 8}";
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
  Deployment::Config => "/home/taste/tool-inst/include/ocarina/runtime/polyorb-hi-c/src/drivers/configuration/serial.asn";
  Deployment::Version => "0.1beta";
END generic_serial_pohiada;

DEVICE IMPLEMENTATION generic_serial_pohiada.others
EXTENDS ocarina_drivers::generic_serial.pohiada
END generic_serial_pohiada.others;

END deploymentview::DV::Node2;

PACKAGE deploymentview::DV
PUBLIC

WITH interfaceview::IV::Manager;
WITH interfaceview::IV::Driver;
Maxime Perrotin's avatar
Maxime Perrotin committed
81
WITH interfaceview::IV::stm32_debug;
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
WITH ocarina_processors_arm;
WITH deploymentview::DV::Node1;
WITH interfaceview::IV::GUI;
WITH interfaceview::IV::Beater;
WITH interfaceview::IV::PingLogger;
WITH ocarina_processors_x86;
WITH deploymentview::DV::Node2;
WITH ocarina_buses;
WITH Taste;
WITH Deployment;
WITH interfaceview::IV;
WITH TASTE_DV_Properties;
SYSTEM Node1
FEATURES
  STM32F4_serial_pohiada_serial_generic : REQUIRES BUS ACCESS ocarina_buses::serial.generic;
END Node1;

SYSTEM IMPLEMENTATION Node1.others
SUBCOMPONENTS
  IV_Manager : SYSTEM interfaceview::IV::Manager::Manager.others {
    Taste::FunctionName => "Manager";
  };
  IV_Driver : SYSTEM interfaceview::IV::Driver::Driver.others {
    Taste::FunctionName => "Driver";
  };
Maxime Perrotin's avatar
Maxime Perrotin committed
107
108
109
  IV_stm32_debug : SYSTEM interfaceview::IV::stm32_debug::stm32_debug.others {
    Taste::FunctionName => "stm32_debug";
  };
110
111
112
113
  stm32f407_discovery_partition : PROCESS deploymentview::DV::Node1::stm32f407_discovery_partition.others {
    Taste::coordinates => "95774 71614 128546 90311";
    Deployment::Port_Number => 0;
  };
114
  stm32f407_discovery_gnat2020 : PROCESSOR ocarina_processors_arm::stm32f407_discovery.gnat2020 {
115
116
117
118
119
120
121
122
123
124
    Taste::coordinates => "91677 66272 132642 92982";
  };
  STM32F4_serial_pohiada : DEVICE deploymentview::DV::Node1::STM32F4_serial_pohiada.others {
    Taste::coordinates => "99110 96963 123557 107534";
  };
CONNECTIONS
  STM32F4_serial_pohiada_serial_generic_link : BUS ACCESS STM32F4_serial_pohiada_serial_generic -> STM32F4_serial_pohiada.link;
PROPERTIES
  Taste::APLC_Binding => (reference (stm32f407_discovery_partition)) APPLIES TO IV_Manager;
  Taste::APLC_Binding => (reference (stm32f407_discovery_partition)) APPLIES TO IV_Driver;
Maxime Perrotin's avatar
Maxime Perrotin committed
125
  Taste::APLC_Binding => (reference (stm32f407_discovery_partition)) APPLIES TO IV_stm32_debug;
126
127
  Actual_Processor_Binding => (reference (stm32f407_discovery_gnat2020)) APPLIES TO stm32f407_discovery_partition;
  Actual_Processor_Binding => (reference (stm32f407_discovery_gnat2020)) APPLIES TO STM32F4_serial_pohiada;
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
END Node1.others;

SYSTEM Node2
FEATURES
  generic_serial_pohiada_serial_generic : REQUIRES BUS ACCESS ocarina_buses::serial.generic;
END Node2;

SYSTEM IMPLEMENTATION Node2.others
SUBCOMPONENTS
  IV_GUI : SYSTEM interfaceview::IV::GUI::GUI.others {
    Taste::FunctionName => "GUI";
  };
  IV_Beater : SYSTEM interfaceview::IV::Beater::Beater.others {
    Taste::FunctionName => "Beater";
  };
  IV_PingLogger : SYSTEM interfaceview::IV::PingLogger::PingLogger.others {
    Taste::FunctionName => "PingLogger";
  };
  x86_partition : PROCESS deploymentview::DV::Node2::x86_partition.others {
    Taste::coordinates => "155286 71043 182349 88202";
    Deployment::Port_Number => 0;
  };
  x86_linux : PROCESSOR ocarina_processors_x86::x86.linux {
    Taste::coordinates => "151903 66140 185732 90653";
  };
  generic_serial_pohiada : DEVICE deploymentview::DV::Node2::generic_serial_pohiada.others {
    Taste::coordinates => "155603 99936 174929 111334";
  };
CONNECTIONS
  generic_serial_pohiada_serial_generic_link : BUS ACCESS generic_serial_pohiada_serial_generic -> generic_serial_pohiada.link;
PROPERTIES
  Taste::APLC_Binding => (reference (x86_partition)) APPLIES TO IV_GUI;
  Taste::APLC_Binding => (reference (x86_partition)) APPLIES TO IV_Beater;
  Taste::APLC_Binding => (reference (x86_partition)) APPLIES TO IV_PingLogger;
  Actual_Processor_Binding => (reference (x86_linux)) APPLIES TO x86_partition;
  Actual_Processor_Binding => (reference (x86_linux)) APPLIES TO generic_serial_pohiada;
END Node2.others;

SYSTEM deploymentview
END deploymentview;

SYSTEM IMPLEMENTATION deploymentview.others
SUBCOMPONENTS
  Node1 : SYSTEM Node1.others {
    Taste::coordinates => "86556 58640 137763 114472";
  };
  Node2 : SYSTEM Node2.others {
    Taste::coordinates => "147674 59136 189961 114803";
  };
  serial_generic : BUS ocarina_buses::serial.generic {
    Taste::coordinates => "121905 124714 166505 130413";
  };
  interfaceview : SYSTEM interfaceview::IV::interfaceview.others;
CONNECTIONS
  Connection2 : BUS ACCESS serial_generic -> Node1.STM32F4_serial_pohiada_serial_generic {
    Taste::coordinates => "99110 102249 92370 102249 92370 124827.98 121905 124827.98";
  };
  Connection1 : BUS ACCESS serial_generic -> Node2.generic_serial_pohiada_serial_generic {
    Taste::coordinates => "155603 106461 153951 106461 153951 124714";
  };
PROPERTIES
  Actual_Connection_Binding => (reference (serial_generic)) APPLIES TO interfaceview.GUI_PI_dataReport_Manager_RI_dataReport;
  Actual_Connection_Binding => (reference (serial_generic)) APPLIES TO interfaceview.Manager_PI_getData_GUI_RI_getData;
  Actual_Connection_Binding => (reference (serial_generic)) APPLIES TO interfaceview.Manager_PI_setData_GUI_RI_setData;
  Actual_Connection_Binding => (reference (serial_generic)) APPLIES TO interfaceview.GUI_PI_ping_Manager_RI_ping;
  Actual_Connection_Binding => (reference (serial_generic)) APPLIES TO interfaceview.PingLogger_PI_purePing_Manager_RI_purePing;
END deploymentview.others;

PROPERTIES
  Taste::coordinates => "0 0 297000 210000";
  Taste::version => "2.2";
  Taste::interfaceView => "InterfaceView.aadl";
Maxime Perrotin's avatar
Maxime Perrotin committed
200
  Taste::HWLibraries => ("/home/taste/tool-inst/share/ocarina/AADLv2/ocarina_components.aadl");
201
202
END deploymentview::DV;