Commit 7136a34c authored by Daniel Tonoiu's avatar Daniel Tonoiu
Browse files

make cpdu function with out1 & out2 PI to receive the pulse duration from the cpdu_cmd function

parent ca355b3d
This diff is collapsed.
......@@ -45,9 +45,9 @@ END
Distribute-CPDU-Commands-Generic DEFINITIONS ::=
BEGIN
Pulse-Instruction {CPDU-OUTPUT-IDENTIFIER} ::= SEQUENCE {
Pulse-Instruction {CPDU-OUTPUT-IDENTIFIER, DURATION-EXP} ::= SEQUENCE {
output-line-id CPDU-OUTPUT-IDENTIFIER,
duration-exp-value INTEGER (0..7)
duration-exp-value DURATION-EXP
}
CPDU-Command {CPDU-Identifier, Pulse-Instruction, INTEGER: max-Instr-No} ::= SEQUENCE {
......@@ -136,12 +136,13 @@ InstructionCounter ::= INTEGER (1..4)
TC-2-1 ::= On-Off-Device-Command{On-off-dev-addr, addrsNo}
-------------------------------------------------------------------------------------------------------------------------------------------
-- instantiate CPDU commands
--CPDU-output-line-ID ::= INTEGER { cpdu-line1(1), cpdu-line2(2)} (0..4095)
CPDU-output-line-ID ::= INTEGER (0..1) -- CPDU output Identifier defined in 9.2.1d
CPDU-Ids ::= ENUMERATED { cpdu-id-1, cpdu-id-2 }
Pulse-Instr-Instance ::= Pulse-Instruction { CPDU-output-line-ID }
--CPDU-output-line-ID ::= INTEGER { cpdu-line1(1), cpdu-line2(2)} (0..4095)
CPDU-output-line-ID ::= INTEGER (0..1) -- CPDU output Identifier defined in 9.2.1d
CPDU-duration-exp-val ::= INTEGER (0..7) -- CPDU duration exponential value
Pulse-Instr-Instance ::= Pulse-Instruction { CPDU-output-line-ID, CPDU-duration-exp-val }
-- Maximum number of command pulse instructions (project specific) (PUS-C, clause 9.2.1.g)
max-Instr-No INTEGER (12 .. 504) ::= 12
......@@ -380,5 +381,6 @@ END
......@@ -32,9 +32,10 @@ WITH interfaceview::IV::ground_system::processTC;
WITH interfaceview::IV::sendTM;
WITH interfaceview::IV::st01_routing;
WITH interfaceview::IV::cpdu1_AP::acceptance_cpdu1;
WITH interfaceview::IV::cpdu1_AP::cpdu1;
WITH interfaceview::IV::cpdu1_AP::cpdu1_cmds;
WITH interfaceview::IV::cpdu1_AP::execution_cpdu1;
WITH interfaceview::IV::cpdu1_AP::tm_cpdu1;
WITH interfaceview::IV::cpdu1_AP::cpdu1;
WITH interfaceview::IV::hk_report_AP::acceptance_hp;
WITH interfaceview::IV::hk_report_AP::hk_service;
WITH interfaceview::IV::hk_report_AP::execution_hp;
......@@ -80,8 +81,8 @@ SUBCOMPONENTS
IV_acceptance_cpdu1 : SYSTEM interfaceview::IV::cpdu1_AP::acceptance_cpdu1::acceptance_cpdu1.others {
Taste::FunctionName => "acceptance_cpdu1";
};
IV_cpdu1 : SYSTEM interfaceview::IV::cpdu1_AP::cpdu1::cpdu1.others {
Taste::FunctionName => "cpdu1";
IV_cpdu1_cmds : SYSTEM interfaceview::IV::cpdu1_AP::cpdu1_cmds::cpdu1_cmds.others {
Taste::FunctionName => "cpdu1_cmds";
};
IV_execution_cpdu1 : SYSTEM interfaceview::IV::cpdu1_AP::execution_cpdu1::execution_cpdu1.others {
Taste::FunctionName => "execution_cpdu1";
......@@ -89,6 +90,9 @@ SUBCOMPONENTS
IV_tm_cpdu1 : SYSTEM interfaceview::IV::cpdu1_AP::tm_cpdu1::tm_cpdu1.others {
Taste::FunctionName => "tm_cpdu1";
};
IV_cpdu1 : SYSTEM interfaceview::IV::cpdu1_AP::cpdu1::cpdu1.others {
Taste::FunctionName => "cpdu1";
};
IV_acceptance_hp : SYSTEM interfaceview::IV::hk_report_AP::acceptance_hp::acceptance_hp.others {
Taste::FunctionName => "acceptance_hp";
};
......@@ -119,9 +123,10 @@ PROPERTIES
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_sendTM;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_st01_routing;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_acceptance_cpdu1;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_cpdu1;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_cpdu1_cmds;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_execution_cpdu1;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_tm_cpdu1;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_cpdu1;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_acceptance_hp;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_hk_service;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_execution_hp;
......
......@@ -473,6 +473,8 @@ WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SUBPROGRAM PI_on
PROPERTIES
Taste::Associated_Queue_Size => 1;
END PI_on;
SUBPROGRAM IMPLEMENTATION PI_on.others
......@@ -481,6 +483,8 @@ PROPERTIES
END PI_on.others;
SUBPROGRAM PI_off
PROPERTIES
Taste::Associated_Queue_Size => 1;
END PI_off;
SUBPROGRAM IMPLEMENTATION PI_off.others
......@@ -489,6 +493,8 @@ PROPERTIES
END PI_off.others;
SUBPROGRAM PI_cold_RST
PROPERTIES
Taste::Associated_Queue_Size => 1;
END PI_cold_RST;
SUBPROGRAM IMPLEMENTATION PI_cold_RST.others
......@@ -497,6 +503,8 @@ PROPERTIES
END PI_cold_RST.others;
SUBPROGRAM PI_warm_RST
PROPERTIES
Taste::Associated_Queue_Size => 1;
END PI_warm_RST;
SUBPROGRAM IMPLEMENTATION PI_warm_RST.others
......@@ -509,21 +517,29 @@ FEATURES
PI_on : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::sensor2_AP::sensor2::PI_on.others {
Taste::coordinates => "81826 53876";
Taste::RCMoperationKind => protected;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "on";
};
PI_off : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::sensor2_AP::sensor2::PI_off.others {
Taste::coordinates => "83967 53876";
Taste::RCMoperationKind => protected;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "off";
};
PI_cold_RST : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::sensor2_AP::sensor2::PI_cold_RST.others {
Taste::coordinates => "86383 53876";
Taste::RCMoperationKind => protected;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "cold_RST";
};
PI_warm_RST : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::sensor2_AP::sensor2::PI_warm_RST.others {
Taste::coordinates => "90007 53876";
Taste::RCMoperationKind => protected;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "warm_RST";
};
PROPERTIES
......@@ -1007,7 +1023,7 @@ WITH interfaceview::IV::sendTM;
WITH interfaceview::IV::sensor2_AP::st01_Acceptance;
WITH interfaceview::IV::sensor2_AP::st02_On_Off_cmds;
WITH interfaceview::IV::cpdu1_AP::acceptance_cpdu1;
WITH interfaceview::IV::cpdu1_AP::cpdu1;
WITH interfaceview::IV::cpdu1_AP::cpdu1_cmds;
WITH interfaceview::IV::hk_report_AP::acceptance_hp;
WITH Taste;
WITH DataView;
......@@ -1229,7 +1245,7 @@ FEATURES
Taste::InterfaceName => "tc_cpdu1";
Taste::labelInheritance => "true";
};
RI_testExecCpdu1 : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::cpdu1_AP::cpdu1::PI_testExecCpdu1.others {
RI_testExecCpdu1 : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::cpdu1_AP::cpdu1_cmds::PI_testExecCpdu1.others {
Taste::coordinates => "159160 89937";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "testExecCpdu1";
......@@ -1260,7 +1276,7 @@ END interfaceview::IV::st01_routing;
PACKAGE interfaceview::IV::cpdu1_AP::acceptance_cpdu1
PUBLIC
WITH interfaceview::IV::cpdu1_AP::cpdu1;
WITH interfaceview::IV::cpdu1_AP::cpdu1_cmds;
WITH interfaceview::IV::st01_routing;
WITH interfaceview::IV::cpdu1_AP::tm_cpdu1;
WITH interfaceview::IV::cpdu1_AP::execution_cpdu1;
......@@ -1351,7 +1367,7 @@ FEATURES
Taste::Deadline => 0 ms;
Taste::InterfaceName => "test_cpdu1";
};
RI_tc24 : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::cpdu1_AP::cpdu1::PI_tc24.others {
RI_tc24 : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::cpdu1_AP::cpdu1_cmds::PI_tc24.others {
Taste::coordinates => "147121 68573";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "tc24";
......@@ -1385,10 +1401,11 @@ END acceptance_cpdu1.others;
END interfaceview::IV::cpdu1_AP::acceptance_cpdu1;
PACKAGE interfaceview::IV::cpdu1_AP::cpdu1
PACKAGE interfaceview::IV::cpdu1_AP::cpdu1_cmds
PUBLIC
WITH interfaceview::IV::cpdu1_AP::execution_cpdu1;
WITH interfaceview::IV::cpdu1_AP::cpdu1;
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
......@@ -1450,49 +1467,81 @@ END RI_compEx;
SUBPROGRAM IMPLEMENTATION RI_compEx.others
END RI_compEx.others;
SYSTEM cpdu1
SUBPROGRAM RI_out1
FEATURES
PI_tc24 : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::cpdu1_AP::cpdu1::PI_tc24.others {
Taste::coordinates => "145661 61905";
durationExp : IN PARAMETER DataView::CPDU_duration_exp_val {
Taste::encoding => NATIVE;
};
END RI_out1;
SUBPROGRAM IMPLEMENTATION RI_out1.others
END RI_out1.others;
SUBPROGRAM RI_out0
FEATURES
durationExp : IN PARAMETER DataView::CPDU_duration_exp_val {
Taste::encoding => NATIVE;
};
END RI_out0;
SUBPROGRAM IMPLEMENTATION RI_out0.others
END RI_out0.others;
SYSTEM cpdu1_cmds
FEATURES
PI_tc24 : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::cpdu1_AP::cpdu1_cmds::PI_tc24.others {
Taste::coordinates => "145322 65023";
Taste::RCMoperationKind => sporadic;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "tc24";
};
PI_testExecCpdu1 : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::cpdu1_AP::cpdu1::PI_testExecCpdu1.others {
Taste::coordinates => "153712 61905";
PI_testExecCpdu1 : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::cpdu1_AP::cpdu1_cmds::PI_testExecCpdu1.others {
Taste::coordinates => "153373 65023";
Taste::RCMoperationKind => sporadic;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "testExecCpdu1";
};
RI_startEx : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::cpdu1_AP::execution_cpdu1::PI_startEx.others {
Taste::coordinates => "133459 54332";
Taste::coordinates => "133120 60297";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "startEx";
Taste::labelInheritance => "true";
};
RI_progEx : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::cpdu1_AP::execution_cpdu1::PI_progEx.others {
Taste::coordinates => "133459 55614";
Taste::coordinates => "133120 62054";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "progEx";
Taste::labelInheritance => "true";
};
RI_compEx : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::cpdu1_AP::execution_cpdu1::PI_compEx.others {
Taste::coordinates => "133459 56567";
Taste::coordinates => "133120 63820";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "compEx";
Taste::labelInheritance => "true";
};
RI_out1 : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::cpdu1_AP::cpdu1::PI_out1.others {
Taste::coordinates => "145595 58737";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "out1";
Taste::labelInheritance => "true";
};
RI_out0 : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::cpdu1_AP::cpdu1::PI_out0.others {
Taste::coordinates => "141934 58737";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "out0";
Taste::labelInheritance => "true";
};
PROPERTIES
Source_Language => (SDL);
Taste::Active_Interfaces => any;
END cpdu1;
END cpdu1_cmds;
SYSTEM IMPLEMENTATION cpdu1.others
END cpdu1.others;
SYSTEM IMPLEMENTATION cpdu1_cmds.others
END cpdu1_cmds.others;
END interfaceview::IV::cpdu1_AP::cpdu1;
END interfaceview::IV::cpdu1_AP::cpdu1_cmds;
PACKAGE interfaceview::IV::cpdu1_AP::execution_cpdu1
PUBLIC
......@@ -1570,7 +1619,7 @@ END RI_tm.others;
SYSTEM execution_cpdu1
FEATURES
PI_reqID : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::cpdu1_AP::execution_cpdu1::PI_reqID.others {
Taste::coordinates => "126612 59485";
Taste::coordinates => "125256 64364";
Taste::RCMoperationKind => sporadic;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
......@@ -1598,7 +1647,7 @@ FEATURES
Taste::InterfaceName => "compEx";
};
RI_tm : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::cpdu1_AP::tm_cpdu1::PI_tm.others {
Taste::coordinates => "123538 64364";
Taste::coordinates => "122860 64364";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "tm";
Taste::labelInheritance => "true";
......@@ -1669,13 +1718,67 @@ END tm_cpdu1.others;
END interfaceview::IV::cpdu1_AP::tm_cpdu1;
PACKAGE interfaceview::IV::cpdu1_AP::cpdu1
PUBLIC
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SUBPROGRAM PI_out1
FEATURES
durationExp : IN PARAMETER DataView::CPDU_duration_exp_val {
Taste::encoding => NATIVE;
};
END PI_out1;
SUBPROGRAM IMPLEMENTATION PI_out1.others
PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_out1.others;
SUBPROGRAM PI_out0
FEATURES
durationExp : IN PARAMETER DataView::CPDU_duration_exp_val {
Taste::encoding => NATIVE;
};
END PI_out0;
SUBPROGRAM IMPLEMENTATION PI_out0.others
PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_out0.others;
SYSTEM cpdu1
FEATURES
PI_out1 : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::cpdu1_AP::cpdu1::PI_out1.others {
Taste::coordinates => "144370 55754";
Taste::RCMoperationKind => protected;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "out1";
};
PI_out0 : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::cpdu1_AP::cpdu1::PI_out0.others {
Taste::coordinates => "140845 55754";
Taste::RCMoperationKind => protected;
Taste::InterfaceName => "out0";
};
PROPERTIES
Source_Language => (Ada);
Taste::Active_Interfaces => any;
END cpdu1;
SYSTEM IMPLEMENTATION cpdu1.others
END cpdu1.others;
END interfaceview::IV::cpdu1_AP::cpdu1;
PACKAGE interfaceview::IV::cpdu1_AP
PUBLIC
WITH interfaceview::IV::cpdu1_AP::acceptance_cpdu1;
WITH interfaceview::IV::cpdu1_AP::cpdu1;
WITH interfaceview::IV::cpdu1_AP::cpdu1_cmds;
WITH interfaceview::IV::cpdu1_AP::execution_cpdu1;
WITH interfaceview::IV::cpdu1_AP::tm_cpdu1;
WITH interfaceview::IV::cpdu1_AP::cpdu1;
WITH interfaceview::IV::sendTM;
WITH interfaceview::IV::st01_routing;
WITH Taste;
......@@ -1752,7 +1855,7 @@ FEATURES
Taste::Deadline => 0 ms;
Taste::InterfaceName => "tc_cpdu1";
};
PI_testExecCpdu1 : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::cpdu1_AP::cpdu1::PI_testExecCpdu1.others {
PI_testExecCpdu1 : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::cpdu1_AP::cpdu1_cmds::PI_testExecCpdu1.others {
Taste::coordinates => "159089 79652";
Taste::RCMoperationKind => sporadic;
Taste::RCMperiod => 0 ms;
......@@ -1788,8 +1891,8 @@ SUBCOMPONENTS
acceptance_cpdu1 : SYSTEM interfaceview::IV::cpdu1_AP::acceptance_cpdu1::acceptance_cpdu1.others {
Taste::coordinates => "126138 68573 149967 75821";
};
cpdu1 : SYSTEM interfaceview::IV::cpdu1_AP::cpdu1::cpdu1.others {
Taste::coordinates => "133459 53654 158170 61905";
cpdu1_cmds : SYSTEM interfaceview::IV::cpdu1_AP::cpdu1_cmds::cpdu1_cmds.others {
Taste::coordinates => "133120 58737 157831 65023";
};
execution_cpdu1 : SYSTEM interfaceview::IV::cpdu1_AP::execution_cpdu1::execution_cpdu1.others {
Taste::coordinates => "113122 52230 126612 64364";
......@@ -1797,6 +1900,9 @@ SUBCOMPONENTS
tm_cpdu1 : SYSTEM interfaceview::IV::cpdu1_AP::tm_cpdu1::tm_cpdu1.others {
Taste::coordinates => "111245 67805 122147 75465";
};
cpdu1 : SYSTEM interfaceview::IV::cpdu1_AP::cpdu1::cpdu1.others {
Taste::coordinates => "137795 50602 153725 55754";
};
CONNECTIONS
acceptance_cpdu1_PI_tc_cpdu1_cpdu1_AP_PI_tc_cpdu1 : SUBPROGRAM ACCESS acceptance_cpdu1.PI_tc_cpdu1 -> PI_tc_cpdu1 {
Taste::coordinates => "140416 79652 140416 76638 140477 76638 140477 75821";
......@@ -1804,8 +1910,8 @@ CONNECTIONS
acceptance_cpdu1_PI_test_cpdu1_cpdu1_AP_PI_test_cpdu1 : SUBPROGRAM ACCESS acceptance_cpdu1.PI_test_cpdu1 -> PI_test_cpdu1 {
Taste::coordinates => "147921 79652 147921 76561 147942 76561 147942 75821";
};
cpdu1_PI_tc24_acceptance_cpdu1_RI_tc24 : SUBPROGRAM ACCESS cpdu1.PI_tc24 -> acceptance_cpdu1.RI_tc24 {
Taste::coordinates => "147121 68573 147121 66188 145661 66188 145661 61905";
cpdu1_cmds_PI_tc24_acceptance_cpdu1_RI_tc24 : SUBPROGRAM ACCESS cpdu1_cmds.PI_tc24 -> acceptance_cpdu1.RI_tc24 {
Taste::coordinates => "147121 68573 147121 66188 145322 66188 145322 65023";
};
cpdu1_AP_RI_ready_cpdu1_acceptance_cpdu1_RI_ready_cpdu1 : SUBPROGRAM ACCESS RI_ready_cpdu1 -> acceptance_cpdu1.RI_ready_cpdu1 {
Taste::coordinates => "130420 75821 130420 76890 128627 76890 128627 79652";
......@@ -1814,22 +1920,28 @@ CONNECTIONS
Taste::coordinates => "126138 70336 124437 70336 124437 73229 122147 73229";
};
execution_cpdu1_PI_reqID_acceptance_cpdu1_RI_reqID : SUBPROGRAM ACCESS execution_cpdu1.PI_reqID -> acceptance_cpdu1.RI_reqID {
Taste::coordinates => "131732 68573 131732 59485 126612 59485";
Taste::coordinates => "131732 68573 131732 66266 125256 66266 125256 64364";
};
cpdu1_cmds_PI_testExecCpdu1_cpdu1_AP_PI_testExecCpdu1 : SUBPROGRAM ACCESS cpdu1_cmds.PI_testExecCpdu1 -> PI_testExecCpdu1 {
Taste::coordinates => "159089 79652 159089 70774 153373 70774 153373 65023";
};
execution_cpdu1_PI_startEx_cpdu1_cmds_RI_startEx : SUBPROGRAM ACCESS execution_cpdu1.PI_startEx -> cpdu1_cmds.RI_startEx {
Taste::coordinates => "133120 60297 131559 60297 131559 53586 126612 53586";
};
cpdu1_PI_testExecCpdu1_cpdu1_AP_PI_testExecCpdu1 : SUBPROGRAM ACCESS cpdu1.PI_testExecCpdu1 -> PI_testExecCpdu1 {
Taste::coordinates => "159089 79652 159089 70774 153712 70774 153712 61905";
execution_cpdu1_PI_progEx_cpdu1_cmds_RI_progEx : SUBPROGRAM ACCESS execution_cpdu1.PI_progEx -> cpdu1_cmds.RI_progEx {
Taste::coordinates => "133120 62054 130035 62054 130035 54942 126612 54942";
};
execution_cpdu1_PI_startEx_cpdu1_RI_startEx : SUBPROGRAM ACCESS execution_cpdu1.PI_startEx -> cpdu1.RI_startEx {
Taste::coordinates => "133459 54332 130035 54332 130035 53586 126612 53586";
execution_cpdu1_PI_compEx_cpdu1_cmds_RI_compEx : SUBPROGRAM ACCESS execution_cpdu1.PI_compEx -> cpdu1_cmds.RI_compEx {
Taste::coordinates => "133120 63820 128169 63820 128169 56298 126612 56298";
};
execution_cpdu1_PI_progEx_cpdu1_RI_progEx : SUBPROGRAM ACCESS execution_cpdu1.PI_progEx -> cpdu1.RI_progEx {
Taste::coordinates => "133459 55614 130035 55614 130035 54942 126612 54942";
cpdu1_PI_out1_cpdu1_cmds_RI_out1 : SUBPROGRAM ACCESS cpdu1.PI_out1 -> cpdu1_cmds.RI_out1 {
Taste::coordinates => "145595 58737 145595 57245 144370 57245 144370 55754";
};
execution_cpdu1_PI_compEx_cpdu1_RI_compEx : SUBPROGRAM ACCESS execution_cpdu1.PI_compEx -> cpdu1.RI_compEx {
Taste::coordinates => "133459 56567 130035 56567 130035 56298 126612 56298";
cpdu1_PI_out0_cpdu1_cmds_RI_out0 : SUBPROGRAM ACCESS cpdu1.PI_out0 -> cpdu1_cmds.RI_out0 {
Taste::coordinates => "141934 58737 141934 57245 140845 57245 140845 55754";
};
tm_cpdu1_PI_tm_execution_cpdu1_RI_tm : SUBPROGRAM ACCESS tm_cpdu1.PI_tm -> execution_cpdu1.RI_tm {
Taste::coordinates => "123538 64364 123538 73229 122147 73229";
Taste::coordinates => "122860 64364 122860 73229 122147 73229";
};
cpdu1_AP_RI_tm_link_tm_cpdu1_RI_tm_link : SUBPROGRAM ACCESS RI_tm_link -> tm_cpdu1.RI_tm_link {
Taste::coordinates => "115041 75465 115041 78244 109172 78244";
......
78e8d3e79c3859081f2b8dad24c8c517 InterfaceView.aadl
39887974ab1f9b767961c0abd26459ab InterfaceView.aadl
......@@ -68,8 +68,8 @@ SUBCOMPONENTS
IV_acceptance_cpdu1 : SYSTEM interfaceview::IV::cpdu1_AP::acceptance_cpdu1.others {
Taste::FunctionName => "acceptance_cpdu1";
};
IV_cpdu1 : SYSTEM interfaceview::IV::cpdu1_AP::cpdu1.others {
Taste::FunctionName => "cpdu1";
IV_cpdu1_cmds : SYSTEM interfaceview::IV::cpdu1_AP::cpdu1_cmds.others {
Taste::FunctionName => "cpdu1_cmds";
};
IV_execution_cpdu1 : SYSTEM interfaceview::IV::cpdu1_AP::execution_cpdu1.others {
Taste::FunctionName => "execution_cpdu1";
......@@ -77,6 +77,9 @@ SUBCOMPONENTS
IV_tm_cpdu1 : SYSTEM interfaceview::IV::cpdu1_AP::tm_cpdu1.others {
Taste::FunctionName => "tm_cpdu1";
};
IV_cpdu1 : SYSTEM interfaceview::IV::cpdu1_AP::cpdu1.others {
Taste::FunctionName => "cpdu1";
};
IV_acceptance_hp : SYSTEM interfaceview::IV::hk_report_AP::acceptance_hp.others {
Taste::FunctionName => "acceptance_hp";
};
......@@ -107,9 +110,10 @@ PROPERTIES
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_sendTM;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_st01_routing;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_acceptance_cpdu1;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_cpdu1;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_cpdu1_cmds;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_execution_cpdu1;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_tm_cpdu1;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_cpdu1;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_acceptance_hp;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_hk_service;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_execution_hp;
......
......@@ -966,7 +966,7 @@ END RI_reqID.others;
END interfaceview::FV::acceptance_cpdu1;
PACKAGE interfaceview::FV::cpdu1
PACKAGE interfaceview::FV::cpdu1_cmds
PUBLIC
WITH Taste;
......@@ -1030,7 +1030,27 @@ END RI_compEx;
SUBPROGRAM IMPLEMENTATION RI_compEx.others
END RI_compEx.others;
END interfaceview::FV::cpdu1;
SUBPROGRAM RI_out1
FEATURES
durationExp : IN PARAMETER DataView::CPDU_duration_exp_val {
Taste::encoding => NATIVE;
};
END RI_out1;
SUBPROGRAM IMPLEMENTATION RI_out1.others
END RI_out1.others;
SUBPROGRAM RI_out0
FEATURES
durationExp : IN PARAMETER DataView::CPDU_duration_exp_val {
Taste::encoding => NATIVE;
};
END RI_out0;
SUBPROGRAM IMPLEMENTATION RI_out0.others
END RI_out0.others;
END interfaceview::FV::cpdu1_cmds;
PACKAGE interfaceview::FV::execution_cpdu1
PUBLIC
......@@ -1138,10 +1158,46 @@ END RI_tm_link.others;
END interfaceview::FV::tm_cpdu1;
PACKAGE interfaceview::FV::cpdu1
PUBLIC
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SUBPROGRAM PI_out1
FEATURES
durationExp : IN PARAMETER DataView::CPDU_duration_exp_val {
Taste::encoding => NATIVE;
};
PROPERTIES
Taste::Associated_Queue_Size => 1;
END PI_out1;
SUBPROGRAM IMPLEMENTATION PI_out1.others
PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_out1.others;
SUBPROGRAM PI_out0
FEATURES
durationExp : IN PARAMETER DataView::CPDU_duration_exp_val {
Taste::encoding => NATIVE;
};
PROPERTIES
Taste::Associated_Queue_Size => 1;
END PI_out0;
SUBPROGRAM IMPLEMENTATION PI_out0.others
PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_out0.others;
END interfaceview::FV::cpdu1;
PACKAGE interfaceview::IV::cpdu1_AP
PUBLIC
WITH interfaceview::FV::cpdu1;
WITH interfaceview::FV::cpdu1_cmds;
WITH interfaceview::FV::st01_routing;
WITH interfaceview::FV::tm_cpdu1;
WITH interfaceview::FV::execution_cpdu1;
......@@ -1149,6 +1205,7 @@ WITH interfaceview::FV::acceptance_cpdu1;
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
WITH interfaceview::FV::cpdu1;
WITH interfaceview::FV::sendTM;
SYSTEM acceptance_cpdu1
FEATURES
......@@ -1166,7 +1223,7 @@ FEATURES
Taste::Deadline => 0 ms;
Taste::InterfaceName => "test_cpdu1";
};
RI_tc24 : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::cpdu1::PI_tc24.others {
RI_tc24 : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::cpdu1_cmds::PI_tc24.others {
Taste::coordinates => "147121 68573";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "tc24";
......@@ -1198,52 +1255,64 @@ END acceptance_cpdu1;
SYSTEM IMPLEMENTATION acceptance_cpdu1.others
END acceptance_cpdu1.others;
SYSTEM cpdu1
SYSTEM cpdu1_cmds
FEATURES
PI_tc24 : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::cpdu1::PI_tc24.others {
Taste::coordinates => "145661 61905";
PI_tc24 : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::cpdu1_cmds::PI_tc24.others {
Taste::coordinates => "145322 65023";
Taste::RCMoperationKind => sporadic;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "tc24";
};
PI_testExecCpdu1 : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::cpdu1::PI_testExecCpdu1.others {
Taste::coordinates => "153712 61905";
PI_testExecCpdu1 : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::cpdu1_cmds::PI_testExecCpdu1.others {
Taste::coordinates => "153373 65023";
Taste::RCMoperationKind => sporadic;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "testExecCpdu1";
};
RI_startEx : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::execution_cpdu1::PI_startEx.others {
Taste::coordinates => "133459 54332";
Taste::coordinates => "133120 60297";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "startEx";
Taste::labelInheritance => "true";
};
RI_progEx : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::execution_cpdu1::PI_progEx.others {
Taste::coordinates => "133459 55614";
Taste::coordinates => "133120 62054";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "progEx";
Taste::labelInheritance => "true";
};
RI_compEx : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::execution_cpdu1::PI_compEx.others {
Taste::coordinates => "133459 56567";
Taste::coordinates => "133120 63820";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "compEx";
Taste::labelInheritance => "true";
};
RI_out1 : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::cpdu1::PI_out1.others {
Taste::coordinates => "145595 58737";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "out1";
Taste::labelInheritance => "true";
};
RI_out0 : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::cpdu1::PI_out0.others {
Taste::coordinates => "141934 58737";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "out0";
Taste::labelInheritance => "true";
};
PROPERTIES
Source_Language => (SDL);
Taste::Active_Interfaces => any;
END cpdu1;
END cpdu1_cmds;
SYSTEM IMPLEMENTATION cpdu1.others
END cpdu1.others;
SYSTEM IMPLEMENTATION cpdu1_cmds.others
END cpdu1_cmds.others;
SYSTEM execution_cpdu1
FEATURES
PI_reqID : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::execution_cpdu1::PI_reqID.others {