Commit 0956332c authored by Thanassis Tsiodras's avatar Thanassis Tsiodras
Browse files

TAPS case studies and PUS library

parent f98b632e
File mode changed from 100755 to 100644
This diff is collapsed.
......@@ -82,33 +82,11 @@ Taps DEFINITIONS ::= BEGIN
PUS <INTEGER: pus-type, INTEGER: pus-subtype> [] {
device-access <pus-subtype> [present-when pus-type == 2],
housekeeping <pus-subtype> [present-when pus-type == 3],
memory-management <pus-subtype> [present-when pus-type == 6],
time-management <pus-subtype> [present-when pus-type == 9],
time-scheduling <pus-subtype> [present-when pus-type == 11],
on-board-monitoring <pus-subtype> [present-when pus-type == 12],
storage-and-retrieval <pus-subtype> [present-when pus-type == 15],
event-action <pus-subtype> [present-when pus-type == 19],
param-management <pus-subtype> [present-when pus-type == 20]
}
PUS-ev-action <INTEGER: pus-type, INTEGER: pus-subtype> [] {
device-access <pus-subtype> [present-when pus-type == 2],
housekeeping <pus-subtype> [present-when pus-type == 3]
}
PUS-sched <INTEGER: pus-type, INTEGER: pus-subtype> [] {
device-access <pus-subtype> [present-when pus-type == 2],
housekeeping <pus-subtype> [present-when pus-type == 3]
}
PUS-2 <INTEGER: pus-subtype> [] {
device-access [present-when pus-type == 2]{
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> [] {
},
housekeeping [present-when pus-type == 3]{
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],
......@@ -117,34 +95,32 @@ Taps DEFINITIONS ::= BEGIN
pus-3-27-one-shot-HK [present-when pus-subtype == 27],
pus-3-31-new-col-int [present-when pus-subtype == 31]
}
PUS-6 <INTEGER: pus-subtype> [] {
},
memory-management [present-when pus-type == 6]{
pus-6-2-load-mem [present-when pus-subtype == 2],
pus-6-5-dump-mem [present-when pus-subtype == 5],
pus-6-12-abort-dumps [present-when pus-subtype == 12],
pus-6-13-enable-scrubbing [present-when pus-subtype == 13],
pus-6-14-disable-scrubbing [present-when pus-subtype == 14]
}
Address-inst[encoding pos-int, size 32]
PUS-9 <INTEGER: pus-subtype> [] {
pus-9-1-set-rate-exp [present-when pus-subtype == 1]
}
PUS-11 <INTEGER: pus-subtype> [] {
},
time-management [present-when pus-type == 9]{
pus-9-1-set-rate-exp [present-when pus-subtype == 1]
},
time-scheduling [present-when pus-type == 11]{
pus-11-1-enable-funct [present-when pus-subtype == 1],
pus-11-2-disable-funct [present-when pus-subtype == 2],
pus-11-3-reset-sched [present-when pus-subtype == 3],
pus-11-4-insert-act [present-when pus-subtype == 4],
pus-11-17-summary-rep [present-when pus-subtype == 17]
}
PUS-12 <INTEGER: pus-subtype> [] {
},
on-board-monitoring [present-when pus-type == 12]{
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]
}
PUS-15 <INTEGER: pus-subtype> [] {
},
storage-and-retrieval [present-when pus-type == 15]{
pus-15-1-enable-storing [present-when pus-subtype == 1],
pus-15-2-disable-storing [present-when pus-subtype == 2],
pus-15-3-add-report-type [present-when pus-subtype == 3],
......@@ -152,20 +128,67 @@ Taps DEFINITIONS ::= BEGIN
pus-15-14-change-open-time [present-when pus-subtype == 14],
pus-15-15-resume-open-retrieval [present-when pus-subtype == 15],
pus-15-16-suspend-open-retrieval [present-when pus-subtype == 16]
}
PUS-19 <INTEGER: pus-subtype> [] {
},
event-action [present-when pus-type == 19]{
pus-19-1-add-defs [present-when pus-subtype == 1],
pus-19-3-del-defs [present-when pus-subtype == 3],
pus-19-4-enable-defs [present-when pus-subtype == 4],
pus-19-5-disable-defs [present-when pus-subtype == 5],
pus-19-8-enable-funct [present-when pus-subtype == 8],
pus-19-9-disable-funct [present-when pus-subtype == 9]
}
PUS-20 <INTEGER: pus-subtype> [] {
},
param-management [present-when pus-type == 20]{
pus-20-1-report-params [present-when pus-subtype == 1],
pus-20-3-set-params [present-when pus-subtype == 3]
}
}
PUS-ev-action <INTEGER: pus-type, INTEGER: pus-subtype> [] {
device-access [present-when pus-type == 2]{
pus-2-1-device-cmds [present-when pus-subtype == 1],
pus-2-4-cpdu-cmds [present-when pus-subtype == 4]
},
housekeeping [present-when pus-type == 3]{
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-sched <INTEGER: pus-type, INTEGER: pus-subtype> [] {
device-access [present-when pus-type == 2]{
pus-2-1-device-cmds [present-when pus-subtype == 1],
pus-2-4-cpdu-cmds [present-when pus-subtype == 4]
},
housekeeping [present-when pus-type == 3]{
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-2 []
PUS-3 []
PUS-6 []
Address-inst[encoding pos-int, size 32]
PUS-9 []
PUS-11 []
PUS-12 []
PUS-15 []
PUS-19 []
PUS-20 []
PTC-1-PFC-8[encoding pos-int, size 8]
PTC-3-PFC-14[encoding pos-int, size 32]
......
This diff is collapsed.
......@@ -29,7 +29,6 @@ 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::obsw_routing;
WITH interfaceview::IV::payload::acceptance_cpdu1;
WITH interfaceview::IV::payload::cpdu1_cmds;
......@@ -38,33 +37,21 @@ 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_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 interfaceview::IV::event_action_st19::event_action;
WITH interfaceview::IV::event_action_st19::tm_st19;
WITH interfaceview::IV::event_action_st19::execution_ev_act;
WITH interfaceview::IV::event_action_st19::ev_act_definitions;
WITH interfaceview::IV::event_action_st19::acceptance_st19;
WITH interfaceview::IV::time_sched_st11::time_scheduling;
WITH interfaceview::IV::time_sched_st11::acceptance_st11;
WITH interfaceview::IV::time_sched_st11::tm_st11;
WITH interfaceview::IV::time_sched_st11::execution_time_sched;
WITH interfaceview::IV::time_sched_st11::sched_act_defs;
WITH interfaceview::IV::memory_management_st06::memory_management;
WITH interfaceview::IV::memory_management_st06::acceptance_st06;
WITH interfaceview::IV::memory_management_st06::tm_st06;
......@@ -74,13 +61,15 @@ WITH interfaceview::IV::memory_management_st06::memory_02;
WITH interfaceview::IV::memory_management_st06::common_mem_management;
WITH interfaceview::IV::parameter_management_st20::acceptance_st20;
WITH interfaceview::IV::parameter_management_st20::tm_st20;
WITH interfaceview::IV::parameter_management_st20::data_pool_st20;
WITH interfaceview::IV::parameter_management_st20::parameter_management;
WITH interfaceview::IV::on_board_storage_st15::acceptance_st15;
WITH interfaceview::IV::on_board_storage_st15::packet_selection;
WITH interfaceview::IV::on_board_storage_st15::storage_retrieval;
WITH interfaceview::IV::on_board_storage_st15::execution_st15;
WITH interfaceview::IV::on_board_storage_st15::tm_st15;
WITH interfaceview::IV::TM_management::sendTM;
WITH interfaceview::IV::TM_management::execution_st01;
WITH interfaceview::IV::event_report;
WITH ocarina_processors_x86;
WITH deploymentview::DV::Node1;
WITH Taste;
......@@ -113,9 +102,6 @@ SUBCOMPONENTS
IV_processTC : SYSTEM interfaceview::IV::ground_system::processTC::processTC.others {
Taste::FunctionName => "processTC";
};
IV_sendTM : SYSTEM interfaceview::IV::sendTM::sendTM.others {
Taste::FunctionName => "sendTM";
};
IV_obsw_routing : SYSTEM interfaceview::IV::obsw_routing::obsw_routing.others {
Taste::FunctionName => "obsw_routing";
};
......@@ -140,27 +126,15 @@ SUBCOMPONENTS
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_st03::execution_hk::execution_hk.others {
Taste::FunctionName => "execution_hk";
};
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_st03::hk_definitions::hk_definitions.others {
Taste::FunctionName => "hk_definitions";
};
IV_sensor1 : SYSTEM interfaceview::IV::sensor1::sensor1.others {
Taste::FunctionName => "sensor1";
};
IV_cpdu2 : SYSTEM interfaceview::IV::cpdu2::cpdu2.others {
Taste::FunctionName => "cpdu2";
};
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_st12::execution_obm::execution_obm.others {
Taste::FunctionName => "execution_obm";
};
IV_tm_obm : SYSTEM interfaceview::IV::on_board_monitoring_st12::tm_obm::tm_obm.others {
Taste::FunctionName => "tm_obm";
};
......@@ -170,18 +144,9 @@ SUBCOMPONENTS
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";
};
......@@ -194,15 +159,6 @@ SUBCOMPONENTS
IV_event_action : SYSTEM interfaceview::IV::event_action_st19::event_action::event_action.others {
Taste::FunctionName => "event_action";
};
IV_tm_st19 : SYSTEM interfaceview::IV::event_action_st19::tm_st19::tm_st19.others {
Taste::FunctionName => "tm_st19";
};
IV_execution_ev_act : SYSTEM interfaceview::IV::event_action_st19::execution_ev_act::execution_ev_act.others {
Taste::FunctionName => "execution_ev_act";
};
IV_ev_act_definitions : SYSTEM interfaceview::IV::event_action_st19::ev_act_definitions::ev_act_definitions.others {
Taste::FunctionName => "ev_act_definitions";
};
IV_acceptance_st19 : SYSTEM interfaceview::IV::event_action_st19::acceptance_st19::acceptance_st19.others {
Taste::FunctionName => "acceptance_st19";
};
......@@ -215,12 +171,6 @@ SUBCOMPONENTS
IV_tm_st11 : SYSTEM interfaceview::IV::time_sched_st11::tm_st11::tm_st11.others {
Taste::FunctionName => "tm_st11";
};
IV_execution_time_sched : SYSTEM interfaceview::IV::time_sched_st11::execution_time_sched::execution_time_sched.others {
Taste::FunctionName => "execution_time_sched";
};
IV_sched_act_defs : SYSTEM interfaceview::IV::time_sched_st11::sched_act_defs::sched_act_defs.others {
Taste::FunctionName => "sched_act_defs";
};
IV_memory_management : SYSTEM interfaceview::IV::memory_management_st06::memory_management::memory_management.others {
Taste::FunctionName => "memory_management";
};
......@@ -248,9 +198,6 @@ SUBCOMPONENTS
IV_tm_st20 : SYSTEM interfaceview::IV::parameter_management_st20::tm_st20::tm_st20.others {
Taste::FunctionName => "tm_st20";
};
IV_data_pool_st20 : SYSTEM interfaceview::IV::parameter_management_st20::data_pool_st20::data_pool_st20.others {
Taste::FunctionName => "data_pool_st20";
};
IV_parameter_management : SYSTEM interfaceview::IV::parameter_management_st20::parameter_management::parameter_management.others {
Taste::FunctionName => "parameter_management";
};
......@@ -269,6 +216,15 @@ SUBCOMPONENTS
IV_tm_st15 : SYSTEM interfaceview::IV::on_board_storage_st15::tm_st15::tm_st15.others {
Taste::FunctionName => "tm_st15";
};
IV_sendTM : SYSTEM interfaceview::IV::TM_management::sendTM::sendTM.others {
Taste::FunctionName => "sendTM";
};
IV_execution_st01 : SYSTEM interfaceview::IV::TM_management::execution_st01::execution_st01.others {
Taste::FunctionName => "execution_st01";
};
IV_event_report : SYSTEM interfaceview::IV::event_report::event_report.others {
Taste::FunctionName => "event_report";
};
taps : PROCESS deploymentview::DV::Node1::taps.others {
Taste::coordinates => "85474 64572 179410 99940";
Deployment::Port_Number => 0;
......@@ -284,7 +240,6 @@ PROPERTIES
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_sensor2;
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_obsw_routing;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_acceptance_cpdu1;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_cpdu1_cmds;
......@@ -293,33 +248,21 @@ PROPERTIES
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_cpdu1;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_acceptance_hk;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_hk_service;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_execution_hk;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_tm_hk;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_hk_definitions;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_sensor1;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_cpdu2;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_event_report;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_execution_obm;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_tm_obm;
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;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_event_action;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_tm_st19;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_execution_ev_act;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_ev_act_definitions;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_acceptance_st19;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_time_scheduling;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_acceptance_st11;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_tm_st11;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_execution_time_sched;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_sched_act_defs;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_memory_management;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_acceptance_st06;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_tm_st06;
......@@ -329,13 +272,15 @@ PROPERTIES
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_common_mem_management;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_acceptance_st20;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_tm_st20;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_data_pool_st20;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_parameter_management;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_acceptance_st15;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_packet_selection;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_storage_retrieval;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_execution_st15;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_tm_st15;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_sendTM;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_execution_st01;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_event_report;
Actual_Processor_Binding => (reference (x86_linux)) APPLIES TO taps;
END Node1.others;
......@@ -354,6 +299,6 @@ PROPERTIES
Taste::coordinates => "0 0 297000 210000";
Taste::version => "2.0";
Taste::interfaceView => "InterfaceView.aadl";
Taste::HWLibraries => ("../../tool-inst/share/ocarina/AADLv2/ocarina_components.aadl");
Taste::HWLibraries => ("/home/taste/tool-inst/share/ocarina/AADLv2/ocarina_components.aadl");
END deploymentview::DV;
This diff is collapsed.
2b48356625c4caf15048f1004d5e3095 InterfaceView.aadl
6cc72adfbdc3c0b45875875eefbb5551 InterfaceView.aadl
......@@ -34,6 +34,7 @@ WITH interfaceview::IV::time_sched_st11;
WITH interfaceview::IV::memory_management_st06;
WITH interfaceview::IV::parameter_management_st20;
WITH interfaceview::IV::on_board_storage_st15;
WITH interfaceview::IV::TM_management;
WITH ocarina_processors_x86;
WITH deploymentview::DV::Node1;
WITH Taste;
......@@ -66,9 +67,6 @@ SUBCOMPONENTS
IV_processTC : SYSTEM interfaceview::IV::ground_system::processTC.others {
Taste::FunctionName => "processTC";
};
IV_sendTM : SYSTEM interfaceview::IV::sendTM.others {
Taste::FunctionName => "sendTM";
};
IV_obsw_routing : SYSTEM interfaceview::IV::obsw_routing.others {
Taste::FunctionName => "obsw_routing";
};
......@@ -93,27 +91,15 @@ SUBCOMPONENTS
IV_hk_service : SYSTEM interfaceview::IV::hk_report_st03::hk_service.others {
Taste::FunctionName => "hk_service";
};
IV_execution_hk : SYSTEM interfaceview::IV::hk_report_st03::execution_hk.others {
Taste::FunctionName => "execution_hk";
};
IV_tm_hk : SYSTEM interfaceview::IV::hk_report_st03::tm_hk.others {
Taste::FunctionName => "tm_hk";
};
IV_hk_definitions : SYSTEM interfaceview::IV::hk_report_st03::hk_definitions.others {
Taste::FunctionName => "hk_definitions";
};
IV_sensor1 : SYSTEM interfaceview::IV::sensor1.others {
Taste::FunctionName => "sensor1";
};
IV_cpdu2 : SYSTEM interfaceview::IV::cpdu2.others {
Taste::FunctionName => "cpdu2";
};
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_st12::execution_obm.others {
Taste::FunctionName => "execution_obm";
};
IV_tm_obm : SYSTEM interfaceview::IV::on_board_monitoring_st12::tm_obm.others {
Taste::FunctionName => "tm_obm";
};
......@@ -123,18 +109,9 @@ SUBCOMPONENTS
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";
};
......@@ -147,15 +124,6 @@ SUBCOMPONENTS
IV_event_action : SYSTEM interfaceview::IV::event_action_st19::event_action.others {
Taste::FunctionName => "event_action";
};
IV_tm_st19 : SYSTEM interfaceview::IV::event_action_st19::tm_st19.others {
Taste::FunctionName => "tm_st19";
};
IV_execution_ev_act : SYSTEM interfaceview::IV::event_action_st19::execution_ev_act.others {
Taste::FunctionName => "execution_ev_act";
};
IV_ev_act_definitions : SYSTEM interfaceview::IV::event_action_st19::ev_act_definitions.others {
Taste::FunctionName => "ev_act_definitions";
};
IV_acceptance_st19 : SYSTEM interfaceview::IV::event_action_st19::acceptance_st19.others {
Taste::FunctionName => "acceptance_st19";
};
......@@ -168,12 +136,6 @@ SUBCOMPONENTS
IV_tm_st11 : SYSTEM interfaceview::IV::time_sched_st11::tm_st11.others {
Taste::FunctionName => "tm_st11";
};
IV_execution_time_sched : SYSTEM interfaceview::IV::time_sched_st11::execution_time_sched.others {
Taste::FunctionName => "execution_time_sched";
};
IV_sched_act_defs : SYSTEM interfaceview::IV::time_sched_st11::sched_act_defs.others {
Taste::FunctionName => "sched_act_defs";
};
IV_memory_management : SYSTEM interfaceview::IV::memory_management_st06::memory_management.others {
Taste::FunctionName => "memory_management";
};
......@@ -201,9 +163,6 @@ SUBCOMPONENTS
IV_tm_st20 : SYSTEM interfaceview::IV::parameter_management_st20::tm_st20.others {
Taste::FunctionName => "tm_st20";
};
IV_data_pool_st20 : SYSTEM interfaceview::IV::parameter_management_st20::data_pool_st20.others {
Taste::FunctionName => "data_pool_st20";
};
IV_parameter_management : SYSTEM interfaceview::IV::parameter_management_st20::parameter_management.others {
Taste::FunctionName => "parameter_management";
};
......@@ -222,6 +181,15 @@ SUBCOMPONENTS
IV_tm_st15 : SYSTEM interfaceview::IV::on_board_storage_st15::tm_st15.others {
Taste::FunctionName => "tm_st15";
};
IV_sendTM : SYSTEM interfaceview::IV::TM_management::sendTM.others {
Taste::FunctionName => "sendTM";
};
IV_execution_st01 : SYSTEM interfaceview::IV::TM_management::execution_st01.others {
Taste::FunctionName => "execution_st01";
};
IV_event_report : SYSTEM interfaceview::IV::event_report.others {
Taste::FunctionName => "event_report";
};
taps : PROCESS deploymentview::DV::Node1::taps.others {
Taste::coordinates => "85474 64572 179410 99940";
Deployment::Port_Number => 0;
......@@ -237,7 +205,6 @@ PROPERTIES
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_sensor2;
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_obsw_routing;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_acceptance_cpdu1;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_cpdu1_cmds;
......@@ -246,33 +213,21 @@ PROPERTIES
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_cpdu1;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_acceptance_hk;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_hk_service;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_execution_hk;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_tm_hk;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_hk_definitions;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_sensor1;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_cpdu2;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_event_report;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_execution_obm;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_tm_obm;
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;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_event_action;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_tm_st19;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_execution_ev_act;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_ev_act_definitions;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_acceptance_st19;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_time_scheduling;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_acceptance_st11;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_tm_st11;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_execution_time_sched;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_sched_act_defs;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_memory_management;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_acceptance_st06;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_tm_st06;
......@@ -282,13 +237,15 @@ PROPERTIES
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_common_mem_management;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_acceptance_st20;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_tm_st20;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_data_pool_st20;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_parameter_management;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_acceptance_st15;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_packet_selection;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_storage_retrieval;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_execution_st15;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_tm_st15;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_sendTM;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_execution_st01;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_event_report;
Actual_Processor_Binding => (reference (x86_linux)) APPLIES TO taps;
END Node1.others;
......
This diff is collapsed.
......@@ -114,12 +114,6 @@ Delete_Ev_Act_Defs ::= SEQUENCE {
}
-- ./dataview-uniq.asn
TYPE8b_ID ::= INTEGER (0 .. 255)
-- ./dataview-uniq.asn
SEQ_COUNT ::= INTEGER (0 .. 16383)
-- ./dataview-uniq.asn
APID ::= ENUMERATED {
time_rep_AP(0),
......@@ -136,9 +130,65 @@ APUserID ::= ENUMERATED {
}
-- ./dataview-uniq.asn
On_board_params_IDs ::= ENUMERATED {
s1_vcc(5),
s1_stat(6)
MyBool ::= BOOLEAN
-- ./dataview-uniq.asn
Parameter_Value ::= CHOICE {
cpdu1_stat CPDU_status,
cpdu2_stat CPDU_status,
sensor1_out Sensor1_Output,
sensor2_out Sensor2_Output,
test_Mode PTC_1_PFC_8,
no_Of_Tests PTC_3_PFC_14,
s1_vcc Limit_Type_st12,
s1_stat Exp_Value_st12
}
-- ./dataview-uniq.asn
Parameter_Enum ::= ENUMERATED {
cpdu1_stat(0),
cpdu2_stat(1),
sensor1_out(2),
sensor2_out(3),
test_Mode(4),
no_Of_Tests(5),
s1_vcc(6),
s1_stat(7)
}
-- ./dataview-uniq.asn
CPDU_status ::= ENUMERATED {
off(0),
on(1)
}
-- ./dataview-uniq.asn
Sensor1_Output ::= ENUMERATED {
s1v1(0),
s1v2(1),
s1v3(2)
}
-- ./dataview-uniq.asn
Sensor2_Output ::= ENUMERATED {
s2v1(0),
s2v2(1),
s2v3(2)
}
-- ./dataview-uniq.asn
PTC_1_PFC_8 ::= BOOLEAN
-- ./dataview-uniq.asn
PTC_3_PFC_14 ::= INTEGER (0 .. 4294967295)
-- ./dataview-uniq.asn
Limit_Type_st12 ::= INTEGER (-125 .. 255)
-- ./dataview-uniq.asn
Exp_Value_st12 ::= ENUMERATED {
off(0),
on(1)
}
-- ./dataview-uniq.asn
......@@ -239,7 +289,8 @@ Start_Exec_failure_codes ::= ENUMERATED {
service_SCD_list_full(22),
report_SCD_list_full(23),
storage_already_enabled(24),
reportID_not_found(25)