DeploymentView.aadl 6.97 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
---------------------------------------------------
-- 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;
WITH deploymentview::DV;
WITH Memory_Properties;
WITH ARINC653;
PROCESS stm32_controller
END stm32_controller;

PROCESS IMPLEMENTATION stm32_controller.others
END stm32_controller.others;

DEVICE STM32F4_serial_pohiada
EXTENDS ocarina_drivers::STM32F4_serial
FEATURES
  link : REFINED TO REQUIRES BUS ACCESS ocarina_buses::serial.generic {
Maxime Perrotin's avatar
Maxime Perrotin committed
29
    Taste::coordinates => "110233 98108";
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
  };
PROPERTIES
  Taste::Interface_Coordinates => "123886 116060" 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;
WITH deploymentview::DV;
WITH Memory_Properties;
WITH ARINC653;
PROCESS x86_user
END x86_user;

PROCESS IMPLEMENTATION x86_user.others
END x86_user.others;

DEVICE generic_serial_pohiada
EXTENDS ocarina_drivers::generic_serial
FEATURES
  link : REFINED TO REQUIRES BUS ACCESS ocarina_buses::serial.generic {
Maxime Perrotin's avatar
Maxime Perrotin committed
66
    Taste::coordinates => "169129 98265";
67
68
69
70
  };
PROPERTIES
  Taste::Interface_Coordinates => "167507 116060" APPLIES TO link;
  Deployment::Help => "Write your ASN.1 configuration here";
Maxime Perrotin's avatar
Maxime Perrotin committed
71
  Deployment::Configuration => "{devname ""/dev/ttyUSB1"", speed b115200, bits 8}";
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
  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::Controller;
WITH interfaceview::IV::stm32_debug;
Maxime Perrotin's avatar
Maxime Perrotin committed
87
WITH interfaceview::IV::watchdog;
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
WITH ocarina_processors_arm;
WITH deploymentview::DV::Node1;
WITH interfaceview::IV::User;
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_Controller : SYSTEM interfaceview::IV::Controller::Controller.others {
    Taste::FunctionName => "Controller";
  };
  IV_stm32_debug : SYSTEM interfaceview::IV::stm32_debug::stm32_debug.others {
    Taste::FunctionName => "stm32_debug";
  };
Maxime Perrotin's avatar
Maxime Perrotin committed
111
112
113
  IV_watchdog : SYSTEM interfaceview::IV::watchdog::watchdog.others {
    Taste::FunctionName => "watchdog";
  };
114
  stm32_controller : PROCESS deploymentview::DV::Node1::stm32_controller.others {
Maxime Perrotin's avatar
Maxime Perrotin committed
115
    Taste::coordinates => "92545 69482 130440 82832";
116
117
    Deployment::Port_Number => 0;
  };
118
  stm32f407_discovery_gnat2020 : PROCESSOR ocarina_processors_arm::stm32f407_discovery.gnat2020 {
Maxime Perrotin's avatar
Maxime Perrotin committed
119
    Taste::coordinates => "87808 62141 135177 85510";
120
121
  };
  STM32F4_serial_pohiada : DEVICE deploymentview::DV::Node1::STM32F4_serial_pohiada.others {
Maxime Perrotin's avatar
Maxime Perrotin committed
122
    Taste::coordinates => "99840 89289 122674 98108";
123
124
125
126
127
128
  };
CONNECTIONS
  STM32F4_serial_pohiada_serial_generic_link : BUS ACCESS STM32F4_serial_pohiada_serial_generic -> STM32F4_serial_pohiada.link;
PROPERTIES
  Taste::APLC_Binding => (reference (stm32_controller)) APPLIES TO IV_Controller;
  Taste::APLC_Binding => (reference (stm32_controller)) APPLIES TO IV_stm32_debug;
Maxime Perrotin's avatar
Maxime Perrotin committed
129
  Taste::APLC_Binding => (reference (stm32_controller)) APPLIES TO IV_watchdog;
130
131
  Actual_Processor_Binding => (reference (stm32f407_discovery_gnat2020)) APPLIES TO stm32_controller;
  Actual_Processor_Binding => (reference (stm32f407_discovery_gnat2020)) APPLIES TO STM32F4_serial_pohiada;
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
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_User : SYSTEM interfaceview::IV::User::User.others {
    Taste::FunctionName => "User";
  };
  x86_user : PROCESS deploymentview::DV::Node2::x86_user.others {
    Taste::coordinates => "160222 68515 191264 82990";
    Deployment::Port_Number => 0;
  };
  x86_linux : PROCESSOR ocarina_processors_x86::x86.linux {
    Taste::coordinates => "156342 61636 195144 87084";
  };
  generic_serial_pohiada : DEVICE deploymentview::DV::Node2::generic_serial_pohiada.others {
Maxime Perrotin's avatar
Maxime Perrotin committed
152
    Taste::coordinates => "162830 88816 188184 98265";
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
  };
CONNECTIONS
  generic_serial_pohiada_serial_generic_link : BUS ACCESS generic_serial_pohiada_serial_generic -> generic_serial_pohiada.link;
PROPERTIES
  Taste::APLC_Binding => (reference (x86_user)) APPLIES TO IV_User;
  Actual_Processor_Binding => (reference (x86_linux)) APPLIES TO x86_user;
  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 {
Maxime Perrotin's avatar
Maxime Perrotin committed
168
    Taste::coordinates => "81887 51653 141098 104092";
169
170
171
172
173
174
175
176
177
178
  };
  Node2 : SYSTEM Node2.others {
    Taste::coordinates => "151492 51810 199994 100942";
  };
  serial_generic : BUS ocarina_buses::serial.generic {
    Taste::coordinates => "108186 116060 181727 133382";
  };
  interfaceview : SYSTEM interfaceview::IV::interfaceview.others;
CONNECTIONS
  Connection2 : BUS ACCESS serial_generic -> Node1.STM32F4_serial_pohiada_serial_generic {
Maxime Perrotin's avatar
Maxime Perrotin committed
179
    Taste::coordinates => "110233 98108 110233 107084 123886 107084 123886 116060";
180
181
  };
  Connection1 : BUS ACCESS serial_generic -> Node2.generic_serial_pohiada_serial_generic {
Maxime Perrotin's avatar
Maxime Perrotin committed
182
    Taste::coordinates => "169129 98265 169129 107320 167507 107320 167507 116060";
183
184
185
186
187
188
189
190
191
192
193
194
  };
PROPERTIES
  Actual_Connection_Binding => (reference (serial_generic)) APPLIES TO interfaceview.Controller_PI_Button_User_RI_Button;
  Actual_Connection_Binding => (reference (serial_generic)) APPLIES TO interfaceview.Controller_PI_Initialize_User_RI_Initialize;
  Actual_Connection_Binding => (reference (serial_generic)) APPLIES TO interfaceview.User_PI_Color_Controller_RI_Color;
  Actual_Connection_Binding => (reference (serial_generic)) APPLIES TO interfaceview.User_PI_Info_User_Controller_RI_Info_User;
END deploymentview.others;

PROPERTIES
  Taste::coordinates => "0 0 297000 210000";
  Taste::version => "2.3";
  Taste::interfaceView => "InterfaceView.aadl";
Maxime Perrotin's avatar
Maxime Perrotin committed
195
  Taste::HWLibraries => ("../../../../tool-inst/share/ocarina/AADLv2/ocarina_components.aadl");
196
197
END deploymentview::DV;