Skip to content

GitLab

Commit b42fb56c authored by Daniel Tonoiu's avatar Daniel Tonoiu
Browse files

st01_routing: existence and readiness of the destination 01

parent 01e9765e
Expand all Hide whitespace changes
Inline Side-by-side
DataView.aadl
View file @ b42fb56c
This diff is collapsed.
DeploymentView.aadl
View file @ b42fb56c
......@@ -92,11 +92,11 @@ END Node1;
SYSTEM IMPLEMENTATION Node1.others
SUBCOMPONENTS
IV_ground : SYSTEM interfaceview::IV::ground.others {
Taste::coordinates => "1606 1385 2072 1508";
Taste::coordinates => "1573 1329 1922 1422";
Taste::FunctionName => "ground";
};
ground : PROCESS deploymentview::DV::Node1::ground.others {
Taste::coordinates => "1372 1231 2501 1575";
Taste::coordinates => "1361 1231 2490 1575";
Deployment::Port_Number => 0;
};
x86_linux32 : PROCESSOR ocarina_processors_x86::x86.linux32 {
......@@ -121,13 +121,21 @@ END Node2;
SYSTEM IMPLEMENTATION Node2.others
SUBCOMPONENTS
IV_ST01_routing : SYSTEM interfaceview::IV::ST01_routing.others {
Taste::coordinates => "1482 497 1703 610";
Taste::coordinates => "1431 457 1606 536";
Taste::FunctionName => "ST01_routing";
};
IV_ST02_device_access : SYSTEM interfaceview::IV::ST02_device_access.others {
Taste::coordinates => "1898 513 2134 615";
Taste::coordinates => "1448 577 1614 653";
Taste::FunctionName => "ST02_device_access";
};
IV_Sensor1 : SYSTEM interfaceview::IV::Sensor1.others {
Taste::coordinates => "1723 468 1846 525";
Taste::FunctionName => "Sensor1";
};
IV_Sensor2 : SYSTEM interfaceview::IV::Sensor2.others {
Taste::coordinates => "1851 544 2045 610";
Taste::FunctionName => "Sensor2";
};
spacecraft : PROCESS deploymentview::DV::Node2::spacecraft.others {
Taste::coordinates => "1347 370 2525 697";
Deployment::Port_Number => 0;
......@@ -143,6 +151,8 @@ CONNECTIONS
PROPERTIES
Taste::APLC_Binding => (reference (spacecraft)) APPLIES TO IV_ST01_routing;
Taste::APLC_Binding => (reference (spacecraft)) APPLIES TO IV_ST02_device_access;
Taste::APLC_Binding => (reference (spacecraft)) APPLIES TO IV_Sensor1;
Taste::APLC_Binding => (reference (spacecraft)) APPLIES TO IV_Sensor2;
Actual_Processor_Binding => (reference (x86_linux32)) APPLIES TO spacecraft;
Actual_Processor_Binding => (reference (x86_linux32)) APPLIES TO generic_sockets_ip_pohic;
END Node2.others;
......@@ -170,12 +180,12 @@ CONNECTIONS
Taste::coordinates => "873 518 731 518 731 686 599 686";
};
PROPERTIES
Actual_Connection_Binding => (reference (ip_i)) APPLIES TO interfaceview.ST01_routing_TC_test_ground_TC_test;
Taste::Coordinates => "338 506 450 645" APPLIES TO interfaceview.ST01_routing_TC_test_ground_TC_test;
Actual_Connection_Binding => (reference (ip_i)) APPLIES TO interfaceview.ST01_routing_testI_ground_testI;
Taste::Coordinates => "298 735 440 861" APPLIES TO interfaceview.ST01_routing_testI_ground_testI;
Taste::Coordinates => "324 770 442 882" APPLIES TO interfaceview.ST01_routing_testI_ground_testI;
Actual_Connection_Binding => (reference (ip_i)) APPLIES TO interfaceview.ground_test_TM_ST01_routing_test_TM;
Taste::Coordinates => "329 1127 433 1215" APPLIES TO interfaceview.ground_test_TM_ST01_routing_test_TM;
Actual_Connection_Binding => (reference (ip_i)) APPLIES TO interfaceview.ST01_routing_TC_test_ground_TC_test;
Taste::Coordinates => "332 492 449 641" APPLIES TO interfaceview.ST01_routing_TC_test_ground_TC_test;
Taste::Coordinates => "319 1141 444 1245" APPLIES TO interfaceview.ground_test_TM_ST01_routing_test_TM;
END deploymentview.others;
PROPERTIES
......@@ -185,3 +195,4 @@ PROPERTIES
Taste::HWLibraries => ("../tool-inst/share/ocarina/AADLv2/ocarina_components.aadl");
END deploymentview::DV;
-- copied aadl libraries
\ No newline at end of file
InterfaceView.aadl
View file @ b42fb56c
......@@ -63,6 +63,42 @@ END PI_testI;
SUBPROGRAM IMPLEMENTATION PI_testI.others
END PI_testI.others;
SUBPROGRAM PI_TC_test
FEATURES
TC : IN PARAMETER DataView::Telecommand {
Taste::encoding => NATIVE;
};
PROPERTIES
Taste::Associated_Queue_Size => 1;
END PI_TC_test;
SUBPROGRAM IMPLEMENTATION PI_TC_test.others
END PI_TC_test.others;
SUBPROGRAM PI_S1_ready
FEATURES
s1Ready : IN PARAMETER DataView::MyBool {
Taste::encoding => NATIVE;
};
PROPERTIES
Taste::Associated_Queue_Size => 1;
END PI_S1_ready;
SUBPROGRAM IMPLEMENTATION PI_S1_ready.others
END PI_S1_ready.others;
SUBPROGRAM PI_S2_ready
FEATURES
s2Ready : IN PARAMETER DataView::MyBool {
Taste::encoding => NATIVE;
};
PROPERTIES
Taste::Associated_Queue_Size => 1;
END PI_S2_ready;
SUBPROGRAM IMPLEMENTATION PI_S2_ready.others
END PI_S2_ready.others;
SUBPROGRAM RI_testRouting
FEATURES
tc_routing : IN PARAMETER DataView::Test_TC {
......@@ -83,17 +119,31 @@ END RI_test_TM;
SUBPROGRAM IMPLEMENTATION RI_test_TM.others
END RI_test_TM.others;
SUBPROGRAM PI_TC_test
SUBPROGRAM RI_TC_S1
FEATURES
TC : IN PARAMETER DataView::Telecommand {
tc : IN PARAMETER DataView::Telecommand {
Taste::encoding => NATIVE;
};
PROPERTIES
Taste::Associated_Queue_Size => 1;
END PI_TC_test;
END RI_TC_S1;
SUBPROGRAM IMPLEMENTATION PI_TC_test.others
END PI_TC_test.others;
SUBPROGRAM IMPLEMENTATION RI_TC_S1.others
END RI_TC_S1.others;
SUBPROGRAM RI_TC_S2
FEATURES
tc : IN PARAMETER DataView::Telecommand {
Taste::encoding => NATIVE;
};
END RI_TC_S2;
SUBPROGRAM IMPLEMENTATION RI_TC_S2.others
END RI_TC_S2.others;
SUBPROGRAM RI_askS1
END RI_askS1;
SUBPROGRAM IMPLEMENTATION RI_askS1.others
END RI_askS1.others;
END interfaceview::FV::ST01_routing;
......@@ -117,12 +167,82 @@ END PI_testRouting.others;
END interfaceview::FV::ST02_device_access;
PACKAGE interfaceview::FV::Sensor1
PUBLIC
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SUBPROGRAM PI_TC_S1
FEATURES
tc : IN PARAMETER DataView::Telecommand {
Taste::encoding => NATIVE;
};
PROPERTIES
Taste::Associated_Queue_Size => 1;
END PI_TC_S1;
SUBPROGRAM IMPLEMENTATION PI_TC_S1.others
END PI_TC_S1.others;
SUBPROGRAM RI_S1_ready
FEATURES
s1Ready : IN PARAMETER DataView::MyBool {
Taste::encoding => NATIVE;
};
END RI_S1_ready;
SUBPROGRAM IMPLEMENTATION RI_S1_ready.others
END RI_S1_ready.others;
SUBPROGRAM PI_askS1
PROPERTIES
Taste::Associated_Queue_Size => 1;
END PI_askS1;
SUBPROGRAM IMPLEMENTATION PI_askS1.others
END PI_askS1.others;
END interfaceview::FV::Sensor1;
PACKAGE interfaceview::FV::Sensor2
PUBLIC
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SUBPROGRAM PI_TC_S2
FEATURES
tc : IN PARAMETER DataView::Telecommand {
Taste::encoding => NATIVE;
};
PROPERTIES
Taste::Associated_Queue_Size => 1;
END PI_TC_S2;
SUBPROGRAM IMPLEMENTATION PI_TC_S2.others
END PI_TC_S2.others;
SUBPROGRAM RI_S2_ready
FEATURES
s2Ready : IN PARAMETER DataView::MyBool {
Taste::encoding => NATIVE;
};
END RI_S2_ready;
SUBPROGRAM IMPLEMENTATION RI_S2_ready.others
END RI_S2_ready.others;
END interfaceview::FV::Sensor2;
PACKAGE interfaceview::IV
PUBLIC
WITH interfaceview::FV::ground;
WITH interfaceview::FV::ST01_routing;
WITH interfaceview::FV::ST02_device_access;
WITH interfaceview::FV::Sensor1;
WITH interfaceview::FV::Sensor2;
WITH interfaceview::FV;
WITH Taste;
WITH DataView;
......@@ -170,6 +290,27 @@ FEATURES
Taste::Deadline => 0 ms;
Taste::InterfaceName => "testI";
};
PI_TC_test : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::ST01_routing::PI_TC_test.others {
Taste::coordinates => "667 1263";
Taste::RCMoperationKind => sporadic;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "TC_test";
};
PI_S1_ready : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::ST01_routing::PI_S1_ready.others {
Taste::coordinates => "1406 951";
Taste::RCMoperationKind => sporadic;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "S1_ready";
};
PI_S2_ready : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::ST01_routing::PI_S2_ready.others {
Taste::coordinates => "2036 1030";
Taste::RCMoperationKind => sporadic;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "S2_ready";
};
RI_testRouting : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::ST02_device_access::PI_testRouting.others {
Taste::coordinates => "523 951";
Taste::RCMoperationKind => any;
......@@ -182,10 +323,23 @@ FEATURES
Taste::InterfaceName => "test_TM";
Taste::labelInheritance => "true";
};
PI_TC_test : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::ST01_routing::PI_TC_test.others {
Taste::coordinates => "667 1263";
Taste::RCMoperationKind => sporadic;
Taste::InterfaceName => "TC_test";
RI_TC_S1 : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::Sensor1::PI_TC_S1.others {
Taste::coordinates => "1825 951";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "TC_S1";
Taste::labelInheritance => "true";
};
RI_TC_S2 : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::Sensor2::PI_TC_S2.others {
Taste::coordinates => "2036 1131";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "TC_S2";
Taste::labelInheritance => "true";
};
RI_askS1 : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::Sensor1::PI_askS1.others {
Taste::coordinates => "1583 951";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "askS1";
Taste::labelInheritance => "true";
};
PROPERTIES
Source_Language => (SDL);
......@@ -199,9 +353,17 @@ SUBCOMPONENTS
TC_test_impl : SUBPROGRAM interfaceview::FV::ST01_routing::PI_TC_test.others {
Compute_Execution_Time => 0 ms .. 0 ms;
};
S1_ready_impl : SUBPROGRAM interfaceview::FV::ST01_routing::PI_S1_ready.others {
Compute_Execution_Time => 0 ms .. 0 ms;
};
S2_ready_impl : SUBPROGRAM interfaceview::FV::ST01_routing::PI_S2_ready.others {
Compute_Execution_Time => 0 ms .. 0 ms;
};
CONNECTIONS
OpToPICnx_testI_impl : SUBPROGRAM ACCESS testI_impl -> PI_testI;
OpToPICnx_TC_test_impl : SUBPROGRAM ACCESS TC_test_impl -> PI_TC_test;
OpToPICnx_S1_ready_impl : SUBPROGRAM ACCESS S1_ready_impl -> PI_S1_ready;
OpToPICnx_S2_ready_impl : SUBPROGRAM ACCESS S2_ready_impl -> PI_S2_ready;
END ST01_routing.others;
SYSTEM ST02_device_access
......@@ -226,6 +388,71 @@ CONNECTIONS
OpToPICnx_testRouting_impl : SUBPROGRAM ACCESS testRouting_impl -> PI_testRouting;
END ST02_device_access.others;
SYSTEM Sensor1
FEATURES
PI_TC_S1 : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::Sensor1::PI_TC_S1.others {
Taste::coordinates => "1891 554";
Taste::RCMoperationKind => sporadic;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "TC_S1";
};
RI_S1_ready : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::ST01_routing::PI_S1_ready.others {
Taste::coordinates => "1498 554";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "S1_ready";
Taste::labelInheritance => "true";
};
PI_askS1 : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::Sensor1::PI_askS1.others {
Taste::coordinates => "1699 554";
Taste::RCMoperationKind => sporadic;
Taste::InterfaceName => "askS1";
};
PROPERTIES
Source_Language => (SDL);
END Sensor1;
SYSTEM IMPLEMENTATION Sensor1.others
SUBCOMPONENTS
TC_S1_impl : SUBPROGRAM interfaceview::FV::Sensor1::PI_TC_S1.others {
Compute_Execution_Time => 0 ms .. 0 ms;
};
askS1_impl : SUBPROGRAM interfaceview::FV::Sensor1::PI_askS1.others {
Compute_Execution_Time => 0 ms .. 0 ms;
};
CONNECTIONS
OpToPICnx_TC_S1_impl : SUBPROGRAM ACCESS TC_S1_impl -> PI_TC_S1;
OpToPICnx_askS1_impl : SUBPROGRAM ACCESS askS1_impl -> PI_askS1;
END Sensor1.others;
SYSTEM Sensor2
FEATURES
PI_TC_S2 : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::Sensor2::PI_TC_S2.others {
Taste::coordinates => "2453 528";
Taste::RCMoperationKind => sporadic;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "TC_S2";
};
RI_S2_ready : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::ST01_routing::PI_S2_ready.others {
Taste::coordinates => "2226 528";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "S2_ready";
Taste::labelInheritance => "true";
};
PROPERTIES
Source_Language => (SDL);
END Sensor2;
SYSTEM IMPLEMENTATION Sensor2.others
SUBCOMPONENTS
TC_S2_impl : SUBPROGRAM interfaceview::FV::Sensor2::PI_TC_S2.others {
Compute_Execution_Time => 0 ms .. 0 ms;
};
CONNECTIONS
OpToPICnx_TC_S2_impl : SUBPROGRAM ACCESS TC_S2_impl -> PI_TC_S2;
END Sensor2.others;
SYSTEM interfaceview
END interfaceview;
......@@ -240,6 +467,12 @@ SUBCOMPONENTS
ST02_device_access : SYSTEM interfaceview::IV::ST02_device_access.others {
Taste::coordinates => "291 357 1160 594";
};
Sensor1 : SYSTEM interfaceview::IV::Sensor1.others {
Taste::coordinates => "1318 349 2028 554";
};
Sensor2 : SYSTEM interfaceview::IV::Sensor2.others {
Taste::coordinates => "2078 302 2600 528";
};
CONNECTIONS
ground_test_TM_ST01_routing_test_TM : SUBPROGRAM ACCESS ground.PI_test_TM -> ST01_routing.RI_test_TM {
Taste::coordinates => "1600 1263 1600 1498 1677 1498 1677 1734";
......@@ -250,9 +483,24 @@ CONNECTIONS
ST01_routing_TC_test_ground_TC_test : SUBPROGRAM ACCESS ST01_routing.PI_TC_test -> ground.RI_TC_test {
Taste::coordinates => "749 1734 749 1498 667 1498 667 1263";
};
ST01_routing_S1_ready_Sensor1_S1_ready : SUBPROGRAM ACCESS ST01_routing.PI_S1_ready -> Sensor1.RI_S1_ready {
Taste::coordinates => "1498 554 1498 752 1406 752 1406 951";
};
ST01_routing_S2_ready_Sensor2_S2_ready : SUBPROGRAM ACCESS ST01_routing.PI_S2_ready -> Sensor2.RI_S2_ready {
Taste::coordinates => "2226 528 2226 1030 2036 1030";
};
ST02_device_access_testRouting_ST01_routing_testRouting : SUBPROGRAM ACCESS ST02_device_access.PI_testRouting -> ST01_routing.RI_testRouting {
Taste::coordinates => "523 951 523 772 575 772 575 594";
};
Sensor1_TC_S1_ST01_routing_TC_S1 : SUBPROGRAM ACCESS Sensor1.PI_TC_S1 -> ST01_routing.RI_TC_S1 {
Taste::coordinates => "1825 951 1825 752 1891 752 1891 554";
};
Sensor2_TC_S2_ST01_routing_TC_S2 : SUBPROGRAM ACCESS Sensor2.PI_TC_S2 -> ST01_routing.RI_TC_S2 {
Taste::coordinates => "2036 1131 2453 1131 2453 528";
};
Sensor1_askS1_ST01_routing_askS1 : SUBPROGRAM ACCESS Sensor1.PI_askS1 -> ST01_routing.RI_askS1 {
Taste::coordinates => "1583 951 1583 752 1699 752 1699 554";
};
END interfaceview.others;
PROPERTIES
......
InterfaceView.md5
View file @ b42fb56c
f20500ea1a15b7581e819a468398f01c InterfaceView.aadl
533ecce6cb62ba2835aedf458e913191 InterfaceView.aadl
binary.c/Concurrency-View.aadl
View file @ b42fb56c
This diff is collapsed.
binary.c/ConcurrencyView/nodes
View file @ b42fb56c
......@@ -10,6 +10,12 @@ vt_ground_gui_polling_ground
* spacecraft PLATFORM_LINUX32
st01_routing
st02_device_access
sensor1
sensor2
spacecraft_taste_api
vt_st01_routing_testi
vt_st01_routing_tc_test
vt_st01_routing_s1_ready
vt_st01_routing_s2_ready
vt_sensor1_tc_s1
vt_sensor1_asks1
binary.c/ConcurrencyView/process.aadl
View file @ b42fb56c
......@@ -16,8 +16,13 @@ public
with vt_ground_test_tm_CV_Thread;
with vt_ground_gui_polling_ground_CV_Thread;
with st02_device_access_CV_Thread;
with sensor2_CV_Thread;
with vt_st01_routing_testi_CV_Thread;
with vt_st01_routing_tc_test_CV_Thread;
with vt_st01_routing_s1_ready_CV_Thread;
with vt_st01_routing_s2_ready_CV_Thread;
with vt_sensor1_tc_s1_CV_Thread;
with vt_sensor1_asks1_CV_Thread;
DATA TASTE_Protected
PROPERTIES
......@@ -61,23 +66,54 @@ features
OUTPORT_vt_st01_routing_testi_test_TM : OUT EVENT DATA PORT DataView::Test_TM_Buffer.impl;
INPORT_vt_st01_routing_tc_test_TC_test : IN EVENT DATA PORT DataView::Telecommand_Buffer.impl;
OUTPORT_vt_st01_routing_tc_test_test_TM : OUT EVENT DATA PORT DataView::Test_TM_Buffer.impl;
OUTPORT_vt_st01_routing_s1_ready_test_TM : OUT EVENT DATA PORT DataView::Test_TM_Buffer.impl;
OUTPORT_vt_st01_routing_s2_ready_test_TM : OUT EVENT DATA PORT DataView::Test_TM_Buffer.impl;
end spacecraft;
process implementation spacecraft.final
subcomponents
st01_routing_protected : data TASTE_Protected.Object;
st02_device_access : thread st02_device_access_CV_Thread::st02_device_access_st02_device_access.others;
sensor1_protected : data TASTE_Protected.Object;
sensor2 : thread sensor2_CV_Thread::sensor2_sensor2.others;
vt_st01_routing_testi : thread vt_st01_routing_testi_CV_Thread::vt_st01_routing_testi_vt_st01_routing_testi.others;
vt_st01_routing_tc_test : thread vt_st01_routing_tc_test_CV_Thread::vt_st01_routing_tc_test_vt_st01_routing_tc_test.others;
vt_st01_routing_s1_ready : thread vt_st01_routing_s1_ready_CV_Thread::vt_st01_routing_s1_ready_vt_st01_routing_s1_ready.others;
vt_st01_routing_s2_ready : thread vt_st01_routing_s2_ready_CV_Thread::vt_st01_routing_s2_ready_vt_st01_routing_s2_ready.others;
vt_sensor1_tc_s1 : thread vt_sensor1_tc_s1_CV_Thread::vt_sensor1_tc_s1_vt_sensor1_tc_s1.others;
vt_sensor1_asks1 : thread vt_sensor1_asks1_CV_Thread::vt_sensor1_asks1_vt_sensor1_asks1.others;
connections
PORT sensor2.OUTPORT_S2_ready -> vt_st01_routing_s2_ready.INPORT_artificial_S2_ready;
PORT INPORT_vt_st01_routing_testi_testI -> vt_st01_routing_testi.INPORT_artificial_testI;
PORT vt_st01_routing_testi.OUTPORT_testRouting_vt -> st02_device_access.INPORT_testRouting;
PORT vt_st01_routing_testi.OUTPORT_test_TM_vt -> OUTPORT_vt_st01_routing_testi_test_TM;
PORT vt_st01_routing_testi.OUTPORT_TC_S1_vt -> vt_sensor1_tc_s1.INPORT_artificial_TC_S1;
PORT vt_st01_routing_testi.OUTPORT_TC_S2_vt -> sensor2.INPORT_TC_S2;
PORT vt_st01_routing_testi.OUTPORT_askS1_vt -> vt_sensor1_asks1.INPORT_artificial_askS1;
PORT INPORT_vt_st01_routing_tc_test_TC_test -> vt_st01_routing_tc_test.INPORT_artificial_TC_test;
PORT vt_st01_routing_tc_test.OUTPORT_testRouting_vt -> st02_device_access.INPORT_testRouting;
PORT vt_st01_routing_tc_test.OUTPORT_test_TM_vt -> OUTPORT_vt_st01_routing_tc_test_test_TM;
PORT vt_st01_routing_tc_test.OUTPORT_TC_S1_vt -> vt_sensor1_tc_s1.INPORT_artificial_TC_S1;
PORT vt_st01_routing_tc_test.OUTPORT_TC_S2_vt -> sensor2.INPORT_TC_S2;
PORT vt_st01_routing_tc_test.OUTPORT_askS1_vt -> vt_sensor1_asks1.INPORT_artificial_askS1;
PORT vt_st01_routing_s1_ready.OUTPORT_testRouting_vt -> st02_device_access.INPORT_testRouting;
PORT vt_st01_routing_s1_ready.OUTPORT_test_TM_vt -> OUTPORT_vt_st01_routing_s1_ready_test_TM;
PORT vt_st01_routing_s1_ready.OUTPORT_TC_S1_vt -> vt_sensor1_tc_s1.INPORT_artificial_TC_S1;
PORT vt_st01_routing_s1_ready.OUTPORT_TC_S2_vt -> sensor2.INPORT_TC_S2;
PORT vt_st01_routing_s1_ready.OUTPORT_askS1_vt -> vt_sensor1_asks1.INPORT_artificial_askS1;
PORT vt_st01_routing_s2_ready.OUTPORT_testRouting_vt -> st02_device_access.INPORT_testRouting;
PORT vt_st01_routing_s2_ready.OUTPORT_test_TM_vt -> OUTPORT_vt_st01_routing_s2_ready_test_TM;
PORT vt_st01_routing_s2_ready.OUTPORT_TC_S1_vt -> vt_sensor1_tc_s1.INPORT_artificial_TC_S1;
PORT vt_st01_routing_s2_ready.OUTPORT_TC_S2_vt -> sensor2.INPORT_TC_S2;
PORT vt_st01_routing_s2_ready.OUTPORT_askS1_vt -> vt_sensor1_asks1.INPORT_artificial_askS1;
PORT vt_sensor1_tc_s1.OUTPORT_S1_ready_vt -> vt_st01_routing_s1_ready.INPORT_artificial_S1_ready;
PORT vt_sensor1_asks1.OUTPORT_S1_ready_vt -> vt_st01_routing_s1_ready.INPORT_artificial_S1_ready;
vt_st01_routing_testi_st01_routing: data access st01_routing_protected -> vt_st01_routing_testi.st01_routing_protected;
vt_st01_routing_tc_test_st01_routing: data access st01_routing_protected -> vt_st01_routing_tc_test.st01_routing_protected;
vt_st01_routing_s1_ready_st01_routing: data access st01_routing_protected -> vt_st01_routing_s1_ready.st01_routing_protected;
vt_st01_routing_s2_ready_st01_routing: data access st01_routing_protected -> vt_st01_routing_s2_ready.st01_routing_protected;
vt_sensor1_tc_s1_sensor1: data access sensor1_protected -> vt_sensor1_tc_s1.sensor1_protected;
vt_sensor1_asks1_sensor1: data access sensor1_protected -> vt_sensor1_asks1.sensor1_protected;
end spacecraft.final;
system deploymentview
......@@ -103,6 +139,8 @@ subcomponents
connections
ground_test_TM_vt_st01_routing_testi_conn_cv : port spacecraft.OUTPORT_vt_st01_routing_testi_test_TM -> ground.INPORT_vt_ground_test_tm_test_TM;
ground_test_TM_vt_st01_routing_tc_test_conn_cv : port spacecraft.OUTPORT_vt_st01_routing_tc_test_test_TM -> ground.INPORT_vt_ground_test_tm_test_TM;
ground_test_TM_vt_st01_routing_s1_ready_conn_cv : port spacecraft.OUTPORT_vt_st01_routing_s1_ready_test_TM -> ground.INPORT_vt_ground_test_tm_test_TM;
ground_test_TM_vt_st01_routing_s2_ready_conn_cv : port spacecraft.OUTPORT_vt_st01_routing_s2_ready_test_TM -> ground.INPORT_vt_ground_test_tm_test_TM;
spacecraft_testI_vt_ground_test_tm_conn_cv : port ground.OUTPORT_vt_ground_test_tm_testI -> spacecraft.INPORT_vt_st01_routing_testi_testI;
spacecraft_testI_vt_ground_gui_polling_ground_conn_cv : port ground.OUTPORT_vt_ground_gui_polling_ground_testI -> spacecraft.INPORT_vt_st01_routing_testi_testI;
spacecraft_TC_test_vt_ground_test_tm_conn_cv : port ground.OUTPORT_vt_ground_test_tm_TC_test -> spacecraft.INPORT_vt_st01_routing_tc_test_TC_test;
......@@ -116,6 +154,8 @@ properties
Actual_Processor_Binding => (reference (node2_x86_linux32_cv)) applies to node2_generic_sockets_ip_pohic_cv;
Actual_Connection_Binding => (reference (ip_i_cv)) applies to ground_test_TM_vt_st01_routing_testi_conn_cv;
Actual_Connection_Binding => (reference (ip_i_cv)) applies to ground_test_TM_vt_st01_routing_tc_test_conn_cv;
Actual_Connection_Binding => (reference (ip_i_cv)) applies to ground_test_TM_vt_st01_routing_s1_ready_conn_cv;
Actual_Connection_Binding => (reference (ip_i_cv)) applies to ground_test_TM_vt_st01_routing_s2_ready_conn_cv;
Actual_Connection_Binding => (reference (ip_i_cv)) applies to spacecraft_testI_vt_ground_test_tm_conn_cv;
Actual_Connection_Binding => (reference (ip_i_cv)) applies to spacecraft_testI_vt_ground_gui_polling_ground_conn_cv;
Actual_Connection_Binding => (reference (ip_i_cv)) applies to spacecraft_TC_test_vt_ground_test_tm_conn_cv;
......
binary.c/ConcurrencyView/sensor1_CV_Thread.aadl 0 → 100644
View file @ b42fb56c
-- This file was generated automatically: DO NOT MODIFY IT !
-- This file contains a part of the system CONCURRENCY VIEW.
-- It is an input file for OCARINA.
package sensor1_CV_Thread
public
with Deployment;
with process_package;
with Dataview;
THREAD sensor1_sensor1
features
OUTPORT_S1_ready : OUT EVENT DATA PORT DataView::MyBool_Buffer.impl;
INPORT_TC_S1 : IN EVENT DATA PORT DataView::Telecommand_Buffer.impl
{ Compute_Execution_Time => 0 ms .. 0 ms;
Compute_Entrypoint_Source_Text => "po_hi_c_sensor1_TC_S1"; };
END sensor1_sensor1;
THREAD IMPLEMENTATION sensor1_sensor1.others
PROPERTIES
Initialize_Entrypoint_Source_Text => "init_sensor1";
Dispatch_Protocol => Sporadic;
Period => 1 ms;
Dispatch_Offset => 0 ms;
Compute_Execution_Time => 0 ms .. 10 ms;
Source_Stack_Size => 50 KByte;
Priority => 1;
END sensor1_sensor1.others;
end sensor1_CV_Thread;
binary.c/ConcurrencyView/sensor2_CV_Thread.aadl 0 → 100644
View file @ b42fb56c
-- This file was generated automatically: DO NOT MODIFY IT !
-- This file contains a part of the system CONCURRENCY VIEW.
-- It is an input file for OCARINA.
package sensor2_CV_Thread
public
with Deployment;
with process_package;
with Dataview;
THREAD sensor2_sensor2
features
INPORT_TC_S2 : IN EVENT DATA PORT DataView::Telecommand_Buffer.impl
{ Compute_Execution_Time => 0 ms .. 0 ms;
Queue_Size => 1;
Compute_Entrypoint_Source_Text => "po_hi_c_sensor2_TC_S2"; };
OUTPORT_S2_ready : OUT EVENT DATA PORT DataView::MyBool_Buffer.impl;
END sensor2_sensor2;
THREAD IMPLEMENTATION sensor2_sensor2.others
PROPERTIES
Initialize_Entrypoint_Source_Text => "init_sensor2";
Dispatch_Protocol => Sporadic;
Period => 1 ms;
Dispatch_Offset => 0 ms;
Compute_Execution_Time => 0 ms .. 10 ms;
Source_Stack_Size => 50 KByte;
Priority => 1;
END sensor2_sensor2.others;
end sensor2_CV_Thread;
binary.c/ConcurrencyView/vt_sensor1_asks1_CV_Thread.aadl 0 → 100644
View file @ b42fb56c
-- This file was generated automatically: DO NOT MODIFY IT !
-- This file contains a part of the system CONCURRENCY VIEW.
-- It is an input file for OCARINA.
package vt_sensor1_asks1_CV_Thread
public
with Deployment;
with process_package;
with Dataview;
THREAD vt_sensor1_asks1_vt_sensor1_asks1
features
INPORT_artificial_askS1 : IN EVENT PORT
{ Compute_Execution_Time => 0 ms .. 0 ms;
Queue_Size => 1;
Compute_Entrypoint_Source_Text => "po_hi_c_vt_sensor1_asks1_artificial_askS1"; };
OUTPORT_S1_ready_vt : OUT EVENT DATA PORT DataView::MyBool_Buffer.impl;
sensor1_protected : requires data access process_package::TASTE_Protected.Object;
END vt_sensor1_asks1_vt_sensor1_asks1;
THREAD IMPLEMENTATION vt_sensor1_asks1_vt_sensor1_asks1.others
PROPERTIES
Initialize_Entrypoint_Source_Text => "init_sensor1";
Dispatch_Protocol => Sporadic;
Period => 1 ms;
Dispatch_Offset => 0 ms;
Compute_Execution_Time => 0 ms .. 10 ms;
Source_Stack_Size => 50 KByte;
Priority => 1;
END vt_sensor1_asks1_vt_sensor1_asks1.others;
end vt_sensor1_asks1_CV_Thread;
binary.c/ConcurrencyView/vt_sensor1_tc_s1_CV_Thread.aadl 0 → 100644
View file @ b42fb56c
-- This file was generated automatically: DO NOT MODIFY IT !
-- This file contains a part of the system CONCURRENCY VIEW.
-- It is an input file for OCARINA.
package vt_sensor1_tc_s1_CV_Thread
public
with Deployment;
with process_package;