Skip to content

GitLab

Commit 3b0e811f authored by Daniel Tonoiu's avatar Daniel Tonoiu
Browse files

st01_routing: existence and readiness of the destination 01

parent 697a3e01
Expand all Hide whitespace changes
Inline Side-by-side
DataView.aadl
View file @ 3b0e811f
This diff is collapsed.
DeploymentView.aadl
View file @ 3b0e811f
......@@ -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 @ 3b0e811f
......@@ -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 @ 3b0e811f
f20500ea1a15b7581e819a468398f01c InterfaceView.aadl
533ecce6cb62ba2835aedf458e913191 InterfaceView.aadl
build-script.sh
View file @ 3b0e811f
......@@ -62,10 +62,20 @@ cd "$SKELS"/st01_routing && opengeode --toAda st01_routing.pr system_structure.p
# Generate code for OpenGEODE function st02_device_access
cd "$SKELS"/st02_device_access && opengeode --toAda st02_device_access.pr system_structure.pr && cd $OLDPWD
# Generate code for OpenGEODE function sensor1
cd "$SKELS"/sensor1 && opengeode --toAda sensor1.pr system_structure.pr && cd $OLDPWD
# Generate code for OpenGEODE function sensor2
cd "$SKELS"/sensor2 && opengeode --toAda sensor2.pr system_structure.pr && cd $OLDPWD
cd "$SKELS" && rm -f st01_routing.zip && zip st01_routing st01_routing/* && cd $OLDPWD
cd "$SKELS" && rm -f st02_device_access.zip && zip st02_device_access st02_device_access/* && cd $OLDPWD
cd "$SKELS" && rm -f sensor1.zip && zip sensor1 sensor1/* && cd $OLDPWD
cd "$SKELS" && rm -f sensor2.zip && zip sensor2 sensor2/* && cd $OLDPWD
[ ! -z "$CLEANUP" ] && rm -rf binary*
if [ -f ConcurrencyView.pro ]
......@@ -100,4 +110,6 @@ cd "$CWD" && assert-builder-ocarina.py \
-o "$OUTPUTDIR" \
--subAda st01_routing:"$SKELS"/st01_routing.zip \
--subAda st02_device_access:"$SKELS"/st02_device_access.zip \
--subAda sensor1:"$SKELS"/sensor1.zip \
--subAda sensor2:"$SKELS"/sensor2.zip \
$ORCHESTRATOR_OPTIONS
build-script.sh.old
View file @ 3b0e811f
......@@ -62,10 +62,20 @@ cd "$SKELS"/st01_routing && opengeode --toAda st01_routing.pr system_structure.p
# Generate code for OpenGEODE function st02_device_access
cd "$SKELS"/st02_device_access && opengeode --toAda st02_device_access.pr system_structure.pr && cd $OLDPWD
# Generate code for OpenGEODE function sensor1
cd "$SKELS"/sensor1 && opengeode --toAda sensor1.pr system_structure.pr && cd $OLDPWD
# Generate code for OpenGEODE function sensor2
cd "$SKELS"/sensor2 && opengeode --toAda sensor2.pr system_structure.pr && cd $OLDPWD
cd "$SKELS" && rm -f st01_routing.zip && zip st01_routing st01_routing/* && cd $OLDPWD
cd "$SKELS" && rm -f st02_device_access.zip && zip st02_device_access st02_device_access/* && cd $OLDPWD
cd "$SKELS" && rm -f sensor1.zip && zip sensor1 sensor1/* && cd $OLDPWD
cd "$SKELS" && rm -f sensor2.zip && zip sensor2 sensor2/* && cd $OLDPWD
[ ! -z "$CLEANUP" ] && rm -rf binary*
if [ -f ConcurrencyView.pro ]
......@@ -100,4 +110,6 @@ cd "$CWD" && assert-builder-ocarina.py \
-o "$OUTPUTDIR" \
--subAda st01_routing:"$SKELS"/st01_routing.zip \
--subAda st02_device_access:"$SKELS"/st02_device_access.zip \
--subAda sensor1:"$SKELS"/sensor1.zip \
--subAda sensor2:"$SKELS"/sensor2.zip \
$ORCHESTRATOR_OPTIONS
sensor1.zip 0 → 100644
View file @ 3b0e811f
File added
sensor1/DataView.pr 0 → 100644
View file @ 3b0e811f
Datamodel DEFINITIONS ::= BEGIN
-- ./dataview-uniq.asn
TYPE8b_ID ::= INTEGER (0 .. 255)
-- ./dataview-uniq.asn
APID ::= ENUMERATED {
ground(1),
sc_routing(2),
sc_sensorA(3),
sc_sensorB(4),
sc_cpdu(5)
}
-- ./dataview-uniq.asn
APUserID ::= ENUMERATED {
ground_User(1),
sc_routingUser(2),
sc_sensorA_User(3),
sc_sensorB_User(4),
sc_cpdu_User(5)
}
-- ./dataview-uniq.asn
On_off_dev_addr ::= ENUMERATED {
onAddr(61136),
offAddr(61140),
coldResetAddr(61144),
warmResetAddr(61148)
}
-- ./dataview-uniq.asn
TC_2_1 ::= SEQUENCE (SIZE (1 .. 4)) OF On_off_dev_addr
-- ./dataview-uniq.asn
CPDU_output_line_ID ::= INTEGER (0 .. 4095)
-- ./dataview-uniq.asn
CPDU_Ids ::= ENUMERATED {
cpdu_id_1(0),
cpdu_id_2(1)
}
-- ./dataview-uniq.asn
Pulse_Instr_Instance ::= SEQUENCE {
output_line_id CPDU_output_line_ID,
duration_exp_value Pulse_Instr_Instance_duration_exp_value
}
-- ./dataview-uniq.asn
CPDU_Cmd ::= SEQUENCE {
cpdu_id CPDU_Ids OPTIONAL,
cmd_pulse_instr CPDU_Cmd_cmd_pulse_instr
}
-- ./dataview-uniq.asn
TC_2_4 ::= SEQUENCE (SIZE (1 .. 2)) OF CPDU_Cmd
-- ./dataview-uniq.asn
TCs ::= CHOICE {
tc2_1 TC_2_1,
tc2_4 TC_2_4
}
-- ./dataview-uniq.asn
Telecommand ::= SEQUENCE {
dest_apid APID,
sequence_count Telecommand_sequence_count,
packet_length Telecommand_packet_length,
secondary_header Telecommand_secondary_header,
application_data TCs,
packet_error Telecommand_packet_error
}
-- ./dataview-uniq.asn
Request_ID_inst ::= SEQUENCE {
source_apid APID,
sequence_count Request_ID_inst_sequence_count
}
-- ./dataview-uniq.asn
TM_1_10_failure_codes ::= ENUMERATED {
reqIntegrityFailure(0),
noDestinationFound(1),
destinationNotReady(2)
}
-- ./dataview-uniq.asn
TM_1_10_failure_data ::= SEQUENCE {
tm_1_10_failure_data_inst TM_1_10_failure_data_tm_1_10_failure_data_inst
}
-- ./dataview-uniq.asn
Failure_Notice_tm_1_10 ::= SEQUENCE {
code TM_1_10_failure_codes,
data TM_1_10_failure_data
}
-- ./dataview-uniq.asn
TM_1_10 ::= SEQUENCE {
req_ID Request_ID_inst,
fail_Notice Failure_Notice_tm_1_10
}
-- ./dataview-uniq.asn
TMs ::= CHOICE {
tm1_10 TM_1_10
}
-- ./dataview-uniq.asn
TM ::= SEQUENCE {
source_apid APID,
sequence_count TM_sequence_count,
packet_length TM_packet_length,
secondary_header TM_secondary_header,
source_data TMs,
packet_error TM_packet_error
}
-- ./dataview-uniq.asn
TM_packet_error ::= INTEGER (0 .. 65535)
-- ./dataview-uniq.asn
TM_secondary_header ::= SEQUENCE {
time_reference_status TM_secondary_header_time_reference_status,
message_type_counter TM_secondary_header_message_type_counter,
destination_id APUserID
}
-- ./dataview-uniq.asn
TM_packet_length ::= INTEGER (0 .. 65535)
-- ./dataview-uniq.asn
TM_sequence_count ::= INTEGER (0 .. 16383)
-- ./dataview-uniq.asn
TM_1_10_failure_data_tm_1_10_failure_data_inst ::= INTEGER (0 .. 255)
-- ./dataview-uniq.asn
Request_ID_inst_sequence_count ::= INTEGER (0 .. 16383)
-- ./dataview-uniq.asn
Telecommand_packet_error ::= INTEGER (0 .. 65535)
-- ./dataview-uniq.asn
Telecommand_secondary_header ::= SEQUENCE {
ack_successful_completion BOOLEAN,
ack_successful_progress BOOLEAN,
ack_successful_start BOOLEAN,
ack_successful_acceptance BOOLEAN,
source_id APUserID
}
-- ./dataview-uniq.asn
Telecommand_packet_length ::= INTEGER (0 .. 65535)
-- ./dataview-uniq.asn
Telecommand_sequence_count ::= INTEGER (0 .. 16383)
-- ./dataview-uniq.asn
CPDU_Cmd_cmd_pulse_instr ::= SEQUENCE (SIZE (1 .. 12)) OF Pulse_Instr_Instance
-- ./dataview-uniq.asn
Pulse_Instr_Instance_duration_exp_value ::= INTEGER (0 .. 7)
-- ./dataview-uniq.asn
TM_secondary_header_message_type_counter ::= INTEGER (0 .. 65535)
-- ./dataview-uniq.asn
TM_secondary_header_time_reference_status ::= INTEGER (0 .. 15)
-- ./dataview-uniq.asn
Test_TC ::= SEQUENCE {
identifierRequest T_UInt32,
cpduID T_UInt8,
crc BOOLEAN
}