Skip to content
GitLab
Commit 15cf81bd authored by Daniel Tonoiu's avatar Daniel Tonoiu
Browse files

implement the time management service

parent 40a9a359
Expand all Show whitespace changes
Inline Side-by-side
ConcurrencyView_Properties.aadl 100755 → 100644
View file @ 15cf81bd
File mode changed from 100755 to 100644
DataView.aadl 100755 → 100644
View file @ 15cf81bd
This diff is collapsed.
DataView.acn 100755 → 100644
View file @ 15cf81bd
Distribute-CPDU-Commands-Generic DEFINITIONS ::= BEGIN
END
Taps DEFINITIONS ::= BEGIN
APID[encoding pos-int, encode-values, size 11]
APUserID[encoding pos-int, encode-values, size 16]
......@@ -13,26 +10,8 @@ Taps DEFINITIONS ::= BEGIN
duration-exp-value []
}
TYPE8b-ID[encoding pos-int, size 8]
TC-2-1 []
TC-2-4 []
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],
tc3-1 [present-when tc-type==3 tc-subtype==1],
tc3-3 [present-when tc-type==3 tc-subtype==3],
tc3-5 [present-when tc-type==3 tc-subtype==5],
tc3-6 [present-when tc-type==3 tc-subtype==6],
tc3-9 [present-when tc-type==3 tc-subtype==9],
tc3-27 [present-when tc-type==3 tc-subtype==27],
tc3-31 [present-when tc-type==3 tc-subtype==31],
tc12-1 [present-when tc-type==12 tc-subtype==1],
tc12-2 [present-when tc-type==12 tc-subtype==2],
tc12-13 [present-when tc-type==12 tc-subtype==13],
tc12-15 [present-when tc-type==12 tc-subtype==15],
tc12-16 [present-when tc-type==12 tc-subtype==16]
}
Telecommand[]{
TC[]{
packet-version-no NULL [pattern '000'B],
packet-type NULL [pattern '1'B], -- 1 for TC, 0 for TM
has-secondary-hdr NULL [pattern '1'B], -- !!! 0 for cpdu packets
......@@ -46,15 +25,48 @@ Taps DEFINITIONS ::= BEGIN
ack-successful-progress [],
ack-successful-start [],
ack-successful-acceptance [],
service-type-id TYPE8b-ID [],
service-subtype-id TYPE8b-ID [],
pus-type TYPE8b-ID [],
pus-subtype TYPE8b-ID [],
source-id []
},
application-data <secondary-header.service-type-id, secondary-header.service-subtype-id> [],
spare-tc NULL [pattern '00000000'B], -- TBD !!!
application-data <secondary-header.pus-type, secondary-header.pus-subtype> [],
spare-tc NULL [pattern '00000000'B],
packet-error []
}
PUS <INTEGER: pus-type, INTEGER: pus-subtype> [] {
device-access <pus-subtype> [present-when pus-type == 2],
housekeeping <pus-subtype> [present-when pus-type == 3],
time-management <pus-subtype> [present-when pus-type == 9],
on-board-monitoring <pus-subtype> [present-when pus-type == 12]
}
PUS-2 <INTEGER: pus-subtype> [] {
pus-2-1-device-cmds [present-when pus-subtype == 1],
pus-2-4-cpdu-cmds [present-when pus-subtype == 4]
}
PUS-3 <INTEGER: pus-subtype> [] {
pus-3-1-new-HK [present-when pus-subtype == 1],
pus-3-3-del-HK [present-when pus-subtype == 3],
pus-3-5-periodic-HK-on [present-when pus-subtype == 5],
pus-3-6-periodic-HK-off [present-when pus-subtype == 6],
pus-3-9-report-HK [present-when pus-subtype == 9],
pus-3-27-one-shot-HK [present-when pus-subtype == 27],
pus-3-31-new-col-int [present-when pus-subtype == 31]
}
PUS-9 <INTEGER: pus-subtype> [] {
pus-9-1-set-rate-exp [present-when pus-subtype == 1]
}
PUS-12 <INTEGER: pus-subtype> [] {
pus-12-1-enable-def [present-when pus-subtype == 1],
pus-12-2-disable-def [present-when pus-subtype == 2],
pus-12-13-report-def [present-when pus-subtype == 13],
pus-12-15-enable-func [present-when pus-subtype == 15],
pus-12-16-disable-func [present-when pus-subtype == 16]
}
TM-1-1 []
TM-1-2 []
TM-1-3 []
......@@ -86,7 +98,7 @@ Taps DEFINITIONS ::= BEGIN
TM[]{
packet-version-no NULL [pattern '000'B],
packet-type NULL [pattern '0'B], -- 1 for TC, 0 for TM
has-secondary-hdr NULL [pattern '1'B], -- !!! 0 for time packets
has-secondary-hdr NULL [pattern '1'B], -- 0 for time packets
source-apid [],
sequence-flags NULL [pattern '11'B],
sequence-count [],
......@@ -97,12 +109,27 @@ Taps DEFINITIONS ::= BEGIN
service-type-id TYPE8b-ID [],
service-subtype-id TYPE8b-ID [],
message-type-counter [],
destination-id []
destination-id [],
time []
},
source-data <secondary-header.service-type-id, secondary-header.service-subtype-id> [],
spare-tm NULL [pattern '00000000'B], -- TBD !!!
packet-error []
}
TM-st09 []{
packet-version-no NULL [pattern '000'B],
packet-type NULL [pattern '0'B], -- 1 for TC, 0 for TM
has-secondary-hdr NULL [pattern '0'B], -- 0 for time packets
source-apid [],
sequence-flags NULL [pattern '11'B],
sequence-count [],
packet-length [],
source-data [],
spare-tm NULL [pattern '00000000'B], -- TBD !!!
packet-error []
}
TM-1-2-failure-codes [encoding pos-int, encode-values, size 8]
TM-1-10-failure-codes [encoding pos-int, encode-values, size 8]
Request-ID-inst[]{
......
DataView.asn 100755 → 100644
View file @ 15cf81bd
This diff is collapsed.
DeploymentView.aadl 100755 → 100644
View file @ 15cf81bd
......@@ -22,33 +22,39 @@ END deploymentview::DV::Node1;
PACKAGE deploymentview::DV
PUBLIC
WITH interfaceview::IV::sensor2_AP::st01_Acceptance;
WITH interfaceview::IV::sensor2_AP::st02_On_Off_cmds;
WITH interfaceview::IV::sensor2_AP::st01_Execution;
WITH interfaceview::IV::sensor2_AP::tm_st01;
WITH interfaceview::IV::sensor2_AP::sensor2;
WITH interfaceview::IV::on_off_cmds_st02::st01_Acceptance;
WITH interfaceview::IV::on_off_cmds_st02::st02_On_Off_cmds;
WITH interfaceview::IV::on_off_cmds_st02::st01_Execution;
WITH interfaceview::IV::on_off_cmds_st02::tm_st01;
WITH interfaceview::IV::on_off_cmds_st02::sensor2;
WITH interfaceview::IV::ground_system::ground_GUI;
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_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_hk;
WITH interfaceview::IV::hk_report_AP::hk_service;
WITH interfaceview::IV::hk_report_AP::execution_hk;
WITH interfaceview::IV::hk_report_AP::tm_hk;
WITH interfaceview::IV::hk_report_AP::hk_definitions;
WITH interfaceview::IV::obsw_routing;
WITH interfaceview::IV::payload::acceptance_cpdu1;
WITH interfaceview::IV::payload::cpdu1_cmds;
WITH interfaceview::IV::payload::execution_cpdu1;
WITH interfaceview::IV::payload::tm_cpdu1;
WITH interfaceview::IV::payload::cpdu1;
WITH interfaceview::IV::hk_report_st03::acceptance_hk;
WITH interfaceview::IV::hk_report_st03::hk_service;
WITH interfaceview::IV::hk_report_st03::execution_hk;
WITH interfaceview::IV::hk_report_st03::tm_hk;
WITH interfaceview::IV::hk_report_st03::hk_definitions;
WITH interfaceview::IV::sensor1;
WITH interfaceview::IV::cpdu2;
WITH interfaceview::IV::on_board_monitoring_AP::event_report;
WITH interfaceview::IV::on_board_monitoring_AP::execution_obm;
WITH interfaceview::IV::on_board_monitoring_AP::tm_obm;
WITH interfaceview::IV::on_board_monitoring_AP::on_board_monitoring;
WITH interfaceview::IV::on_board_monitoring_AP::acceptance_st12;
WITH interfaceview::IV::on_board_monitoring_st12::event_report;
WITH interfaceview::IV::on_board_monitoring_st12::execution_obm;
WITH interfaceview::IV::on_board_monitoring_st12::tm_obm;
WITH interfaceview::IV::on_board_monitoring_st12::on_board_monitoring;
WITH interfaceview::IV::on_board_monitoring_st12::acceptance_st12;
WITH interfaceview::IV::execution_generic;
WITH interfaceview::IV::time_management_st09::acceptance_st09;
WITH interfaceview::IV::time_management_st09::execution_st09;
WITH interfaceview::IV::time_management_st09::tm_st09;
WITH interfaceview::IV::time_management_st09::time_management;
WITH interfaceview::IV::data_pool;
WITH interfaceview::IV::sc_routing;
WITH ocarina_processors_x86;
WITH deploymentview::DV::Node1;
WITH Taste;
......@@ -60,19 +66,19 @@ END Node1;
SYSTEM IMPLEMENTATION Node1.others
SUBCOMPONENTS
IV_st01_Acceptance : SYSTEM interfaceview::IV::sensor2_AP::st01_Acceptance::st01_Acceptance.others {
IV_st01_Acceptance : SYSTEM interfaceview::IV::on_off_cmds_st02::st01_Acceptance::st01_Acceptance.others {
Taste::FunctionName => "st01_Acceptance";
};
IV_st02_On_Off_cmds : SYSTEM interfaceview::IV::sensor2_AP::st02_On_Off_cmds::st02_On_Off_cmds.others {
IV_st02_On_Off_cmds : SYSTEM interfaceview::IV::on_off_cmds_st02::st02_On_Off_cmds::st02_On_Off_cmds.others {
Taste::FunctionName => "st02_On_Off_cmds";
};
IV_st01_Execution : SYSTEM interfaceview::IV::sensor2_AP::st01_Execution::st01_Execution.others {
IV_st01_Execution : SYSTEM interfaceview::IV::on_off_cmds_st02::st01_Execution::st01_Execution.others {
Taste::FunctionName => "st01_Execution";
};
IV_tm_st01 : SYSTEM interfaceview::IV::sensor2_AP::tm_st01::tm_st01.others {
IV_tm_st01 : SYSTEM interfaceview::IV::on_off_cmds_st02::tm_st01::tm_st01.others {
Taste::FunctionName => "tm_st01";
};
IV_sensor2 : SYSTEM interfaceview::IV::sensor2_AP::sensor2::sensor2.others {
IV_sensor2 : SYSTEM interfaceview::IV::on_off_cmds_st02::sensor2::sensor2.others {
Taste::FunctionName => "sensor2";
};
IV_ground_GUI : SYSTEM interfaceview::IV::ground_system::ground_GUI::ground_GUI.others {
......@@ -84,37 +90,37 @@ SUBCOMPONENTS
IV_sendTM : SYSTEM interfaceview::IV::sendTM::sendTM.others {
Taste::FunctionName => "sendTM";
};
IV_st01_routing : SYSTEM interfaceview::IV::st01_routing::st01_routing.others {
Taste::FunctionName => "st01_routing";
IV_obsw_routing : SYSTEM interfaceview::IV::obsw_routing::obsw_routing.others {
Taste::FunctionName => "obsw_routing";
};
IV_acceptance_cpdu1 : SYSTEM interfaceview::IV::cpdu1_AP::acceptance_cpdu1::acceptance_cpdu1.others {
IV_acceptance_cpdu1 : SYSTEM interfaceview::IV::payload::acceptance_cpdu1::acceptance_cpdu1.others {
Taste::FunctionName => "acceptance_cpdu1";
};
IV_cpdu1_cmds : SYSTEM interfaceview::IV::cpdu1_AP::cpdu1_cmds::cpdu1_cmds.others {
IV_cpdu1_cmds : SYSTEM interfaceview::IV::payload::cpdu1_cmds::cpdu1_cmds.others {
Taste::FunctionName => "cpdu1_cmds";
};
IV_execution_cpdu1 : SYSTEM interfaceview::IV::cpdu1_AP::execution_cpdu1::execution_cpdu1.others {
IV_execution_cpdu1 : SYSTEM interfaceview::IV::payload::execution_cpdu1::execution_cpdu1.others {
Taste::FunctionName => "execution_cpdu1";
};
IV_tm_cpdu1 : SYSTEM interfaceview::IV::cpdu1_AP::tm_cpdu1::tm_cpdu1.others {
IV_tm_cpdu1 : SYSTEM interfaceview::IV::payload::tm_cpdu1::tm_cpdu1.others {
Taste::FunctionName => "tm_cpdu1";
};
IV_cpdu1 : SYSTEM interfaceview::IV::cpdu1_AP::cpdu1::cpdu1.others {
IV_cpdu1 : SYSTEM interfaceview::IV::payload::cpdu1::cpdu1.others {
Taste::FunctionName => "cpdu1";
};
IV_acceptance_hk : SYSTEM interfaceview::IV::hk_report_AP::acceptance_hk::acceptance_hk.others {
IV_acceptance_hk : SYSTEM interfaceview::IV::hk_report_st03::acceptance_hk::acceptance_hk.others {
Taste::FunctionName => "acceptance_hk";
};
IV_hk_service : SYSTEM interfaceview::IV::hk_report_AP::hk_service::hk_service.others {
IV_hk_service : SYSTEM interfaceview::IV::hk_report_st03::hk_service::hk_service.others {
Taste::FunctionName => "hk_service";
};
IV_execution_hk : SYSTEM interfaceview::IV::hk_report_AP::execution_hk::execution_hk.others {
IV_execution_hk : SYSTEM interfaceview::IV::hk_report_st03::execution_hk::execution_hk.others {
Taste::FunctionName => "execution_hk";
};
IV_tm_hk : SYSTEM interfaceview::IV::hk_report_AP::tm_hk::tm_hk.others {
IV_tm_hk : SYSTEM interfaceview::IV::hk_report_st03::tm_hk::tm_hk.others {
Taste::FunctionName => "tm_hk";
};
IV_hk_definitions : SYSTEM interfaceview::IV::hk_report_AP::hk_definitions::hk_definitions.others {
IV_hk_definitions : SYSTEM interfaceview::IV::hk_report_st03::hk_definitions::hk_definitions.others {
Taste::FunctionName => "hk_definitions";
};
IV_sensor1 : SYSTEM interfaceview::IV::sensor1::sensor1.others {
......@@ -123,24 +129,42 @@ SUBCOMPONENTS
IV_cpdu2 : SYSTEM interfaceview::IV::cpdu2::cpdu2.others {
Taste::FunctionName => "cpdu2";
};
IV_event_report : SYSTEM interfaceview::IV::on_board_monitoring_AP::event_report::event_report.others {
IV_event_report : SYSTEM interfaceview::IV::on_board_monitoring_st12::event_report::event_report.others {
Taste::FunctionName => "event_report";
};
IV_execution_obm : SYSTEM interfaceview::IV::on_board_monitoring_AP::execution_obm::execution_obm.others {
IV_execution_obm : SYSTEM interfaceview::IV::on_board_monitoring_st12::execution_obm::execution_obm.others {
Taste::FunctionName => "execution_obm";
};
IV_tm_obm : SYSTEM interfaceview::IV::on_board_monitoring_AP::tm_obm::tm_obm.others {
IV_tm_obm : SYSTEM interfaceview::IV::on_board_monitoring_st12::tm_obm::tm_obm.others {
Taste::FunctionName => "tm_obm";
};
IV_on_board_monitoring : SYSTEM interfaceview::IV::on_board_monitoring_AP::on_board_monitoring::on_board_monitoring.others {
IV_on_board_monitoring : SYSTEM interfaceview::IV::on_board_monitoring_st12::on_board_monitoring::on_board_monitoring.others {
Taste::FunctionName => "on_board_monitoring";
};
IV_acceptance_st12 : SYSTEM interfaceview::IV::on_board_monitoring_AP::acceptance_st12::acceptance_st12.others {
IV_acceptance_st12 : SYSTEM interfaceview::IV::on_board_monitoring_st12::acceptance_st12::acceptance_st12.others {
Taste::FunctionName => "acceptance_st12";
};
IV_execution_generic : SYSTEM interfaceview::IV::execution_generic::execution_generic.others {
Taste::FunctionName => "execution_generic";
};
IV_acceptance_st09 : SYSTEM interfaceview::IV::time_management_st09::acceptance_st09::acceptance_st09.others {
Taste::FunctionName => "acceptance_st09";
};
IV_execution_st09 : SYSTEM interfaceview::IV::time_management_st09::execution_st09::execution_st09.others {
Taste::FunctionName => "execution_st09";
};
IV_tm_st09 : SYSTEM interfaceview::IV::time_management_st09::tm_st09::tm_st09.others {
Taste::FunctionName => "tm_st09";
};
IV_time_management : SYSTEM interfaceview::IV::time_management_st09::time_management::time_management.others {
Taste::FunctionName => "time_management";
};
IV_data_pool : SYSTEM interfaceview::IV::data_pool::data_pool.others {
Taste::FunctionName => "data_pool";
};
IV_sc_routing : SYSTEM interfaceview::IV::sc_routing::sc_routing.others {
Taste::FunctionName => "sc_routing";
};
taps : PROCESS deploymentview::DV::Node1::taps.others {
Taste::coordinates => "85474 64572 179410 99940";
Deployment::Port_Number => 0;
......@@ -157,7 +181,7 @@ PROPERTIES
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_ground_GUI;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_processTC;
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_obsw_routing;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_acceptance_cpdu1;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_cpdu1_cmds;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_execution_cpdu1;
......@@ -176,6 +200,12 @@ PROPERTIES
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_on_board_monitoring;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_acceptance_st12;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_execution_generic;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_acceptance_st09;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_execution_st09;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_tm_st09;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_time_management;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_data_pool;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_sc_routing;
Actual_Processor_Binding => (reference (x86_linux)) APPLIES TO taps;
END Node1.others;
......
InterfaceView.aadl 100755 → 100644
View file @ 15cf81bd
This diff is collapsed.
InterfaceView.md5 100755 → 100644
View file @ 15cf81bd
5a0cd3e2d4aac151cb46266c3be02b76 InterfaceView.aadl
95587de4bb50fe0606e5be30ec569f28 InterfaceView.aadl
__dv_1_3.aadl 100755 → 100644
View file @ 15cf81bd
......@@ -22,12 +22,13 @@ END deploymentview::DV::Node1;
PACKAGE deploymentview::DV
PUBLIC
WITH interfaceview::IV::sensor2_AP;
WITH interfaceview::IV::on_off_cmds_st02;
WITH interfaceview::IV::ground_system;
WITH interfaceview::IV;
WITH interfaceview::IV::cpdu1_AP;
WITH interfaceview::IV::hk_report_AP;
WITH interfaceview::IV::on_board_monitoring_AP;
WITH interfaceview::IV::payload;
WITH interfaceview::IV::hk_report_st03;
WITH interfaceview::IV::on_board_monitoring_st12;
WITH interfaceview::IV::time_management_st09;
WITH ocarina_processors_x86;
WITH deploymentview::DV::Node1;
WITH Taste;
......@@ -39,19 +40,19 @@ END Node1;
SYSTEM IMPLEMENTATION Node1.others
SUBCOMPONENTS
IV_st01_Acceptance : SYSTEM interfaceview::IV::sensor2_AP::st01_Acceptance.others {
IV_st01_Acceptance : SYSTEM interfaceview::IV::on_off_cmds_st02::st01_Acceptance.others {
Taste::FunctionName => "st01_Acceptance";
};
IV_st02_On_Off_cmds : SYSTEM interfaceview::IV::sensor2_AP::st02_On_Off_cmds.others {
IV_st02_On_Off_cmds : SYSTEM interfaceview::IV::on_off_cmds_st02::st02_On_Off_cmds.others {
Taste::FunctionName => "st02_On_Off_cmds";
};
IV_st01_Execution : SYSTEM interfaceview::IV::sensor2_AP::st01_Execution.others {
IV_st01_Execution : SYSTEM interfaceview::IV::on_off_cmds_st02::st01_Execution.others {
Taste::FunctionName => "st01_Execution";
};
IV_tm_st01 : SYSTEM interfaceview::IV::sensor2_AP::tm_st01.others {
IV_tm_st01 : SYSTEM interfaceview::IV::on_off_cmds_st02::tm_st01.others {
Taste::FunctionName => "tm_st01";
};
IV_sensor2 : SYSTEM interfaceview::IV::sensor2_AP::sensor2.others {
IV_sensor2 : SYSTEM interfaceview::IV::on_off_cmds_st02::sensor2.others {
Taste::FunctionName => "sensor2";
};
IV_ground_GUI : SYSTEM interfaceview::IV::ground_system::ground_GUI.others {
......@@ -63,37 +64,37 @@ SUBCOMPONENTS
IV_sendTM : SYSTEM interfaceview::IV::sendTM.others {
Taste::FunctionName => "sendTM";
};
IV_st01_routing : SYSTEM interfaceview::IV::st01_routing.others {
Taste::FunctionName => "st01_routing";
IV_obsw_routing : SYSTEM interfaceview::IV::obsw_routing.others {
Taste::FunctionName => "obsw_routing";
};
IV_acceptance_cpdu1 : SYSTEM interfaceview::IV::cpdu1_AP::acceptance_cpdu1.others {
IV_acceptance_cpdu1 : SYSTEM interfaceview::IV::payload::acceptance_cpdu1.others {
Taste::FunctionName => "acceptance_cpdu1";
};
IV_cpdu1_cmds : SYSTEM interfaceview::IV::cpdu1_AP::cpdu1_cmds.others {
IV_cpdu1_cmds : SYSTEM interfaceview::IV::payload::cpdu1_cmds.others {
Taste::FunctionName => "cpdu1_cmds";
};
IV_execution_cpdu1 : SYSTEM interfaceview::IV::cpdu1_AP::execution_cpdu1.others {
IV_execution_cpdu1 : SYSTEM interfaceview::IV::payload::execution_cpdu1.others {
Taste::FunctionName => "execution_cpdu1";
};
IV_tm_cpdu1 : SYSTEM interfaceview::IV::cpdu1_AP::tm_cpdu1.others {
IV_tm_cpdu1 : SYSTEM interfaceview::IV::payload::tm_cpdu1.others {
Taste::FunctionName => "tm_cpdu1";
};
IV_cpdu1 : SYSTEM interfaceview::IV::cpdu1_AP::cpdu1.others {
IV_cpdu1 : SYSTEM interfaceview::IV::payload::cpdu1.others {
Taste::FunctionName => "cpdu1";
};
IV_acceptance_hk : SYSTEM interfaceview::IV::hk_report_AP::acceptance_hk.others {
IV_acceptance_hk : SYSTEM interfaceview::IV::hk_report_st03::acceptance_hk.others {
Taste::FunctionName => "acceptance_hk";
};
IV_hk_service : SYSTEM interfaceview::IV::hk_report_AP::hk_service.others {
IV_hk_service : SYSTEM interfaceview::IV::hk_report_st03::hk_service.others {
Taste::FunctionName => "hk_service";
};
IV_execution_hk : SYSTEM interfaceview::IV::hk_report_AP::execution_hk.others {
IV_execution_hk : SYSTEM interfaceview::IV::hk_report_st03::execution_hk.others {
Taste::FunctionName => "execution_hk";
};
IV_tm_hk : SYSTEM interfaceview::IV::hk_report_AP::tm_hk.others {
IV_tm_hk : SYSTEM interfaceview::IV::hk_report_st03::tm_hk.others {
Taste::FunctionName => "tm_hk";
};
IV_hk_definitions : SYSTEM interfaceview::IV::hk_report_AP::hk_definitions.others {
IV_hk_definitions : SYSTEM interfaceview::IV::hk_report_st03::hk_definitions.others {
Taste::FunctionName => "hk_definitions";
};
IV_sensor1 : SYSTEM interfaceview::IV::sensor1.others {
......@@ -102,24 +103,42 @@ SUBCOMPONENTS
IV_cpdu2 : SYSTEM interfaceview::IV::cpdu2.others {
Taste::FunctionName => "cpdu2";
};
IV_event_report : SYSTEM interfaceview::IV::on_board_monitoring_AP::event_report.others {
IV_event_report : SYSTEM interfaceview::IV::on_board_monitoring_st12::event_report.others {
Taste::FunctionName => "event_report";
};
IV_execution_obm : SYSTEM interfaceview::IV::on_board_monitoring_AP::execution_obm.others {
IV_execution_obm : SYSTEM interfaceview::IV::on_board_monitoring_st12::execution_obm.others {
Taste::FunctionName => "execution_obm";
};
IV_tm_obm : SYSTEM interfaceview::IV::on_board_monitoring_AP::tm_obm.others {
IV_tm_obm : SYSTEM interfaceview::IV::on_board_monitoring_st12::tm_obm.others {
Taste::FunctionName => "tm_obm";
};
IV_on_board_monitoring : SYSTEM interfaceview::IV::on_board_monitoring_AP::on_board_monitoring.others {
IV_on_board_monitoring : SYSTEM interfaceview::IV::on_board_monitoring_st12::on_board_monitoring.others {
Taste::FunctionName => "on_board_monitoring";
};
IV_acceptance_st12 : SYSTEM interfaceview::IV::on_board_monitoring_AP::acceptance_st12.others {
IV_acceptance_st12 : SYSTEM interfaceview::IV::on_board_monitoring_st12::acceptance_st12.others {
Taste::FunctionName => "acceptance_st12";
};
IV_execution_generic : SYSTEM interfaceview::IV::execution_generic.others {
Taste::FunctionName => "execution_generic";
};
IV_acceptance_st09 : SYSTEM interfaceview::IV::time_management_st09::acceptance_st09.others {
Taste::FunctionName => "acceptance_st09";
};
IV_execution_st09 : SYSTEM interfaceview::IV::time_management_st09::execution_st09.others {
Taste::FunctionName => "execution_st09";
};
IV_tm_st09 : SYSTEM interfaceview::IV::time_management_st09::tm_st09.others {
Taste::FunctionName => "tm_st09";
};
IV_time_management : SYSTEM interfaceview::IV::time_management_st09::time_management.others {
Taste::FunctionName => "time_management";
};
IV_data_pool : SYSTEM interfaceview::IV::data_pool.others {
Taste::FunctionName => "data_pool";
};
IV_sc_routing : SYSTEM interfaceview::IV::sc_routing.others {
Taste::FunctionName => "sc_routing";
};
taps : PROCESS deploymentview::DV::Node1::taps.others {
Taste::coordinates => "85474 64572 179410 99940";
Deployment::Port_Number => 0;
......@@ -136,7 +155,7 @@ PROPERTIES
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_ground_GUI;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_processTC;
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_obsw_routing;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_acceptance_cpdu1;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_cpdu1_cmds;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_execution_cpdu1;
......@@ -155,6 +174,12 @@ PROPERTIES
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_on_board_monitoring;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_acceptance_st12;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_execution_generic;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_acceptance_st09;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_execution_st09;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_tm_st09;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_time_management;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_data_pool;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_sc_routing;
Actual_Processor_Binding => (reference (x86_linux)) APPLIES TO taps;
END Node1.others;
......
__iv_1_3.aadl 100755 → 100644
View file @ 15cf81bd
This diff is collapsed.
acceptance_cpdu1/DataView.pr
View file @ 15cf81bd
Datamodel DEFINITIONS ::= BEGIN
-- ./dataview-uniq.asn
Time_Report_Generation_Rate ::= INTEGER (1 .. 256)
-- ./dataview-uniq.asn
Rate_Exp_Value_91 ::= INTEGER (0 .. 8)
-- ./dataview-uniq.asn
PMON_function_status ::= ENUMERATED {
enabled(0),
......@@ -30,17 +36,17 @@ PMON_exp_value_check_status ::= ENUMERATED {
}
-- ./dataview-uniq.asn
TC_12_15 ::= SEQUENCE {
Report_Def_Status_TC ::= SEQUENCE {
}
-- ./dataview-uniq.asn
TC_12_16 ::= SEQUENCE {
Enable_Param_Monitor_Func ::= SEQUENCE {
}
-- ./dataview-uniq.asn
TC_12_13 ::= SEQUENCE {
Disable_Param_Monitor_Func ::= SEQUENCE {
}
......@@ -54,34 +60,15 @@ SEQ_COUNT ::= INTEGER (0 .. 16383)
APID ::= ENUMERATED {
time_rep_AP(0),
ground_AP(1),
routing_AP(2),
sensor1_AP(3),
sensor2_AP(4),
cpdu1_AP(5),
cpdu2_AP(6),
hk_report_AP(7),
params_statistics_AP(8),
event_rep_AP(9),
raw_mem_AP(10),
common_mem_AP(11),
config_mem_AP(12),
st13_send_AP(13),
st13_receive_AP(14),
schedule_AP(15),
storage_AP(16),
test_AP(17),
event_action_AP(18),
param_manage_AP(19),
file_manage_AP(20)
obsw_AP(2),
payload_AP(3)
}
-- ./dataview-uniq.asn
APUserID ::= ENUMERATED {
ground_User(1),
sc_routingUser(2),
sc_sensorA_User(3),
sc_sensorB_User(4),
sc_cpdu_User(5)
obsw_user(2),
payload_user(3)
}
-- ./dataview-uniq.asn
......@@ -103,7 +90,7 @@ On_off_dev_addr ::= ENUMERATED {
InstructionCounter ::= INTEGER (1 .. 4)
-- ./dataview-uniq.asn
TC_2_1 ::= SEQUENCE (SIZE (1 .. 4)) OF On_off_dev_addr
On_Off_Device_Cmds ::= SEQUENCE (SIZE (1 .. 4)) OF On_off_dev_addr
-- ./dataview-uniq.asn
CPDU_Ids ::= ENUMERATED {
......@@ -133,7 +120,13 @@ CPDU_Cmd ::= SEQUENCE {
}
-- ./dataview-uniq.asn
TC_2_4 ::= SEQUENCE (SIZE (1 .. 2)) OF CPDU_Cmd
Distribute_CPDU_Cmds ::= SEQUENCE (SIZE (1 .. 2)) OF CPDU_Cmd
-- ./dataview-uniq.asn
PUS_2 ::= CHOICE {
pus_2_1_device_cmds On_Off_Device_Cmds,
pus_2_4_cpdu_cmds Distribute_CPDU_Cmds
}
-- ./dataview-uniq.asn
Collection_Interval_Inst ::= INTEGER (1 .. 10)
......@@ -181,11 +174,11 @@ Super_HK_Parameter_Set_Inst ::= SEQUENCE {
}
-- ./dataview-uniq.asn
TC_3_1 ::= SEQUENCE {
Create_HK_Struct ::= SEQUENCE {
hk_struct_id HK_structure_ID_inst,
collection_int Collection_Interval_Inst,
hk_parameter_ids TC_3_1_hk_parameter_ids,
super_hk_sets TC_3_1_super_hk_sets
hk_parameter_ids Create_HK_Struct_hk_parameter_ids,
super_hk_sets Create_HK_Struct_super_hk_sets
}
-- ./dataview-uniq.asn
......@@ -198,19 +191,7 @@ HK_Report_Structure_inst ::= SEQUENCE {
}
-- ./dataview-uniq.asn
TC_3_3 ::= SEQUENCE (SIZE (1 .. 8)) OF HK_structure_ID_inst
-- ./dataview-uniq.asn
TC_3_5 ::= SEQUENCE (SIZE (1 .. 8)) OF HK_structure_ID_inst
-- ./dataview-uniq.asn
TC_3_6 ::= SEQUENCE (SIZE (1 .. 8)) OF HK_structure_ID_inst
-- ./dataview-uniq.asn
TC_3_9 ::= SEQUENCE (SIZE (1 .. 8)) OF HK_structure_ID_inst
-- ./dataview-uniq.asn
TC_3_27 ::= SEQUENCE (SIZE (1 .. 8)) OF HK_structure_ID_inst
Manage_HK_Struct ::= SEQUENCE (SIZE (1 .. 8)) OF HK_structure_ID_inst
-- ./dataview-uniq.asn
HK_CollectionInterval_Inst ::= SEQUENCE {
......@@ -219,7 +200,18 @@ HK_CollectionInterval_Inst ::= SEQUENCE {
}
-- ./dataview-uniq.asn
TC_3_31 ::= SEQUENCE (SIZE (1 .. 8)) OF HK_CollectionInterval_Inst
Change_CollectionInterval ::= SEQUENCE (SIZE (1 .. 8)) OF HK_CollectionInterval_Inst
-- ./dataview-uniq.asn
PUS_3 ::= CHOICE {
pus_3_1_new_HK Create_HK_Struct,
pus_3_3_del_HK Manage_HK_Struct,
pus_3_5_periodic_HK_on Manage_HK_Struct,
pus_3_6_periodic_HK_off Manage_HK_Struct,
pus_3_9_report_HK Manage_HK_Struct,
pus_3_27_one_shot_HK Manage_HK_Struct,
pus_3_31_new_col_int Change_CollectionInterval
}
-- ./dataview-uniq.asn
TM_3_10 ::= SEQUENCE {
......@@ -288,46 +280,43 @@ Event_Definition_ID_inst ::= ENUMERATED {
}
-- ./dataview-uniq.asn
Auxiliary_Data_inst ::= ENUMERATED {
below_low_limit(0),