Skip to content
GitLab
Commit 045b6e5f authored by Thanassis Tsiodras's avatar Thanassis Tsiodras
Browse files

TAPS case studies and PUS library updated

parent 0956332c
Hide whitespace changes
Inline Side-by-side
ConcurrencyView_Properties.aadl 100644 → 100755
View file @ 045b6e5f
File mode changed from 100644 to 100755
DataView.aadl 100644 → 100755
View file @ 045b6e5f
This source diff could not be displayed because it is too large. You can view the blob instead.
DataView.acn 100644 → 100755
View file @ 045b6e5f
File mode changed from 100644 to 100755
DataView.asn 100644 → 100755
View file @ 045b6e5f
File mode changed from 100644 to 100755
DeploymentView.aadl 100644 → 100755
View file @ 045b6e5f
File mode changed from 100644 to 100755
InterfaceView.aadl 100644 → 100755
View file @ 045b6e5f
......@@ -782,7 +782,7 @@ CONNECTIONS
Taste::coordinates => "42482 150187 45190 150187 45190 153356 43652 153356";
};
on_off_cmds_st02_RI_tm_link_tm_st01_RI_tm_link : SUBPROGRAM ACCESS RI_tm_link -> tm_st01.RI_tm_link {
Taste::coordinates => "39891 154372 35911 154372 35911 155192 37559 155192";
Taste::coordinates => "39891 154372 39198 154372 39198 155192 37559 155192";
};
on_off_cmds_st02_RI_setParam_sensor2_RI_setParam : SUBPROGRAM ACCESS RI_setParam -> sensor2.RI_setParam {
Taste::coordinates => "52166 142711 53031 142711 53031 142717 54034 142717";
......@@ -1524,25 +1524,25 @@ FEATURES
Taste::InterfaceName => "test_Payload";
};
RI_tc24 : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::payload::cpdu1_cmds::PI_tc24.others {
Taste::coordinates => "81080 190350";
Taste::coordinates => "81080 189164";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "tc24";
Taste::labelInheritance => "true";
};
RI_tm : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::payload::tm_cpdu1::PI_tm.others {
Taste::coordinates => "77664 190948";
Taste::coordinates => "76371 190948";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "tm";
Taste::labelInheritance => "true";
};
RI_reqID : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::payload::execution_cpdu1::PI_reqID.others {
Taste::coordinates => "79332 190350";
Taste::coordinates => "79332 189164";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "reqID";
Taste::labelInheritance => "true";
};
RI_testExecCpdu1 : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::payload::cpdu1_cmds::PI_testExecCpdu1.others {
Taste::coordinates => "83326 190350";
Taste::coordinates => "83326 189164";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "testExecCpdu1";
Taste::labelInheritance => "true";
......@@ -2075,7 +2075,7 @@ END payload;
SYSTEM IMPLEMENTATION payload.others
SUBCOMPONENTS
acceptance_cpdu1 : SYSTEM interfaceview::IV::payload::acceptance_cpdu1::acceptance_cpdu1.others {
Taste::coordinates => "77664 190350 85862 191660";
Taste::coordinates => "76371 189164 85862 191660";
};
cpdu1_cmds : SYSTEM interfaceview::IV::payload::cpdu1_cmds::cpdu1_cmds.others {
Taste::coordinates => "79227 184209 86356 186251";
......@@ -2097,16 +2097,16 @@ CONNECTIONS
Taste::coordinates => "73181 193037 73181 192406 78698 192406 78698 191660";
};
cpdu1_cmds_PI_tc24_acceptance_cpdu1_RI_tc24 : SUBPROGRAM ACCESS cpdu1_cmds.PI_tc24 -> acceptance_cpdu1.RI_tc24 {
Taste::coordinates => "81080 190350 81080 187655 83389 187655 83389 186251";
Taste::coordinates => "81080 189164 81080 187707 83389 187707 83389 186251";
};
tm_cpdu1_PI_tm_acceptance_cpdu1_RI_tm : SUBPROGRAM ACCESS tm_cpdu1.PI_tm -> acceptance_cpdu1.RI_tm {
Taste::coordinates => "77664 190948 75463 190948 75463 190563 73263 190563";
Taste::coordinates => "76371 190948 74817 190948 74817 190563 73263 190563";
};
execution_cpdu1_PI_reqID_acceptance_cpdu1_RI_reqID : SUBPROGRAM ACCESS execution_cpdu1.PI_reqID -> acceptance_cpdu1.RI_reqID {
Taste::coordinates => "79332 190350 79332 187573 74998 187573 74998 184796";
Taste::coordinates => "79332 189164 79332 186980 74998 186980 74998 184796";
};
cpdu1_cmds_PI_testExecCpdu1_acceptance_cpdu1_RI_testExecCpdu1 : SUBPROGRAM ACCESS cpdu1_cmds.PI_testExecCpdu1 -> acceptance_cpdu1.RI_testExecCpdu1 {
Taste::coordinates => "83326 190350 83326 188300 85166 188300 85166 186251";
Taste::coordinates => "83326 189164 83326 187707 85166 187707 85166 186251";
};
cpdu1_PI_testStatusCpdu1_acceptance_cpdu1_RI_testStatusCpdu1 : SUBPROGRAM ACCESS cpdu1.PI_testStatusCpdu1 -> acceptance_cpdu1.RI_testStatusCpdu1 {
Taste::coordinates => "85862 191043 87192 191043 87192 180380 86326 180380";
......
InterfaceView.md5 100644 → 100755
View file @ 045b6e5f
6cc72adfbdc3c0b45875875eefbb5551 InterfaceView.aadl
19c1be9cf3f7cc7c25fd7b8099b9c6dd InterfaceView.aadl
__dv_1_3.aadl 100644 → 100755
View file @ 045b6e5f
File mode changed from 100644 to 100755
__iv_1_3.aadl 100644 → 100755
View file @ 045b6e5f
......@@ -1335,25 +1335,25 @@ FEATURES
Taste::InterfaceName => "test_Payload";
};
RI_tc24 : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::cpdu1_cmds::PI_tc24.others {
Taste::coordinates => "81080 190350";
Taste::coordinates => "81080 189164";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "tc24";
Taste::labelInheritance => "true";
};
RI_tm : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::tm_cpdu1::PI_tm.others {
Taste::coordinates => "77664 190948";
Taste::coordinates => "76371 190948";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "tm";
Taste::labelInheritance => "true";
};
RI_reqID : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::execution_cpdu1::PI_reqID.others {
Taste::coordinates => "79332 190350";
Taste::coordinates => "79332 189164";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "reqID";
Taste::labelInheritance => "true";
};
RI_testExecCpdu1 : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::cpdu1_cmds::PI_testExecCpdu1.others {
Taste::coordinates => "83326 190350";
Taste::coordinates => "83326 189164";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "testExecCpdu1";
Taste::labelInheritance => "true";
......@@ -6057,7 +6057,7 @@ SUBCOMPONENTS
Taste::coordinates => "32254 163369 152859 172547";
};
acceptance_cpdu1 : SYSTEM interfaceview::IV::payload::acceptance_cpdu1.others {
Taste::coordinates => "77664 190350 85862 191660";
Taste::coordinates => "76371 189164 85862 191660";
};
cpdu1_cmds : SYSTEM interfaceview::IV::payload::cpdu1_cmds.others {
Taste::coordinates => "79227 184209 86356 186251";
......@@ -6294,16 +6294,16 @@ CONNECTIONS
Taste::coordinates => "35975 172547 35975 185719 18294 185719 18294 188415";
};
cpdu1_cmds_PI_tc24_acceptance_cpdu1_RI_tc24 : SUBPROGRAM ACCESS cpdu1_cmds.PI_tc24 -> acceptance_cpdu1.RI_tc24 {
Taste::coordinates => "81080 190350 81080 187655 83389 187655 83389 186251";
Taste::coordinates => "81080 189164 81080 187707 83389 187707 83389 186251";
};
tm_cpdu1_PI_tm_acceptance_cpdu1_RI_tm : SUBPROGRAM ACCESS tm_cpdu1.PI_tm -> acceptance_cpdu1.RI_tm {
Taste::coordinates => "77664 190948 75463 190948 75463 190563 73263 190563";
Taste::coordinates => "76371 190948 74817 190948 74817 190563 73263 190563";
};
execution_cpdu1_PI_reqID_acceptance_cpdu1_RI_reqID : SUBPROGRAM ACCESS execution_cpdu1.PI_reqID -> acceptance_cpdu1.RI_reqID {
Taste::coordinates => "79332 190350 79332 187573 74998 187573 74998 184796";
Taste::coordinates => "79332 189164 79332 186980 74998 186980 74998 184796";
};
cpdu1_cmds_PI_testExecCpdu1_acceptance_cpdu1_RI_testExecCpdu1 : SUBPROGRAM ACCESS cpdu1_cmds.PI_testExecCpdu1 -> acceptance_cpdu1.RI_testExecCpdu1 {
Taste::coordinates => "83326 190350 83326 188300 85166 188300 85166 186251";
Taste::coordinates => "83326 189164 83326 187707 85166 187707 85166 186251";
};
cpdu1_PI_testStatusCpdu1_acceptance_cpdu1_RI_testStatusCpdu1 : SUBPROGRAM ACCESS cpdu1.PI_testStatusCpdu1 -> acceptance_cpdu1.RI_testStatusCpdu1 {
Taste::coordinates => "85862 191043 87192 191043 87192 180380 86326 180380";
......
acceptance_cpdu1/DataView.pr
View file @ 045b6e5f
......@@ -863,12 +863,6 @@ Sched_Summary_Notification_inst ::= SEQUENCE {
request_ID Sch_Req_ID_inst
}
-- ./dataview-uniq.asn
S1_status ::= ENUMERATED {
off(0),
on(1)
}
-- ./dataview-uniq.asn
Param_Monitor_Def_ID_inst ::= ENUMERATED {
param_def_ID_01(0),
......
acceptance_cpdu1/Makefile.acceptance_cpdu1 0 → 100644
View file @ 045b6e5f
all:
gprbuild -p -P acceptance_cpdu1.gpr # generate Ada code from the SDL model
gprbuild -p -P dataview_ada.gpr # generate Ada code from the ASN.1 model
gprbuild -p -P code/acceptance_cpdu1_ada.gpr # build the Ada code
clean:
rm -rf obj code
\ No newline at end of file
acceptance_cpdu1/acceptance_cpdu1.adb
View file @ 045b6e5f
......@@ -68,7 +68,7 @@ package body acceptance_cpdu1 is
case ctxt.state is
when wait =>
ctxt.tc := tc.all;
runTransition(2);
runTransition(1);
when others =>
runTransition(CS_Only);
end case;
......@@ -80,7 +80,7 @@ package body acceptance_cpdu1 is
case ctxt.state is
when wait =>
ctxt.testparams := testPayload.all;
runTransition(1);
runTransition(2);
when others =>
runTransition(CS_Only);
end case;
......@@ -90,9 +90,9 @@ package body acceptance_cpdu1 is
procedure runTransition(Id: Integer) is
trId : Integer := Id;
-- !! stack: _call_external_function line 1340
tmp33 : aliased asn1SccCPDU_status;
tmp78 : aliased asn1SccDistribute_CPDU_Cmds;
tmp29 : aliased asn1SccST01ExecutionTestParams;
tmp176 : aliased asn1SccCPDU_status;
tmp50 : aliased asn1SccDistribute_CPDU_Cmds;
tmp172 : aliased asn1SccST01ExecutionTestParams;
begin
while (trId /= -1) loop
case trId is
......@@ -103,196 +103,196 @@ package body acceptance_cpdu1 is
ctxt.serviceAvailable := true;
-- readyDest := true (20,0)
ctxt.readyDest := true;
-- NEXT_STATE Wait (22,18) at 1266, 161
-- NEXT_STATE Wait (22,18) at 1285, 161
trId := -1;
ctxt.state := Wait;
goto next_transition;
when 1 =>
-- DECISION present(testParams) (-1,-1)
-- ANSWER testST01Acceptance (33,17)
if (ctxt.testParams.Kind) = testST01Acceptance_PRESENT then
-- crcTest := testParams!testST01Acceptance!crcTest (35,25)
ctxt.crcTest := ctxt.testParams.testst01acceptance.crctest;
-- serviceAvailable := testParams!testST01Acceptance!serviceAvailableTest (36,0)
ctxt.serviceAvailable := ctxt.testParams.testst01acceptance.serviceavailabletest;
-- writeln('acceptance_cpdu1: set crcTest: ', crcTest) (38,25)
Put("acceptance_cpdu1: set crcTest: ");
Put(asn1SccMyBool'Image(ctxt.crcTest));
New_Line;
-- writeln('acceptance_cpdu1: set serviceAvailable: ', serviceAvailable) (40,25)
Put("acceptance_cpdu1: set serviceAvailable: ");
Put(asn1SccMyBool'Image(ctxt.serviceAvailable));
New_Line;
-- ANSWER testST01Execution (42,17)
elsif (ctxt.testParams.Kind) = testST01Execution_PRESENT then
-- testExecCpdu1(testParams!testST01Execution) (44,27)
-- COMMENT sends the test data to
-- the cpdu1_cmds function (46,20)
tmp29 := ctxt.testParams.testst01execution;
RItestExecCpdu1(tmp29'Access);
-- ANSWER testCPDU1status (49,17)
elsif (ctxt.testParams.Kind) = testCPDU1status_PRESENT then
-- testStatusCpdu1(testParams!testCPDU1status) (51,27)
-- COMMENT sends the test data to
-- the cpdu1 function (53,20)
tmp33 := ctxt.testParams.testcpdu1status;
RItestStatusCpdu1(tmp33'Access);
-- ANSWER else (None,None)
else
null;
end if;
-- NEXT_STATE Wait (59,22) at 683, 420
trId := -1;
ctxt.state := Wait;
goto next_transition;
when 2 =>
-- writeln('acceptance_cpdu1: incoming TC ...') (66,17)
-- writeln('acceptance_cpdu1: incoming TC ...') (28,17)
Put("acceptance_cpdu1: incoming TC ...");
New_Line;
-- DECISION crcTest (-1,-1)
-- COMMENT check1: TC integrety (CRC) (70,12)
-- ANSWER true (72,17)
-- COMMENT check1: TC integrety (CRC) (32,12)
-- ANSWER true (34,17)
if (ctxt.crcTest) = true then
-- writeln('acceptance_cpdu1: check 1: crc ok') (74,25)
-- writeln('acceptance_cpdu1: check 1: crc ok') (36,25)
Put("acceptance_cpdu1: check 1: crc ok");
New_Line;
-- DECISION serviceAvailable (-1,-1)
-- COMMENT check 2: service availability (78,20)
-- ANSWER true (80,25)
-- COMMENT check 2: service availability (40,20)
-- ANSWER true (42,25)
if (ctxt.serviceAvailable) = true then
-- writeln('st01_acceptance: check 2: the service is available') (82,33)
-- writeln('st01_acceptance: check 2: the service is available') (44,33)
Put("st01_acceptance: check 2: the service is available");
New_Line;
-- DECISION present(tc!application_data!device_access) (-1,-1)
-- ANSWER pus_2_4_cpdu_cmds (86,33)
-- DECISION present(tc.application_data.device_access) (-1,-1)
-- ANSWER pus_2_4_cpdu_cmds (48,33)
if (ctxt.tc.application_data.device_access.Kind) = pus_2_4_cpdu_cmds_PRESENT then
-- writeln('acceptance_cpdu1: check 3: request type Ok') (88,41)
-- writeln('acceptance_cpdu1: check 3: request type Ok') (50,41)
Put("acceptance_cpdu1: check 3: request type Ok");
New_Line;
-- DECISION tc!secondary_header!ack_successful_acceptance (-1,-1)
-- DECISION tc.secondary_header.ack_successful_acceptance (-1,-1)
-- COMMENT check if the user wants to receive
-- successful acceptance reports (92,36)
-- ANSWER true (95,41)
-- successful acceptance reports (54,36)
-- ANSWER true (57,41)
if (ctxt.tc.secondary_header.ack_successful_acceptance) = true then
-- tm11!source_apid := TC!dest_apid (97,49)
-- tm11.source_apid := TC.dest_apid (59,49)
ctxt.tm11.source_apid := ctxt.TC.dest_apid;
-- tm11!sequence_count := TC!sequence_count (98,0)
-- tm11.sequence_count := TC.sequence_count (60,0)
ctxt.tm11.sequence_count := ctxt.TC.sequence_count;
-- tm!source_data := tm1_1: tm11 (100,49)
-- tm.source_data := tm1_1: tm11 (62,49)
ctxt.tm.source_data := (Kind => tm1_1_PRESENT, tm1_1 => ctxt.tm11);
-- tm(tm) (102,51)
-- tm(tm) (64,51)
-- COMMENT send the tm1_1 successful
-- acceptance verification report (104,44)
-- acceptance verification report (66,44)
RItm(ctxt.tm'Access);
-- ANSWER false (107,41)
-- ANSWER false (69,41)
elsif (ctxt.tc.secondary_header.ack_successful_acceptance) = false then
null;
end if;
-- tc24(tc!application_data!device_access!pus_2_4_cpdu_cmds) (110,43)
tmp78 := ctxt.tc.application_data.device_access.pus_2_4_cpdu_cmds;
RItc24(tmp78'Access);
-- tc24(tc.application_data.device_access.pus_2_4_cpdu_cmds) (72,43)
tmp50 := ctxt.tc.application_data.device_access.pus_2_4_cpdu_cmds;
RItc24(tmp50'Access);
-- COMMENT after the request acceptance
-- send its ID and ack to the Execution service (118,36)
-- reqID_ack!requestID!source_apid := tc!dest_apid (112,41)
-- send its ID and ack to the Execution service (80,36)
-- reqID_ack.requestID.source_apid := tc.dest_apid (74,41)
ctxt.reqID_ack.requestid.source_apid := ctxt.tc.dest_apid;
-- reqID_ack!requestID!sequence_count := tc!sequence_count (113,0)
-- reqID_ack.requestID.sequence_count := tc.sequence_count (75,0)
ctxt.reqID_ack.requestid.sequence_count := ctxt.tc.sequence_count;
-- reqID_ack!ack_successful_start := tc!secondary_header!ack_successful_start (114,0)
-- reqID_ack.ack_successful_start := tc.secondary_header!ack_successful_start (76,0)
ctxt.reqID_ack.ack_successful_start := ctxt.tc.secondary_header.ack_successful_start;
-- reqID_ack!ack_successful_progress := tc!secondary_header!ack_successful_progress (115,0)
-- reqID_ack.ack_successful_progress := tc.secondary_header.ack_successful_progress (77,0)
ctxt.reqID_ack.ack_successful_progress := ctxt.tc.secondary_header.ack_successful_progress;
-- reqID_ack!ack_successful_completion := tc!secondary_header!ack_successful_completion (116,0)
-- reqID_ack.ack_successful_completion := tc.secondary_header.ack_successful_completion (78,0)
ctxt.reqID_ack.ack_successful_completion := ctxt.tc.secondary_header.ack_successful_completion;
-- reqID(reqID_ack) (121,43)
-- reqID(reqID_ack) (83,43)
RIreqID(ctxt.reqID_ack'Access);
-- NEXT_STATE Wait (123,46) at 1214, 1215
-- NEXT_STATE Wait (85,46) at 1233, 1215
trId := -1;
ctxt.state := Wait;
goto next_transition;
-- ANSWER else (None,None)
else
-- COMMENT set the request ID
-- fields (130,36)
-- request_id!source_apid := TC!dest_apid (127,41)
-- fields (92,36)
-- request_id.source_apid := TC.dest_apid (89,41)
ctxt.request_id.source_apid := ctxt.TC.dest_apid;
-- request_id!sequence_count := TC!sequence_count (128,0)
-- request_id.sequence_count := TC.sequence_count (90,0)
ctxt.request_id.sequence_count := ctxt.TC.sequence_count;
-- COMMENT set the TM failed request
-- integrity code and source ID (136,36)
-- tm12!fail_Notice!code := wrongRequestType (133,41)
-- integrity code and source ID (98,36)
-- tm12.fail_Notice.code := wrongRequestType (95,41)
ctxt.tm12.fail_notice.code := asn1SccwrongRequestType;
-- tm12!req_ID := request_id (134,0)
-- tm12.req_ID := request_id (96,0)
ctxt.tm12.req_id := ctxt.request_id;
-- tm!source_data:= tm1_2: tm12 (139,41)
-- tm.source_data:= tm1_2: tm12 (101,41)
ctxt.tm.source_data := (Kind => tm1_2_PRESENT, tm1_2 => ctxt.tm12);
-- tm(tm) (141,43)
-- tm(tm) (103,43)
-- COMMENT send the tm1_2 failed
-- acceptance verification report (143,36)
-- acceptance verification report (105,36)
RItm(ctxt.tm'Access);
-- writeln('st01_acceptance: check 3: wrong request type') (146,41)
-- writeln('st01_acceptance: check 3: wrong request type') (108,41)
Put("st01_acceptance: check 3: wrong request type");
New_Line;
-- NEXT_STATE Wait (148,46) at 2066, 915
-- NEXT_STATE Wait (110,46) at 2085, 915
trId := -1;
ctxt.state := Wait;
goto next_transition;
end if;
-- ANSWER false (151,25)
-- ANSWER false (113,25)
elsif (ctxt.serviceAvailable) = false then
-- COMMENT set the request ID
-- fields (156,28)
-- request_id!source_apid := TC!dest_apid (153,33)
-- fields (118,28)
-- request_id.source_apid := TC.dest_apid (115,33)
ctxt.request_id.source_apid := ctxt.TC.dest_apid;
-- request_id!sequence_count := TC!sequence_count (154,0)
-- request_id.sequence_count := TC.sequence_count (116,0)
ctxt.request_id.sequence_count := ctxt.TC.sequence_count;
-- COMMENT set the TM failed request
-- integrity code and source ID (162,28)
-- tm12!fail_Notice!code := serviceNotAvailable (159,33)
-- integrity code and source ID (124,28)
-- tm12.fail_Notice.code := serviceNotAvailable (121,33)
ctxt.tm12.fail_notice.code := asn1SccserviceNotAvailable;
-- tm12!req_ID := request_id (160,0)
-- tm12.req_ID := request_id (122,0)
ctxt.tm12.req_id := ctxt.request_id;
-- tm!source_data := tm1_2: tm12 (165,33)
-- tm.source_data := tm1_2: tm12 (127,33)
ctxt.tm.source_data := (Kind => tm1_2_PRESENT, tm1_2 => ctxt.tm12);
-- tm(tm) (167,35)
-- tm(tm) (129,35)
-- COMMENT send the tm1_2 failed
-- acceptance verification report (169,28)
-- acceptance verification report (131,28)
RItm(ctxt.tm'Access);
-- writeln('st01_acceptance: check 2: the service is busy...') (172,33)
-- writeln('st01_acceptance: check 2: the service is busy...') (134,33)
Put("st01_acceptance: check 2: the service is busy...");
New_Line;
-- NEXT_STATE Wait (174,38) at 2636, 732
-- NEXT_STATE Wait (136,38) at 2655, 732
trId := -1;
ctxt.state := Wait;
goto next_transition;
end if;
-- ANSWER false (177,17)
-- ANSWER false (139,17)
elsif (ctxt.crcTest) = false then
-- COMMENT set the request ID
-- fields (182,20)
-- request_id!source_apid := TC!dest_apid (179,25)
-- fields (144,20)
-- request_id.source_apid := TC.dest_apid (141,25)
ctxt.request_id.source_apid := ctxt.TC.dest_apid;
-- request_id!sequence_count := TC!sequence_count (180,0)
-- request_id.sequence_count := TC.sequence_count (142,0)
ctxt.request_id.sequence_count := ctxt.TC.sequence_count;
-- COMMENT set the TM failed request
-- integrity code and source ID (188,20)
-- tm12!fail_Notice!code := reqIntegrityFailure (185,25)
-- integrity code and source ID (150,20)
-- tm12.fail_Notice.code := reqIntegrityFailure (147,25)
ctxt.tm12.fail_notice.code := asn1SccreqIntegrityFailure;
-- tm12!req_ID := request_id (186,0)
-- tm12.req_ID := request_id (148,0)
ctxt.tm12.req_id := ctxt.request_id;
-- tm!source_data := tm1_2: tm12 (191,25)
-- tm.source_data := tm1_2: tm12 (153,25)
ctxt.tm.source_data := (Kind => tm1_2_PRESENT, tm1_2 => ctxt.tm12);
-- tm(tm) (193,27)
-- tm(tm) (155,27)
-- COMMENT send the tm1_2 failed
-- acceptance verification report (195,20)
-- acceptance verification report (157,20)
RItm(ctxt.tm'Access);
-- writeln('st01_acceptance: check 1: crc failed') (198,25)
-- writeln('st01_acceptance: check 1: crc failed') (160,25)
Put("st01_acceptance: check 1: crc failed");
New_Line;
-- NEXT_STATE Wait (200,30) at 3175, 566
-- NEXT_STATE Wait (162,30) at 3194, 566
trId := -1;
ctxt.state := Wait;
goto next_transition;
end if;
when 2 =>
-- DECISION present(testParams) (-1,-1)
-- ANSWER testST01Acceptance (175,17)
if (ctxt.testParams.Kind) = testST01Acceptance_PRESENT then
-- crcTest := testParams.testST01Acceptance.crcTest (177,25)
ctxt.crcTest := ctxt.testParams.testst01acceptance.crctest;
-- serviceAvailable := testParams.testST01Acceptance.serviceAvailableTest (178,0)
ctxt.serviceAvailable := ctxt.testParams.testst01acceptance.serviceavailabletest;
-- writeln('acceptance_cpdu1: set crcTest: ', crcTest) (180,25)
Put("acceptance_cpdu1: set crcTest: ");
Put(asn1SccMyBool'Image(ctxt.crcTest));
New_Line;
-- writeln('acceptance_cpdu1: set serviceAvailable: ', serviceAvailable) (182,25)
Put("acceptance_cpdu1: set serviceAvailable: ");
Put(asn1SccMyBool'Image(ctxt.serviceAvailable));
New_Line;
-- ANSWER testST01Execution (184,17)
elsif (ctxt.testParams.Kind) = testST01Execution_PRESENT then
-- testExecCpdu1(testParams.testST01Execution) (186,27)
-- COMMENT sends the test data to
-- the cpdu1_cmds function (188,20)
tmp172 := ctxt.testParams.testst01execution;
RItestExecCpdu1(tmp172'Access);
-- ANSWER testCPDU1status (191,17)
elsif (ctxt.testParams.Kind) = testCPDU1status_PRESENT then
-- testStatusCpdu1(testParams.testCPDU1status) (193,27)
-- COMMENT sends the test data to
-- the cpdu1 function (195,20)
tmp176 := ctxt.testParams.testcpdu1status;
RItestStatusCpdu1(tmp176'Access);
-- ANSWER else (None,None)
else
null;
end if;
-- NEXT_STATE Wait (201,22) at 702, 420
trId := -1;
ctxt.state := Wait;
goto next_transition;
when CS_Only =>
trId := -1;
goto next_transition;
......
acceptance_cpdu1/acceptance_cpdu1.gpr 0 → 100644
View file @ 045b6e5f
project acceptance_cpdu1 is
for Languages use ("SDL");
for Source_Dirs use (".");
for Object_Dir use "code";
for Source_Files use ("acceptance_cpdu1.pr");
package Naming is
for Body_Suffix ("SDL") use ".pr";
end Naming;
package Compiler is
for Driver ("SDL") use "opengeode";
for Object_File_Suffix ("SDL") use ".adb";
for Leading_Required_Switches ("SDL") use ("--toAda", "system_structure.pr");
end Compiler;
end acceptance_cpdu1;
\ No newline at end of file
acceptance_cpdu1/acceptance_cpdu1.pr
View file @ 045b6e5f
/* CIF PROCESS (250, 148), (150, 75) */
process acceptance_cpdu1;
/* CIF TEXT (3583, 86), (319, 188) */
/* CIF TEXT (3602, 86), (319, 188) */
-- Text area for declarations and comments
dcl tc TC;
......@@ -12,192 +12,192 @@ process acceptance_cpdu1;
dcl tm11 TM_1_1;
dcl reqID_ack Request_ID_ACK;
/* CIF ENDTEXT */
/* CIF START (1266, 23), (70, 35) */
/* CIF START (1285, 23), (70, 35) */
START;
/* CIF task (1216, 78), (171, 53) */
/* CIF task (1234, 78), (171, 53) */
task crcTest:= true,
serviceAvailable := true,
readyDest := true;
/* CIF NEXTSTATE (1266, 161), (70, 35) */
/* CIF NEXTSTATE (1285, 161), (70, 35) */
NEXTSTATE Wait;
/* CIF state (684, 14), (70, 35) */
/* CIF state (1932, 10), (70, 35) */
state Wait;
/* CIF input (627, 69), (182, 35) */
input test_Payload(testParams)
/* CIF comment (829, 69), (97, 38) */
comment 'set the test
parameters';
/* CIF decision (576, 124), (283, 59) */
decision present(testParams);
/* CIF ANSWER (161, 205), (151, 23) */
(testST01Acceptance):
/* CIF task (0, 248), (473, 38) */
task crcTest := testParams!testST01Acceptance!crcTest,
serviceAvailable := testParams!testST01Acceptance!serviceAvailableTest;
/* CIF PROCEDURECALL (71, 306), (330, 35) */
call writeln('acceptance_cpdu1: set crcTest: ', crcTest);
/* CIF PROCEDURECALL (15, 361), (442, 35) */
call writeln('acceptance_cpdu1: set serviceAvailable: ', serviceAvailable);
/* CIF ANSWER (571, 205), (137, 23) */
(testST01Execution):
/* CIF output (483, 248), (313, 35) */
output testExecCpdu1(testParams!testST01Execution)
/* CIF comment (620, 297), (176, 38) */
comment 'sends the test data to
the cpdu1_cmds function';
/* CIF ANSWER (904, 203), (129, 23) */
(testCPDU1status):
/* CIF output (811, 246), (315, 35) */
output testStatusCpdu1(testParams!testCPDU1status)
/* CIF comment (1044, 317), (176, 38) */
comment 'sends the test data to
the cpdu1 function';
/* CIF ANSWER (1136, 203), (70, 23) */
else:
enddecision;
/* CIF NEXTSTATE (683, 420), (70, 35) */
NEXTSTATE Wait;
endstate;
/* CIF state (1913, 10), (70, 35) */
state Wait;
/* CIF input (1892, 65), (112, 35) */
/* CIF input (1911, 65), (112, 35) */
input tc_payload(tc);
/* CIF PROCEDURECALL (1796, 120), (303, 35) */
/* CIF PROCEDURECALL (1815, 120), (303, 35) */
call writeln('acceptance_cpdu1: incoming TC ...');
/* CIF decision (1913, 175), (70, 50) */
/* CIF decision (1932, 175), (70, 50) */
decision crcTest
/* CIF comment (2003, 182), (187, 35) */
/* CIF comment (2022, 182), (187, 35) */
comment 'check1: TC integrety (CRC)';
/* CIF ANSWER (1575, 245), (70, 23) */
/* CIF ANSWER (1594, 245), (70, 23) */
(true):
/* CIF PROCEDURECALL (1461, 288), (298, 35) */
/* CIF PROCEDURECALL (1480, 288), (298, 35) */
call writeln('acceptance_cpdu1: check 1: crc ok');
/* CIF decision (1548, 343), (124, 50) */
/* CIF decision (1567, 343), (124, 50) */
decision serviceAvailable
/* CIF comment (1692, 350), (196, 35) */
/* CIF comment (1711, 350), (196, 35) */
comment 'check 2: service availability';
/* CIF ANSWER (1355, 413), (70, 23) */
/* CIF ANSWER (1374, 413), (70, 23) */
(true):
/* CIF PROCEDURECALL (1197, 456), (386, 35) */
/* CIF PROCEDURECALL (1216, 456), (386, 35) */
call writeln('st01_acceptance: check 2: the service is available');
/* CIF decision (1197, 511), (385, 64) */
decision present(tc!application_data!device_access);
/* CIF ANSWER (1177, 596), (144, 23) */