Skip to content

GitLab

Commit e57e5c90 authored by TASTE User's avatar TASTE User
Browse files

add tc[2,1] to data model

parent ea0d4b26
Expand all Hide whitespace changes
Inline Side-by-side
DataView.aadl
View file @ e57e5c90
This diff is collapsed.
DataView.acn
View file @ e57e5c90
......@@ -4,6 +4,7 @@ END
Taps DEFINITIONS ::= BEGIN
APID[encoding pos-int, encode-values, size 11]
APUserID[encoding pos-int, encode-values, size 16]
On-off-dev-addr[encoding pos-int, encode-values, size 32]
CPDU-output-line-ID[]
CPDU-Ids[]
Pulse-Instr-Instance[] {
......@@ -11,10 +12,12 @@ Taps DEFINITIONS ::= BEGIN
reserved NULL [pattern '0'B],
duration-exp-value []
}
TC-2-1 []
TC-2-4 []
TYPE8b-ID[encoding pos-int, size 8]
TCs <TYPE8b-ID: tc-type, TYPE8b-ID: tc-subtype> [] {
tc2-1 [present-when tc-type==2 tc-subtype==1],
tc2-4 [present-when tc-type==2 tc-subtype==4]
}
......
DataView.asn
View file @ e57e5c90
......@@ -25,6 +25,12 @@ TC-Secondary-Header {APUserID} ::= SEQUENCE {
END
-- Generic definition for TC 2-1 - Distribute on/off device commands from PUS-C
Distribute-On-Off-Device-Commands-Generic DEFINITIONS ::=
BEGIN
On-Off-Device-Command{ On-off-dev-addr, INTEGER: addrsNo} ::= SEQUENCE (SIZE(1..addrsNo)) OF On-off-dev-addr
END
-- Generic definition for TC 2-4 - Distribute CPDU Commands from PUS-C
Distribute-CPDU-Commands-Generic DEFINITIONS ::=
......@@ -49,8 +55,10 @@ Taps DEFINITIONS ::=
BEGIN
IMPORTS Pulse-Instruction,
CPDU-Command,
Distribute-CPDU-Commands
Distribute-CPDU-Commands
FROM Distribute-CPDU-Commands-Generic
On-Off-Device-Command
FROM Distribute-On-Off-Device-Commands-Generic
TC-type,
TM-type
FROM PUS-Implicit-Knowledge;
......@@ -74,6 +82,21 @@ APUserID ::= ENUMERATED { --let ACN manage the "16 bits" constraint
sc-cpdu-User(5)
}
-- On-off device addresses , ACN manage the "32 bits" constraint
On-off-dev-addr ::= ENUMERATED {
onAddr(61136),
offAddr(61140),
coldResetAddr(61144),
warmResetAddr(61148)
}
-- Maximum number of On/Off device addresses commands (!bounds constraints not found in PUS-C)
addrsNo INTEGER (1..128) ::= 4
-- Instantiate the TC-2-1
TC-2-1 ::= On-Off-Device-Command{On-off-dev-addr, addrsNo}
---------------------
-- CPDU output Identifier defined in 9.2.1d
CPDU-output-line-ID ::= INTEGER { cpdu-line1(1), cpdu-line2(2)} (0..4095)
......@@ -94,6 +117,7 @@ TC-2-4 ::= Distribute-CPDU-Commands {CPDU-Cmd, max-CPDU-Cmds}
-- Instantiate the project list of TC
TCs ::= CHOICE {
tc2-1 TC-2-1,
tc2-4 TC-2-4
}
......
DeploymentView.aadl 100755 → 100644
View file @ e57e5c90
......@@ -171,9 +171,11 @@ CONNECTIONS
};
PROPERTIES
Actual_Connection_Binding => (reference (ip_i)) APPLIES TO interfaceview.ST01_routing_testI_ground_testI;
Taste::Coordinates => "313 568 439 711" APPLIES TO interfaceview.ST01_routing_testI_ground_testI;
Taste::Coordinates => "298 735 440 861" 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 => "342 799 461 903" 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;
END deploymentview.others;
PROPERTIES
......
InterfaceView.aadl
View file @ e57e5c90
......@@ -33,6 +33,16 @@ END RI_testI;
SUBPROGRAM IMPLEMENTATION RI_testI.others
END RI_testI.others;
SUBPROGRAM RI_TC_test
FEATURES
TC : IN PARAMETER DataView::Telecommand {
Taste::encoding => NATIVE;
};
END RI_TC_test;
SUBPROGRAM IMPLEMENTATION RI_TC_test.others
END RI_TC_test.others;
END interfaceview::FV::ground;
PACKAGE interfaceview::FV::ST01_routing
......@@ -73,6 +83,18 @@ END RI_test_TM;
SUBPROGRAM IMPLEMENTATION RI_test_TM.others
END RI_test_TM.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;
END interfaceview::FV::ST01_routing;
PACKAGE interfaceview::FV::ST02_device_access
......@@ -120,6 +142,12 @@ FEATURES
Taste::InterfaceName => "testI";
Taste::labelInheritance => "true";
};
RI_TC_test : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::ST01_routing::PI_TC_test.others {
Taste::coordinates => "749 1734";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "TC_test";
Taste::labelInheritance => "true";
};
PROPERTIES
Source_Language => (GUI);
END ground;
......@@ -154,6 +182,11 @@ 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";
};
PROPERTIES
Source_Language => (SDL);
END ST01_routing;
......@@ -163,8 +196,12 @@ SUBCOMPONENTS
testI_impl : SUBPROGRAM interfaceview::FV::ST01_routing::PI_testI.others {
Compute_Execution_Time => 0 ms .. 0 ms;
};
TC_test_impl : SUBPROGRAM interfaceview::FV::ST01_routing::PI_TC_test.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;
END ST01_routing.others;
SYSTEM ST02_device_access
......@@ -210,6 +247,9 @@ CONNECTIONS
ST01_routing_testI_ground_testI : SUBPROGRAM ACCESS ST01_routing.PI_testI -> ground.RI_testI {
Taste::coordinates => "1180 1734 1180 1498 1405 1498 1405 1263";
};
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";
};
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";
};
......
InterfaceView.md5
View file @ e57e5c90
38de3ac373e568a10a91d3396368a570 InterfaceView.aadl
f20500ea1a15b7581e819a468398f01c InterfaceView.aadl
binary.c/Concurrency-View.aadl
View file @ e57e5c90
......@@ -20,21 +20,34 @@ with taste;
system implementation exportedComponent.others
subcomponents
ground : system interfaceview::IV::PASSIVE_ground.others;
st01_routing : system interfaceview::IV::THREAD_st01_routing.others;
st01_routing : system interfaceview::IV::PASSIVE_st01_routing.others;
st02_device_access : system interfaceview::IV::THREAD_st02_device_access.others;
spacecraft_taste_api : system interfaceview::IV::PASSIVE_spacecraft_taste_api.others;
vt_ground_test_tm : system interfaceview::IV::THREAD_vt_ground_test_tm.others;
vt_ground_gui_polling_ground : system interfaceview::IV::THREAD_vt_ground_gui_polling_ground.others;
vt_st01_routing_testi : system interfaceview::IV::THREAD_vt_st01_routing_testi.others;
vt_st01_routing_tc_test : system interfaceview::IV::THREAD_vt_st01_routing_tc_test.others;
connections
sporadic_testI : subprogram access THREAD_st01_routing.testI -> PASSIVE_ground.testI;
sporadic_testRouting : subprogram access THREAD_st02_device_access.testRouting -> THREAD_st01_routing.testRouting;
sporadic_artificial_test_TM : subprogram access THREAD_vt_ground_test_tm.artificial_test_TM -> THREAD_st01_routing.test_TM;
unprotected_st01_routing_has_pending_msg : subprogram access PASSIVE_spacecraft_taste_api.st01_routing_has_pending_msg -> THREAD_st01_routing.check_queue;
sporadic_artificial_testI : subprogram access THREAD_vt_st01_routing_testi.artificial_testI -> PASSIVE_ground.testI;
sporadic_artificial_TC_test : subprogram access THREAD_vt_st01_routing_tc_test.artificial_TC_test -> PASSIVE_ground.TC_test;
sporadic_testRouting : subprogram access THREAD_st02_device_access.testRouting -> PASSIVE_st01_routing.testRouting;
sporadic_artificial_test_TM : subprogram access THREAD_vt_ground_test_tm.artificial_test_TM -> PASSIVE_st01_routing.test_TM;
unprotected_st01_routing_has_pending_msg : subprogram access PASSIVE_spacecraft_taste_api.st01_routing_has_pending_msg -> PASSIVE_st01_routing.check_queue;
unprotected_st02_device_access_has_pending_msg : subprogram access PASSIVE_spacecraft_taste_api.st02_device_access_has_pending_msg -> THREAD_st02_device_access.check_queue;
protected_test_TM : subprogram access PASSIVE_ground.test_TM -> THREAD_vt_ground_test_tm.test_TM;
sporadic_testI : subprogram access THREAD_st01_routing.testI -> THREAD_vt_ground_test_tm.testI_vt;
sporadic_artificial_testI : subprogram access THREAD_vt_st01_routing_testi.artificial_testI -> THREAD_vt_ground_test_tm.testI_vt;
sporadic_artificial_TC_test : subprogram access THREAD_vt_st01_routing_tc_test.artificial_TC_test -> THREAD_vt_ground_test_tm.TC_test_vt;
protected_gui_polling_ground : subprogram access PASSIVE_ground.gui_polling_ground -> THREAD_vt_ground_gui_polling_ground.gui_polling_ground;
sporadic_testI : subprogram access THREAD_st01_routing.testI -> THREAD_vt_ground_gui_polling_ground.testI_vt;
sporadic_artificial_testI : subprogram access THREAD_vt_st01_routing_testi.artificial_testI -> THREAD_vt_ground_gui_polling_ground.testI_vt;
sporadic_artificial_TC_test : subprogram access THREAD_vt_st01_routing_tc_test.artificial_TC_test -> THREAD_vt_ground_gui_polling_ground.TC_test_vt;
protected_testI : subprogram access PASSIVE_st01_routing.testI -> THREAD_vt_st01_routing_testi.testI;
sporadic_testRouting : subprogram access THREAD_st02_device_access.testRouting -> THREAD_vt_st01_routing_testi.testRouting_vt;
sporadic_artificial_test_TM : subprogram access THREAD_vt_ground_test_tm.artificial_test_TM -> THREAD_vt_st01_routing_testi.test_TM_vt;
unprotected_st01_routing_has_pending_msg : subprogram access PASSIVE_spacecraft_taste_api.st01_routing_has_pending_msg -> THREAD_vt_st01_routing_testi.check_queue_vt;
protected_TC_test : subprogram access PASSIVE_st01_routing.TC_test -> THREAD_vt_st01_routing_tc_test.TC_test;
sporadic_testRouting : subprogram access THREAD_st02_device_access.testRouting -> THREAD_vt_st01_routing_tc_test.testRouting_vt;
sporadic_artificial_test_TM : subprogram access THREAD_vt_ground_test_tm.artificial_test_TM -> THREAD_vt_st01_routing_tc_test.test_TM_vt;
unprotected_st01_routing_has_pending_msg : subprogram access PASSIVE_spacecraft_taste_api.st01_routing_has_pending_msg -> THREAD_vt_st01_routing_tc_test.check_queue_vt;
end exportedComponent.others;
system PASSIVE_ground
......@@ -43,10 +56,14 @@ with taste;
{ taste::Coordinates => "200 215 200 215";
taste::RCMoperationKind => protected;
taste::RCMperiod => 0;};
testI : requires subprogram access exportedComponent::fv::testI.others
testI : requires subprogram access exportedComponent::fv::artificial_testI.others
{ taste::Coordinates => "450 215 450 215";
taste::RCMoperationKind => sporadic;
taste::RCMperiod => 0;};
TC_test : requires subprogram access exportedComponent::fv::artificial_TC_test.others
{ taste::Coordinates => "450 260 450 260";
taste::RCMoperationKind => sporadic;
taste::RCMperiod => 0;};
gui_polling_ground : provides subprogram access exportedComponent::fv::gui_polling_ground.others
{ taste::Coordinates => "200 260 200 260";
taste::RCMoperationKind => protected;
......@@ -61,21 +78,24 @@ with taste;
subcomponents
test_TM_impl : subprogram exportedComponent::FV::test_TM.others
{ compute_execution_time => 0ms..0ms;};
testI_impl : subprogram exportedComponent::FV::testI.others
testI_impl : subprogram exportedComponent::FV::artificial_testI.others
{ compute_execution_time => 0ms..0ms;};
TC_test_impl : subprogram exportedComponent::FV::artificial_TC_test.others
{ compute_execution_time => 0ms..0ms;};
gui_polling_ground_impl : subprogram exportedComponent::FV::gui_polling_ground.others
{ compute_execution_time => 0ms..0ms;};
connections
subprogram access test_TM_impl -> test_TM;
subprogram access testI_impl -> testI;
subprogram access TC_test_impl -> TC_test;
subprogram access gui_polling_ground_impl -> gui_polling_ground;
end PASSIVE_ground.others;
system THREAD_st01_routing
system PASSIVE_st01_routing
features
testI : provides subprogram access exportedComponent::fv::testI.others
{ taste::Coordinates => "600 215 600 215";
taste::RCMoperationKind => sporadic;
taste::RCMoperationKind => protected;
taste::RCMperiod => 0;};
testRouting : requires subprogram access exportedComponent::fv::testRouting.others
{ taste::Coordinates => "850 215 850 215";
......@@ -85,6 +105,10 @@ with taste;
{ taste::Coordinates => "850 260 850 260";
taste::RCMoperationKind => sporadic;
taste::RCMperiod => 0;};
TC_test : provides subprogram access exportedComponent::fv::TC_test.others
{ taste::Coordinates => "600 260 600 260";
taste::RCMoperationKind => protected;
taste::RCMperiod => 0;};
check_queue : requires subprogram access exportedComponent::fv::st01_routing_has_pending_msg.others
{ taste::Coordinates => "850 305 850 305";
taste::RCMoperationKind => unprotected;
......@@ -93,9 +117,9 @@ with taste;
source_language => C;
taste::coordinates => "600 200 850 335";
taste::instance_name => "st01_routing";
end THREAD_st01_routing;
end PASSIVE_st01_routing;
system implementation THREAD_st01_routing.others
system implementation PASSIVE_st01_routing.others
subcomponents
testI_impl : subprogram exportedComponent::FV::testI.others
{ compute_execution_time => 0ms..0ms;};
......@@ -103,14 +127,17 @@ with taste;
{ compute_execution_time => 0ms..0ms;};
test_TM_impl : subprogram exportedComponent::FV::artificial_test_TM.others
{ compute_execution_time => 0ms..0ms;};
TC_test_impl : subprogram exportedComponent::FV::TC_test.others
{ compute_execution_time => 0ms..0ms;};
check_queue_impl : subprogram exportedComponent::FV::st01_routing_has_pending_msg.others
{ compute_execution_time => 0ms..0ms;};
connections
subprogram access testI_impl -> testI;
subprogram access testRouting_impl -> testRouting;
subprogram access test_TM_impl -> test_TM;
subprogram access TC_test_impl -> TC_test;
subprogram access check_queue_impl -> check_queue;
end THREAD_st01_routing.others;
end PASSIVE_st01_routing.others;
system THREAD_st02_device_access
features
......@@ -176,13 +203,17 @@ with taste;
{ taste::Coordinates => "2050 215 2050 215";
taste::RCMoperationKind => protected;
taste::RCMperiod => 0;};
testI_vt : requires subprogram access exportedComponent::fv::testI.others
testI_vt : requires subprogram access exportedComponent::fv::artificial_testI.others
{ taste::Coordinates => "2050 260 2050 260";
taste::RCMoperationKind => sporadic;
taste::RCMperiod => 0;};
TC_test_vt : requires subprogram access exportedComponent::fv::artificial_TC_test.others
{ taste::Coordinates => "2050 305 2050 305";
taste::RCMoperationKind => sporadic;
taste::RCMperiod => 0;};
properties
source_language => C;
taste::coordinates => "1800 200 2050 290";
taste::coordinates => "1800 200 2050 335";
taste::instance_name => "vt_ground_test_tm";
end THREAD_vt_ground_test_tm;
......@@ -192,12 +223,15 @@ with taste;
{ compute_execution_time => 0ms..0ms;};
test_TM_impl : subprogram exportedComponent::FV::test_TM.others
{ compute_execution_time => 0ms..0ms;};
testI_vt_impl : subprogram exportedComponent::FV::testI.others
testI_vt_impl : subprogram exportedComponent::FV::artificial_testI.others
{ compute_execution_time => 0ms..0ms;};
TC_test_vt_impl : subprogram exportedComponent::FV::artificial_TC_test.others
{ compute_execution_time => 0ms..0ms;};
connections
subprogram access artificial_test_TM_impl -> artificial_test_TM;
subprogram access test_TM_impl -> test_TM;
subprogram access testI_vt_impl -> testI_vt;
subprogram access TC_test_vt_impl -> TC_test_vt;
end THREAD_vt_ground_test_tm.others;
system THREAD_vt_ground_gui_polling_ground
......@@ -210,13 +244,17 @@ with taste;
{ taste::Coordinates => "2450 215 2450 215";
taste::RCMoperationKind => protected;
taste::RCMperiod => 40;};
testI_vt : requires subprogram access exportedComponent::fv::testI.others
testI_vt : requires subprogram access exportedComponent::fv::artificial_testI.others
{ taste::Coordinates => "2450 260 2450 260";
taste::RCMoperationKind => sporadic;
taste::RCMperiod => 0;};
TC_test_vt : requires subprogram access exportedComponent::fv::artificial_TC_test.others
{ taste::Coordinates => "2450 305 2450 305";
taste::RCMoperationKind => sporadic;
taste::RCMperiod => 0;};
properties
source_language => C;
taste::coordinates => "2200 200 2450 290";
taste::coordinates => "2200 200 2450 335";
taste::instance_name => "vt_ground_gui_polling_ground";
end THREAD_vt_ground_gui_polling_ground;
......@@ -226,14 +264,113 @@ with taste;
{ compute_execution_time => 0ms..0ms;};
gui_polling_ground_impl : subprogram exportedComponent::FV::gui_polling_ground.others
{ compute_execution_time => 0ms..0ms;};
testI_vt_impl : subprogram exportedComponent::FV::testI.others
testI_vt_impl : subprogram exportedComponent::FV::artificial_testI.others
{ compute_execution_time => 0ms..0ms;};
TC_test_vt_impl : subprogram exportedComponent::FV::artificial_TC_test.others
{ compute_execution_time => 0ms..0ms;};
connections
subprogram access artificial_gui_polling_ground_impl -> artificial_gui_polling_ground;
subprogram access gui_polling_ground_impl -> gui_polling_ground;
subprogram access testI_vt_impl -> testI_vt;
subprogram access TC_test_vt_impl -> TC_test_vt;
end THREAD_vt_ground_gui_polling_ground.others;
system THREAD_vt_st01_routing_testi
features
artificial_testI : provides subprogram access exportedComponent::fv::testI.others
{ taste::Coordinates => "200 650 200 650";
taste::RCMoperationKind => sporadic;
taste::RCMperiod => 0;};
testI : requires subprogram access exportedComponent::fv::testI.others
{ taste::Coordinates => "450 650 450 650";
taste::RCMoperationKind => protected;
taste::RCMperiod => 0;};
testRouting_vt : requires subprogram access exportedComponent::fv::testRouting.others
{ taste::Coordinates => "450 695 450 695";
taste::RCMoperationKind => sporadic;
taste::RCMperiod => 0;};
test_TM_vt : requires subprogram access exportedComponent::fv::artificial_test_TM.others
{ taste::Coordinates => "450 740 450 740";
taste::RCMoperationKind => sporadic;
taste::RCMperiod => 0;};
check_queue_vt : requires subprogram access exportedComponent::fv::st01_routing_has_pending_msg.others
{ taste::Coordinates => "450 785 450 785";
taste::RCMoperationKind => unprotected;
taste::RCMperiod => 0;};
properties
source_language => C;
taste::coordinates => "200 635 450 815";
taste::instance_name => "vt_st01_routing_testi";
end THREAD_vt_st01_routing_testi;
system implementation THREAD_vt_st01_routing_testi.others
subcomponents
artificial_testI_impl : subprogram exportedComponent::FV::testI.others
{ compute_execution_time => 0ms..0ms;};
testI_impl : subprogram exportedComponent::FV::testI.others
{ compute_execution_time => 0ms..0ms;};
testRouting_vt_impl : subprogram exportedComponent::FV::testRouting.others
{ compute_execution_time => 0ms..0ms;};
test_TM_vt_impl : subprogram exportedComponent::FV::artificial_test_TM.others
{ compute_execution_time => 0ms..0ms;};
check_queue_vt_impl : subprogram exportedComponent::FV::st01_routing_has_pending_msg.others
{ compute_execution_time => 0ms..0ms;};
connections
subprogram access artificial_testI_impl -> artificial_testI;
subprogram access testI_impl -> testI;
subprogram access testRouting_vt_impl -> testRouting_vt;
subprogram access test_TM_vt_impl -> test_TM_vt;
subprogram access check_queue_vt_impl -> check_queue_vt;
end THREAD_vt_st01_routing_testi.others;
system THREAD_vt_st01_routing_tc_test
features
artificial_TC_test : provides subprogram access exportedComponent::fv::TC_test.others
{ taste::Coordinates => "600 650 600 650";
taste::RCMoperationKind => sporadic;
taste::RCMperiod => 0;};
TC_test : requires subprogram access exportedComponent::fv::TC_test.others
{ taste::Coordinates => "850 650 850 650";
taste::RCMoperationKind => protected;
taste::RCMperiod => 0;};
testRouting_vt : requires subprogram access exportedComponent::fv::testRouting.others
{ taste::Coordinates => "850 695 850 695";
taste::RCMoperationKind => sporadic;
taste::RCMperiod => 0;};
test_TM_vt : requires subprogram access exportedComponent::fv::artificial_test_TM.others
{ taste::Coordinates => "850 740 850 740";
taste::RCMoperationKind => sporadic;
taste::RCMperiod => 0;};
check_queue_vt : requires subprogram access exportedComponent::fv::st01_routing_has_pending_msg.others
{ taste::Coordinates => "850 785 850 785";
taste::RCMoperationKind => unprotected;
taste::RCMperiod => 0;};
properties
source_language => C;
taste::coordinates => "600 635 850 815";
taste::instance_name => "vt_st01_routing_tc_test";
end THREAD_vt_st01_routing_tc_test;
system implementation THREAD_vt_st01_routing_tc_test.others
subcomponents
artificial_TC_test_impl : subprogram exportedComponent::FV::TC_test.others
{ compute_execution_time => 0ms..0ms;};
TC_test_impl : subprogram exportedComponent::FV::TC_test.others
{ compute_execution_time => 0ms..0ms;};
testRouting_vt_impl : subprogram exportedComponent::FV::testRouting.others
{ compute_execution_time => 0ms..0ms;};
test_TM_vt_impl : subprogram exportedComponent::FV::artificial_test_TM.others
{ compute_execution_time => 0ms..0ms;};
check_queue_vt_impl : subprogram exportedComponent::FV::st01_routing_has_pending_msg.others
{ compute_execution_time => 0ms..0ms;};
connections
subprogram access artificial_TC_test_impl -> artificial_TC_test;
subprogram access TC_test_impl -> TC_test;
subprogram access testRouting_vt_impl -> testRouting_vt;
subprogram access test_TM_vt_impl -> test_TM_vt;
subprogram access check_queue_vt_impl -> check_queue_vt;
end THREAD_vt_st01_routing_tc_test.others;
properties
taste::coordinates => "0 0 2970 2100";
......@@ -247,18 +384,27 @@ with taste;
subprogram test_TM
end test_TM;
subprogram testI
end testI;
subprogram artificial_testI
end artificial_testI;
subprogram artificial_TC_test
end artificial_TC_test;
subprogram gui_polling_ground
end gui_polling_ground;
subprogram testI
end testI;
subprogram testRouting
end testRouting;
subprogram artificial_test_TM
end artificial_test_TM;
subprogram TC_test
end TC_test;
subprogram st01_routing_has_pending_msg
end st01_routing_has_pending_msg;
......
binary.c/ConcurrencyView/nodes
View file @ e57e5c90
......@@ -11,3 +11,5 @@ vt_ground_gui_polling_ground
st01_routing
st02_device_access
spacecraft_taste_api
vt_st01_routing_testi
vt_st01_routing_tc_test
binary.c/ConcurrencyView/process.aadl
View file @ e57e5c90
......@@ -15,8 +15,9 @@ public
with ocarina_buses;
with vt_ground_test_tm_CV_Thread;
with vt_ground_gui_polling_ground_CV_Thread;
with st01_routing_CV_Thread;
with st02_device_access_CV_Thread;
with vt_st01_routing_testi_CV_Thread;
with vt_st01_routing_tc_test_CV_Thread;
DATA TASTE_Protected
PROPERTIES
......@@ -33,7 +34,9 @@ process ground extends deploymentview::DV::node1::ground
features
INPORT_vt_ground_test_tm_test_TM : IN EVENT DATA PORT DataView::Test_TM_Buffer.impl;
OUTPORT_vt_ground_test_tm_testI : OUT EVENT DATA PORT DataView::Test_TC_Buffer.impl;
OUTPORT_vt_ground_test_tm_TC_test : OUT EVENT DATA PORT DataView::Telecommand_Buffer.impl;
OUTPORT_vt_ground_gui_polling_ground_testI : OUT EVENT DATA PORT DataView::Test_TC_Buffer.impl;
OUTPORT_vt_ground_gui_polling_ground_TC_test : OUT EVENT DATA PORT DataView::Telecommand_Buffer.impl;
end ground;
process implementation ground.final
......@@ -44,7 +47,9 @@ subcomponents
connections
PORT INPORT_vt_ground_test_tm_test_TM -> vt_ground_test_tm.INPORT_artificial_test_TM;
PORT vt_ground_test_tm.OUTPORT_testI_vt -> OUTPORT_vt_ground_test_tm_testI;
PORT vt_ground_test_tm.OUTPORT_TC_test_vt -> OUTPORT_vt_ground_test_tm_TC_test;
PORT vt_ground_gui_polling_ground.OUTPORT_testI_vt -> OUTPORT_vt_ground_gui_polling_ground_testI;
PORT vt_ground_gui_polling_ground.OUTPORT_TC_test_vt -> OUTPORT_vt_ground_gui_polling_ground_TC_test;
vt_ground_test_tm_ground: data access ground_protected -> vt_ground_test_tm.ground_protected;
vt_ground_gui_polling_ground_ground: data access ground_protected -> vt_ground_gui_polling_ground.ground_protected;
end ground.final;
......@@ -52,18 +57,27 @@ end ground.final;
process spacecraft extends deploymentview::DV::node2::spacecraft
features
INPORT_st01_routing_testI : IN EVENT DATA PORT DataView::Test_TC_Buffer.impl;
OUTPORT_st01_routing_test_TM : OUT EVENT DATA PORT DataView::Test_TM_Buffer.impl;
INPORT_vt_st01_routing_testi_testI : IN EVENT DATA PORT DataView::Test_TC_Buffer.impl;
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;
end spacecraft;
process implementation spacecraft.final
subcomponents
st01_routing : thread st01_routing_CV_Thread::st01_routing_st01_routing.others;
st01_routing_protected : data TASTE_Protected.Object;
st02_device_access : thread st02_device_access_CV_Thread::st02_device_access_st02_device_access.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;
connections
PORT INPORT_st01_routing_testI -> st01_routing.INPORT_testI;
PORT st01_routing.OUTPORT_testRouting -> st02_device_access.INPORT_testRouting;
PORT st01_routing.OUTPORT_test_TM -> OUTPORT_st01_routing_test_TM;
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 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;
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;
end spacecraft.final;
system deploymentview
......@@ -87,9 +101,12 @@ subcomponents
node1_x86_linux32_cv : processor ocarina_processors_x86::x86.linux32;
node2_x86_linux32_cv : processor ocarina_processors_x86::x86.linux32;
connections
ground_test_TM_st01_routing_conn_cv : port spacecraft.OUTPORT_st01_routing_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_st01_routing_testI;
spacecraft_testI_vt_ground_gui_polling_ground_conn_cv : port ground.OUTPORT_vt_ground_gui_polling_ground_testI -> spacecraft.INPORT_st01_routing_testI;
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;
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;
spacecraft_TC_test_vt_ground_gui_polling_ground_conn_cv : port ground.OUTPORT_vt_ground_gui_polling_ground_TC_test -> spacecraft.INPORT_vt_st01_routing_tc_test_TC_test;
bus access ip_i_cv -> node1_generic_sockets_ip_pohic_cv.link;
bus access ip_i_cv -> node2_generic_sockets_ip_pohic_cv.link;
properties
......@@ -97,9 +114,12 @@ properties
Actual_Processor_Binding => (reference (node2_x86_linux32_cv)) applies to spacecraft;
Actual_Processor_Binding => (reference (node1_x86_linux32_cv)) applies to node1_generic_sockets_ip_pohic_cv;
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_st01_routing_conn_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 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;
Actual_Connection_Binding => (reference (ip_i_cv)) applies to spacecraft_TC_test_vt_ground_gui_polling_ground_conn_cv;
end deploymentview.final;
end process_package;
......
binary.c/ConcurrencyView/vt_ground_gui_polling_ground_CV_Thread.aadl
View file @ e57e5c90
......@@ -12,6 +12,7 @@ public
THREAD vt_ground_gui_polling_ground_vt_ground_gui_polling_ground
features
OUTPORT_testI_vt