Commit d2f7b19f authored by Thanassis Tsiodras's avatar Thanassis Tsiodras

Added Demo_ABB

parent 8fad236a
Lift-dataview DEFINITIONS ::=
BEGIN
UpDown ::= ENUMERATED { up (1), down (0) }
OnOff ::= ENUMERATED { on (1), off (0) }
OpenClose ::= ENUMERATED { door-open (1), door-close (0) }
Position ::= REAL (0.0 .. 100.0)
--Flag ::= BOOLEAN
Floors ::= ENUMERATED {
floor-0 (10),
floor-1 (20),
floor-2 (30),
floor-3 (40),
floor-4 (50),
floor-5 (60)
}
-- Types used for the interfacing with the Simulink model
Lift-control ::= SEQUENCE {
direction UpDown,
motor OnOff,
brake OnOff,
door OpenClose
}
Lift-sensor ::= SEQUENCE {
door-open BOOLEAN,
door-closed BOOLEAN,
floor-detected BOOLEAN,
pos-x Position
}
-- Types used for the user interaction
Floor-button ::= SEQUENCE {
floor Floors,
direction UpDown
}
Cabin-button ::= CHOICE {
emergency-stop BOOLEAN,
floor Floors
}
Start-condition ::= CHOICE {
forever BOOLEAN,
nb-of-cycle INTEGER (1..255)
}
END
PACKAGE deploymentview::DV
PUBLIC
WITH Deployment;
WITH Taste;
WITH interfaceview::IV;
WITH interfaceview::IV::Lift;
WITH ocarina_processors_x86;
---------------------------------------------------
-- TASTE Deployement View
---------------------------------------------------
----------------------
-- ProcessorBoards --
----------------------
SYSTEM obj149_obj149
END obj149_obj149;
PROCESS Demo_ABB_obj169
END Demo_ABB_obj169;
PROCESS IMPLEMENTATION Demo_ABB_obj169.others
END Demo_ABB_obj169.others;
MEMORY obj179_obj179
END obj179_obj179;
MEMORY IMPLEMENTATION obj179_obj179.others
END obj179_obj179.others;
SYSTEM IMPLEMENTATION obj149_obj149.others
SUBCOMPONENTS
Demo_ABB_obj169 : PROCESS Demo_ABB_obj169.others
{ Taste::Coordinates => "849 348 2057 1115";
Deployment::Port_Number => 0;};
Controller_obj394 : SYSTEM interfaceview::IV::Lift::Controller
{ Taste::Coordinates => "870 467 1309 772" ;};
Lift_Model_obj444 : SYSTEM interfaceview::IV::Lift::Lift_Model
{ Taste::Coordinates => "1363 425 1674 644" ;};
User_obj681 : SYSTEM interfaceview::IV::User
{ Taste::Coordinates => "1593 786 1933 1037" ;};
obj159_obj159 : PROCESSOR ocarina_processors_x86::x86.linux
{ Taste::Coordinates => "752 292 2198 1214"; };
obj179_obj179 : MEMORY obj179_obj179.others
{ Taste::Coordinates => "2160 287 2603 288"; };
PROPERTIES
-- Connexion des CPUs aux process/drivers
Actual_Processor_Binding => (reference (obj159_obj159)) applies to Demo_ABB_obj169;
Taste::APLC_Binding => (reference(Demo_ABB_obj169)) APPLIES TO Controller_obj394;
Taste::APLC_Binding => (reference(Demo_ABB_obj169)) APPLIES TO Lift_Model_obj444;
Taste::APLC_Binding => (reference(Demo_ABB_obj169)) APPLIES TO User_obj681;
Actual_Memory_Binding => (reference (obj179_obj179)) applies to Demo_ABB_obj169;
END obj149_obj149.others;
--------------
-- Devices--
--------------
-----------
-- Buses --
-----------
-----------------
-- Root System --
-----------------
SYSTEM deploymentview
END deploymentview;
SYSTEM IMPLEMENTATION deploymentview.others
SUBCOMPONENTS
-- The processor boards
obj149_obj149 : SYSTEM obj149_obj149.others
{ Taste::Coordinates => "743 241 2672 1356"; };
-- The devices
-- The buses
-- The IV systems
interfaceview_obj54 : SYSTEM interfaceview::IV::interfaceview.others;
END deploymentview.others;
PROPERTIES
Taste::Coordinates => "0 0 2970 2100";
Taste::interfaceView => "InterfaceView.aadl";
END deploymentview::DV;
---------------------------------------
-- copied aadl libraries
\ No newline at end of file
PACKAGE interfaceview::IV
PUBLIC
WITH DataView;
WITH interfaceview::FV;
WITH Taste;
WITH interfaceview::IV::Lift;
---------------------------------------------------
-- TASTE Interface View
---------------------------------------------------
SYSTEM interfaceview
END interfaceview;
SYSTEM IMPLEMENTATION interfaceview.others
SUBCOMPONENTS
Controller: SYSTEM interfaceview::IV::Lift::Controller.others
{ Taste::Coordinates => "1519 671 2027 1599"; };
Lift_Model: SYSTEM interfaceview::IV::Lift::Lift_Model.others
{ Taste::Coordinates => "2306 631 2835 1403"; };
User: SYSTEM interfaceview::IV::User.others
{ Taste::Coordinates => "250 606 896 1587"; };
CONNECTIONS
obj855 : SUBPROGRAM ACCESS Lift_Model.Operate_lift_obj284 -> Controller.obj770_obj233
{ Taste::Coordinates => "2027 859 2166 859 2166 859 2306 859"; };
obj1798 : SUBPROGRAM ACCESS User.door_status_obj86 -> Controller.obj1632_obj243
{ Taste::Coordinates => "1519 1128 1207 1128 1207 1128 896 1128"; };
obj1866 : SUBPROGRAM ACCESS User.floor_detected_obj98 -> Controller.obj1650_obj253
{ Taste::Coordinates => "1519 1237 1207 1237 1207 1237 896 1237"; };
obj1980 : SUBPROGRAM ACCESS User.position_obj110 -> Controller.obj1668_obj263
{ Taste::Coordinates => "1519 1338 1207 1338 1207 1338 896 1338"; };
obj1181 : SUBPROGRAM ACCESS Controller.Floor_Command_obj185 -> User.obj1099_obj122
{ Taste::Coordinates => "896 816 1207 816 1207 816 1519 816"; };
obj1263 : SUBPROGRAM ACCESS Controller.Cabin_Command_obj197 -> User.obj1201_obj132
{ Taste::Coordinates => "896 917 1207 917 1207 917 1519 917"; };
obj784 : SUBPROGRAM ACCESS Controller.Manual_Control_obj209 -> User.obj707_obj142
{ Taste::Coordinates => "896 1017 1207 1017 1207 1017 1519 1017"; };
obj929 : SUBPROGRAM ACCESS Controller.Start_obj221 -> User.obj837_obj152
{ Taste::Coordinates => "896 1467 1207 1467 1207 1467 1519 1467"; };
END interfaceview.others;
---------------------------------------------------
-- TASTE Function: interfaceview::IV::User
---------------------------------------------------
SYSTEM User
FEATURES
door_status_obj86 : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::door_status_obj86.others
{ Taste::Coordinates => "896 1128";
Taste::RCMoperationKind => sporadic;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::Importance => MEDIUM ;};
floor_detected_obj98 : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::floor_detected_obj98.others
{ Taste::Coordinates => "896 1237";
Taste::RCMoperationKind => sporadic;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::Importance => MEDIUM ;};
position_obj110 : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::position_obj110.others
{ Taste::Coordinates => "896 1338";
Taste::RCMoperationKind => sporadic;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::Importance => MEDIUM ;};
obj1099_obj122 : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::Floor_Command_obj185.others
{ Taste::Coordinates => "896 816";
Taste::RCMoperationKind => sporadic;};
obj1201_obj132 : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::Cabin_Command_obj197.others
{ Taste::Coordinates => "896 917";
Taste::RCMoperationKind => sporadic;};
obj707_obj142 : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::Manual_Control_obj209.others
{ Taste::Coordinates => "896 1017";
Taste::RCMoperationKind => sporadic;};
obj837_obj152 : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::Start_obj221.others
{ Taste::Coordinates => "896 1467";
Taste::RCMoperationKind => sporadic;};
PROPERTIES
Source_Language => GUI;
Taste::Instance_Name => "Function0";
END User;
SYSTEM IMPLEMENTATION User.others
SUBCOMPONENTS
door_status_obj86_impl : SUBPROGRAM interfaceview::FV::door_status_obj86.others
{ Compute_Execution_Time => 0ms..0ms ;};
floor_detected_obj98_impl : SUBPROGRAM interfaceview::FV::floor_detected_obj98.others
{ Compute_Execution_Time => 0ms..0ms ;};
position_obj110_impl : SUBPROGRAM interfaceview::FV::position_obj110.others
{ Compute_Execution_Time => 0ms..0ms ;};
CONNECTIONS
SUBPROGRAM ACCESS door_status_obj86_impl -> door_status_obj86;
SUBPROGRAM ACCESS floor_detected_obj98_impl -> floor_detected_obj98;
SUBPROGRAM ACCESS position_obj110_impl -> position_obj110;
END User.others;
PROPERTIES
Taste::Coordinates => "0 0 2970 2100";
Taste::dataView => ("DataView");
Taste::dataViewPath => ("DataView.aadl");
END interfaceview::IV;
PACKAGE interfaceview::IV::Lift
PUBLIC
WITH interfaceview::FV;
WITH DataView;
WITH Taste;
---------------------------------------------------
-- TASTE Function: interfaceview::IV::Lift::Controller
---------------------------------------------------
SYSTEM Controller
FEATURES
Pulse_obj174 : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::Pulse_obj174.others
{ Taste::Coordinates => "1773 671";
Taste::RCMoperationKind => cyclic;
Taste::RCMperiod => 50 ms;
Taste::Deadline => 0 ms;
Taste::Importance => MEDIUM ;};
Floor_Command_obj185 : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::Floor_Command_obj185.others
{ Taste::Coordinates => "1519 816";
Taste::RCMoperationKind => sporadic;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::Importance => MEDIUM ;};
Cabin_Command_obj197 : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::Cabin_Command_obj197.others
{ Taste::Coordinates => "1519 917";
Taste::RCMoperationKind => sporadic;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::Importance => MEDIUM ;};
Manual_Control_obj209 : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::Manual_Control_obj209.others
{ Taste::Coordinates => "1519 1017";
Taste::RCMoperationKind => sporadic;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::Importance => MEDIUM ;};
Start_obj221 : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::Start_obj221.others
{ Taste::Coordinates => "1519 1467";
Taste::RCMoperationKind => sporadic;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::Importance => MEDIUM ;};
obj770_obj233 : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::Operate_lift_obj284.others
{ Taste::Coordinates => "2027 859";
Taste::RCMoperationKind => unprotected;};
obj1632_obj243 : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::door_status_obj86.others
{ Taste::Coordinates => "1519 1128";
Taste::RCMoperationKind => sporadic;};
obj1650_obj253 : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::floor_detected_obj98.others
{ Taste::Coordinates => "1519 1237";
Taste::RCMoperationKind => sporadic;};
obj1668_obj263 : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::position_obj110.others
{ Taste::Coordinates => "1519 1338";
Taste::RCMoperationKind => sporadic;};
PROPERTIES
Source_Language => RTDS;
Taste::Instance_Name => "Function3";
END Controller;
SYSTEM IMPLEMENTATION Controller.others
SUBCOMPONENTS
starting_floor_obj163 : DATA DataView::Floors
{ Taste::FS_Default_Value => "floor_0"; };
Pulse_obj174_impl : SUBPROGRAM interfaceview::FV::Pulse_obj174.others
{ Compute_Execution_Time => 0ms..0ms ;};
Floor_Command_obj185_impl : SUBPROGRAM interfaceview::FV::Floor_Command_obj185.others
{ Compute_Execution_Time => 0ms..0ms ;};
Cabin_Command_obj197_impl : SUBPROGRAM interfaceview::FV::Cabin_Command_obj197.others
{ Compute_Execution_Time => 0ms..0ms ;};
Manual_Control_obj209_impl : SUBPROGRAM interfaceview::FV::Manual_Control_obj209.others
{ Compute_Execution_Time => 0ms..0ms ;};
Start_obj221_impl : SUBPROGRAM interfaceview::FV::Start_obj221.others
{ Compute_Execution_Time => 0ms..0ms ;};
CONNECTIONS
DATA ACCESS starting_floor_obj163 -> Pulse_obj174_impl.starting_floor_obj163;
SUBPROGRAM ACCESS Pulse_obj174_impl -> Pulse_obj174;
DATA ACCESS starting_floor_obj163 -> Floor_Command_obj185_impl.starting_floor_obj163;
SUBPROGRAM ACCESS Floor_Command_obj185_impl -> Floor_Command_obj185;
DATA ACCESS starting_floor_obj163 -> Cabin_Command_obj197_impl.starting_floor_obj163;
SUBPROGRAM ACCESS Cabin_Command_obj197_impl -> Cabin_Command_obj197;
DATA ACCESS starting_floor_obj163 -> Manual_Control_obj209_impl.starting_floor_obj163;
SUBPROGRAM ACCESS Manual_Control_obj209_impl -> Manual_Control_obj209;
DATA ACCESS starting_floor_obj163 -> Start_obj221_impl.starting_floor_obj163;
SUBPROGRAM ACCESS Start_obj221_impl -> Start_obj221;
END Controller.others;
---------------------------------------------------
-- TASTE Function: interfaceview::IV::Lift::Lift_Model
---------------------------------------------------
SYSTEM Lift_Model
FEATURES
Operate_lift_obj284 : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::Operate_lift_obj284.others
{ Taste::Coordinates => "2306 859";
Taste::RCMoperationKind => unprotected;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::Importance => MEDIUM ;};
PROPERTIES
Source_Language => Simulink;
Taste::Instance_Name => "Function4";
END Lift_Model;
SYSTEM IMPLEMENTATION Lift_Model.others
SUBCOMPONENTS
Operate_lift_obj284_impl : SUBPROGRAM interfaceview::FV::Operate_lift_obj284.others
{ Compute_Execution_Time => 0ms..0ms ;};
CONNECTIONS
SUBPROGRAM ACCESS Operate_lift_obj284_impl -> Operate_lift_obj284;
END Lift_Model.others;
PROPERTIES
Taste::Coordinates => "1331 348 2897 1788";
END interfaceview::IV::Lift;
PACKAGE interfaceview::FV
PUBLIC
WITH DataView;
WITH TASTE;
SUBPROGRAM Pulse_obj174
FEATURES
starting_floor_obj163 : REQUIRES DATA ACCESS DataView::Floors;
END Pulse_obj174;
SUBPROGRAM IMPLEMENTATION Pulse_obj174.others
END Pulse_obj174.others;
SUBPROGRAM Floor_Command_obj185
FEATURES
button : IN PARAMETER DataView::Floor_button
{ Taste::encoding => NATIVE; };
starting_floor_obj163 : REQUIRES DATA ACCESS DataView::Floors;
PROPERTIES
Taste::Associated_Queue_Size => 1;
END Floor_Command_obj185;
SUBPROGRAM IMPLEMENTATION Floor_Command_obj185.others
END Floor_Command_obj185.others;
SUBPROGRAM Cabin_Command_obj197
FEATURES
button : IN PARAMETER DataView::Cabin_button
{ Taste::encoding => NATIVE; };
starting_floor_obj163 : REQUIRES DATA ACCESS DataView::Floors;
PROPERTIES
Taste::Associated_Queue_Size => 1;
END Cabin_Command_obj197;
SUBPROGRAM IMPLEMENTATION Cabin_Command_obj197.others
END Cabin_Command_obj197.others;
SUBPROGRAM Manual_Control_obj209
FEATURES
cmd : IN PARAMETER DataView::Lift_control
{ Taste::encoding => NATIVE; };
starting_floor_obj163 : REQUIRES DATA ACCESS DataView::Floors;
PROPERTIES
Taste::Associated_Queue_Size => 1;
END Manual_Control_obj209;
SUBPROGRAM IMPLEMENTATION Manual_Control_obj209.others
END Manual_Control_obj209.others;
SUBPROGRAM Start_obj221
FEATURES
start_param : IN PARAMETER DataView::Start_condition
{ Taste::encoding => NATIVE; };
starting_floor_obj163 : REQUIRES DATA ACCESS DataView::Floors;
PROPERTIES
Taste::Associated_Queue_Size => 1;
END Start_obj221;
SUBPROGRAM IMPLEMENTATION Start_obj221.others
END Start_obj221.others;
SUBPROGRAM Operate_lift_obj284
FEATURES
lift_command : IN PARAMETER DataView::Lift_control
{ Taste::encoding => NATIVE; };
lift_sensors : OUT PARAMETER DataView::Lift_sensor
{ Taste::encoding => NATIVE; };
END Operate_lift_obj284;
SUBPROGRAM IMPLEMENTATION Operate_lift_obj284.others
END Operate_lift_obj284.others;
SUBPROGRAM door_status_obj86
FEATURES
status : IN PARAMETER DataView::OpenClose
{ Taste::encoding => NATIVE; };
PROPERTIES
Taste::Associated_Queue_Size => 1;
END door_status_obj86;
SUBPROGRAM IMPLEMENTATION door_status_obj86.others
END door_status_obj86.others;
SUBPROGRAM floor_detected_obj98
FEATURES
floor : IN PARAMETER DataView::Floors
{ Taste::encoding => NATIVE; };
PROPERTIES
Taste::Associated_Queue_Size => 1;
END floor_detected_obj98;
SUBPROGRAM IMPLEMENTATION floor_detected_obj98.others
END floor_detected_obj98.others;
SUBPROGRAM position_obj110
FEATURES
pos : IN PARAMETER DataView::Position
{ Taste::encoding => NATIVE; };
PROPERTIES
Taste::Associated_Queue_Size => 1;
END position_obj110;
SUBPROGRAM IMPLEMENTATION position_obj110.others
END position_obj110.others;
END interfaceview::FV;
Demo_ABB
Implementation of a demonstrator showing the integration of RTDS and Simulink on a complex lift system (implemented and provided by ABB).
This system also shows the plot and GUI. It can be used for MSC tracing as well.
A video (video-abb.avi) is available showing how to use this system
Author of the Simulink model of the lift system: Stein-Erik Ellevseth (ABB)
#!/bin/bash
# This script will build your TASTE system.
# You must check it before running it: it may need to be adapted to your context:
# 1) You may need to fix some paths and filenames (path to interface/deployment views)
# 2) You may need to specify additional paths for the compiler to find .h file
# (e.g. "export C_INCLUDE_PATH=/usr/include/xenomai/analogy/:$C_INCLUDE_PATH")
# 3) You may need to link with pre-built libraries, using the -l option
# (e.g. -l /usr/lib/libanalogy.a,/usr/lib/librtdm.a)
# 4) You may need to change the runtime (add -p flag to select PolyORB-HI-C)
# etc.
# Note: TASTE will not overwrite your changes - if you need to update some parts
# you will have to merge the changes with the newly-created "build-script.new.sh" file.
taste-update-data-view
rm -f lift_model.zip
zip lift_model lift_model/*
[ ! -z "$CLEANUP" ] && rm -rf binary
echo Building the system with the Ada runtime
assert-builder-ocarina.py \
-f -p -g \
--aadlv2 \
--keep-case \
--interfaceView InterfaceView.aadl \
--deploymentView DeploymentView.aadl \
-o binary \
--subRTDS controller:controller/controller.zip \
--subSIMULINK lift_model:lift_model.zip
/home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller_project.rdp assertvm 127.0.1.1 linux2
SYMB45 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 194
SYMB271 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 287
SYMB11 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 180
SYMB152 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 244
SYMB262 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 310
SYMB76 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 259
SYMB74 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 241
SYMB75 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 227
SYMB72 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 232
SYMB73 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 249
SYMB70 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 210
SYMB71 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 230
SYMB325 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 99
SYMB324 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 97
SYMB327 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 105
SYMB151 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 253
SYMB321 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 198
SYMB320 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 176
SYMB323 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 206
SYMB322 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 205
SYMB329 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 107
SYMB266 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 296
SYMB9 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 161
SYMB185 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 104
SYMB184 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 86
SYMB187 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 116
SYMB186 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 109
SYMB2 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 49
SYMB350 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 191
SYMB349 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 185
SYMB6 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 63
SYMB273 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 280
SYMB4 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 69
SYMB351 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 187
SYMB20 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 182
SYMB23 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 181
SYMB44 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 200
SYMB42 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 193
SYMB41 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 183
SYMB263 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 281
SYMB68 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 196
SYMB260 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 261
SYMB295 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 125
SYMB150 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 236
SYMB296 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 142
SYMB352 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 197
SYMB261 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 278
SYMB270 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 301
SYMB330 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 119
SYMB267 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 283
SYMB268 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 304
SYMB269 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 292
SYMB318 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 174
SYMB274 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 229
SYMB255 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 121
SYMB254 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 120
SYMB257 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 112
SYMB256 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 111
SYMB315 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 143
SYMB317 /home/assert/extra-space/tool-src/testSuites/Regression_AADLv2/Demo_ABB/controller/controller/controller_p.c 160
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE DictionaryObjects SYSTEM "rtdsDictionaryObjects.dtd">
<DictionaryObjects language="sdl" diagramType="prcs">
<Signal id="SIG1" name="Start">
<SignalParameterType>Start_condition</SignalParameterType>
<InputSymbols>
<SymbolReference symbolId="SYMB315"/>
</InputSymbols>
</Signal>
<Signal id="SIG2" name="Pulse">
<InputSymbols>
<SymbolReference symbolId="SYMB9"/>
<SymbolReference symbolId="SYMB184"/>
</InputSymbols>
</Signal>
<Signal id="SIG3" name="floor_detected">
<SignalParameterType>Floors</SignalParameterType>
<SendSymbols>
<SymbolReference symbolId="SYMB330"/>
<SymbolReference symbolId="SYMB42"/>
</SendSymbols>
</Signal>
<Signal id="SIG4" name="position">
<SignalParameterType>Position</SignalParameterType>
<SendSymbols>
<SymbolReference symbolId="SYMB254"/>
<SymbolReference symbolId="SYMB68"/>
<SymbolReference symbolId="SYMB256"/>
</SendSymbols>
</Signal>
<Signal id="SIG5" name="Manual_Control">
<SignalParameterType>Lift_control</SignalParameterType>
<InputSymbols>
<SymbolReference symbolId="SYMB295"/>
</InputSymbols>
</Signal>
<Signal id="SIG6" name="Floor_Command">
<SignalParameterType>Floor_button</SignalParameterType>
<InputSymbols>
<SymbolReference symbolId="SYMB70"/>
</InputSymbols>
</Signal>
<Signal id="SIG7" name="door_status">