Commit e6875230 authored by Thanassis Tsiodras's avatar Thanassis Tsiodras
Browse files

implement the st[06] Memory management service

parent f273c0c9
Pipeline #1233 failed with stages
This diff is collapsed.
......@@ -205,6 +205,8 @@ BEGIN
-- abort all memory dumps - TC[6,12]
Abort-All-Dumps ::= SEQUENCE {}
-- the memory scrubbing status
Memory-scrubbing-status ::= ENUMERATED { enabled, disabled }
-- enable/disable the scrubbing of a memory TC[6,13] & TC[6,14]
Scrabbing-Mem {MemoryID} ::= SEQUENCE {
memory-id MemoryID
......@@ -494,7 +496,8 @@ On-board-params-IDs::= ENUMERATED { s1-vcc(5), s1-stat(6) }
noFailure(0), startExecFailed(1), hk-def-already-present(2), hk-def-not-present(3), hk-def-enabled(4),
hk-param-duplicated(5), ev-act-list-full(6), ev-act-def-enabled(7), ev-act-ID-notFound(8), sch-act-list-full(9),
sch-act-too-late(10), load-raw-mem-failure(11), dump-mem-write-only(12), length-exceeds-packet-max-size(13),
dump-mem-outside-range(14), start-addr-not-aligned(15), data-length-not-aligned(16), length-exceeds-mem-size(17)
dump-mem-outside-range(14), start-addr-not-aligned(15), data-length-not-aligned(16), length-exceeds-mem-size(17),
failed-mem-scrabbing(18), abort-dumping(19)
}
Progress-Exec-failure-codes ::= ENUMERATED {
noFailure(0),
......@@ -751,7 +754,8 @@ maxEventNoInst Events-No-Inst ::= maxEventsNo
-- instantiate the dump raw memory data instruction
Dump-Raw-Data-Instr-inst ::= Dump-Raw-Data-Instr{Address-inst, Memory-Size-inst}
-- the maximum packet size of the CCSDS space packet protocol
maxCCSDS-packet-size INTEGER(1 .. 4294967296) ::= 65542
--maxCCSDS-packet-size INTEGER(1 .. 4294967296) ::= 65542
maxCCSDS-packet-size INTEGER(1 .. 4294967296) ::= 30000000
-- instantiate the TM[6,6] dumped raw memory data report
TM-6-6 ::= Load-Raw-Data{Memory-ID-inst, Load-Raw-Data-List-inst}
......@@ -1423,6 +1427,13 @@ END
......
......@@ -71,6 +71,7 @@ WITH interfaceview::IV::memory_management_st06::tm_st06;
WITH interfaceview::IV::memory_management_st06::execution_st06;
WITH interfaceview::IV::memory_management_st06::memory_01;
WITH interfaceview::IV::memory_management_st06::memory_02;
WITH interfaceview::IV::memory_management_st06::common_mem_management;
WITH ocarina_processors_x86;
WITH deploymentview::DV::Node1;
WITH Taste;
......@@ -229,6 +230,9 @@ SUBCOMPONENTS
IV_memory_02 : SYSTEM interfaceview::IV::memory_management_st06::memory_02::memory_02.others {
Taste::FunctionName => "memory_02";
};
IV_common_mem_management : SYSTEM interfaceview::IV::memory_management_st06::common_mem_management::common_mem_management.others {
Taste::FunctionName => "common_mem_management";
};
taps : PROCESS deploymentview::DV::Node1::taps.others {
Taste::coordinates => "85474 64572 179410 99940";
Deployment::Port_Number => 0;
......@@ -286,6 +290,7 @@ PROPERTIES
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_execution_st06;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_memory_01;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_memory_02;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_common_mem_management;
Actual_Processor_Binding => (reference (x86_linux)) APPLIES TO taps;
END Node1.others;
......
This diff is collapsed.
0689ea10c470c5c024200d228bc0cc08 InterfaceView.aadl
6aa2bddde753eefa51bda07cf4539725 InterfaceView.aadl
......@@ -190,6 +190,9 @@ SUBCOMPONENTS
IV_memory_02 : SYSTEM interfaceview::IV::memory_management_st06::memory_02.others {
Taste::FunctionName => "memory_02";
};
IV_common_mem_management : SYSTEM interfaceview::IV::memory_management_st06::common_mem_management.others {
Taste::FunctionName => "common_mem_management";
};
taps : PROCESS deploymentview::DV::Node1::taps.others {
Taste::coordinates => "85474 64572 179410 99940";
Deployment::Port_Number => 0;
......@@ -247,6 +250,7 @@ PROPERTIES
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_execution_st06;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_memory_01;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_memory_02;
Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_common_mem_management;
Actual_Processor_Binding => (reference (x86_linux)) APPLIES TO taps;
END Node1.others;
......
......@@ -5470,16 +5470,6 @@ PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_tc65.others;
SUBPROGRAM PI_tc612
PROPERTIES
Taste::Associated_Queue_Size => 1;
END PI_tc612;
SUBPROGRAM IMPLEMENTATION PI_tc612.others
PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_tc612.others;
SUBPROGRAM PI_tc613
FEATURES
memory_id : IN PARAMETER DataView::Scrabbing_Memory {
......@@ -5549,6 +5539,9 @@ FEATURES
dumpData : OUT PARAMETER DataView::Load_Raw_Data_Instr_inst {
Taste::encoding => NATIVE;
};
abortDump : OUT PARAMETER DataView::MyBool {
Taste::encoding => NATIVE;
};
END RI_dump_01;
SUBPROGRAM IMPLEMENTATION RI_dump_01.others
......@@ -5572,11 +5565,34 @@ FEATURES
dumpData : OUT PARAMETER DataView::Load_Raw_Data_Instr_inst {
Taste::encoding => NATIVE;
};
abortDump : OUT PARAMETER DataView::MyBool {
Taste::encoding => NATIVE;
};
END RI_dump_02;
SUBPROGRAM IMPLEMENTATION RI_dump_02.others
END RI_dump_02.others;
SUBPROGRAM RI_scrub_01
FEATURES
scrubbing_status : IN PARAMETER DataView::Memory_scrubbing_status {
Taste::encoding => NATIVE;
};
END RI_scrub_01;
SUBPROGRAM IMPLEMENTATION RI_scrub_01.others
END RI_scrub_01.others;
SUBPROGRAM RI_dump_on
FEATURES
dump_in_progress : IN PARAMETER DataView::MyBool {
Taste::encoding => NATIVE;
};
END RI_dump_on;
SUBPROGRAM IMPLEMENTATION RI_dump_on.others
END RI_dump_on.others;
END interfaceview::FV::memory_management;
PACKAGE interfaceview::FV::acceptance_st06
......@@ -5804,6 +5820,9 @@ FEATURES
dumpData : OUT PARAMETER DataView::Load_Raw_Data_Instr_inst {
Taste::encoding => NATIVE;
};
abortDump : OUT PARAMETER DataView::MyBool {
Taste::encoding => NATIVE;
};
PROPERTIES
Taste::Associated_Queue_Size => 1;
END PI_dump_01;
......@@ -5813,6 +5832,34 @@ PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_dump_01.others;
SUBPROGRAM PI_scrub_01
FEATURES
scrubbing_status : IN PARAMETER DataView::Memory_scrubbing_status {
Taste::encoding => NATIVE;
};
PROPERTIES
Taste::Associated_Queue_Size => 1;
END PI_scrub_01;
SUBPROGRAM IMPLEMENTATION PI_scrub_01.others
PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_scrub_01.others;
SUBPROGRAM PI_abort_01
FEATURES
abort_dump : IN PARAMETER DataView::MyBool {
Taste::encoding => NATIVE;
};
PROPERTIES
Taste::Associated_Queue_Size => 1;
END PI_abort_01;
SUBPROGRAM IMPLEMENTATION PI_abort_01.others
PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_abort_01.others;
END interfaceview::FV::memory_01;
PACKAGE interfaceview::FV::memory_02
......@@ -5829,6 +5876,9 @@ FEATURES
dumpData : OUT PARAMETER DataView::Load_Raw_Data_Instr_inst {
Taste::encoding => NATIVE;
};
abortDump : OUT PARAMETER DataView::MyBool {
Taste::encoding => NATIVE;
};
PROPERTIES
Taste::Associated_Queue_Size => 1;
END PI_dump_02;
......@@ -5838,8 +5888,74 @@ PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_dump_02.others;
SUBPROGRAM PI_abort_02
FEATURES
abort_dump : IN PARAMETER DataView::MyBool {
Taste::encoding => NATIVE;
};
PROPERTIES
Taste::Associated_Queue_Size => 1;
END PI_abort_02;
SUBPROGRAM IMPLEMENTATION PI_abort_02.others
PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_abort_02.others;
END interfaceview::FV::memory_02;
PACKAGE interfaceview::FV::common_mem_management
PUBLIC
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SUBPROGRAM PI_tc612
PROPERTIES
Taste::Associated_Queue_Size => 1;
END PI_tc612;
SUBPROGRAM IMPLEMENTATION PI_tc612.others
PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_tc612.others;
SUBPROGRAM PI_dump_on
FEATURES
dump_in_progress : IN PARAMETER DataView::MyBool {
Taste::encoding => NATIVE;
};
PROPERTIES
Taste::Associated_Queue_Size => 1;
END PI_dump_on;
SUBPROGRAM IMPLEMENTATION PI_dump_on.others
PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_dump_on.others;
SUBPROGRAM RI_abort_01
FEATURES
abort_dump : IN PARAMETER DataView::MyBool {
Taste::encoding => NATIVE;
};
END RI_abort_01;
SUBPROGRAM IMPLEMENTATION RI_abort_01.others
END RI_abort_01.others;
SUBPROGRAM RI_abort_02
FEATURES
abort_dump : IN PARAMETER DataView::MyBool {
Taste::encoding => NATIVE;
};
END RI_abort_02;
SUBPROGRAM IMPLEMENTATION RI_abort_02.others
END RI_abort_02.others;
END interfaceview::FV::common_mem_management;
PACKAGE interfaceview::IV::memory_management_st06
PUBLIC
......@@ -5847,6 +5963,7 @@ WITH interfaceview::FV::execution_st06;
WITH interfaceview::FV::memory_01;
WITH interfaceview::FV::tm_st06;
WITH interfaceview::FV::memory_02;
WITH interfaceview::FV::common_mem_management;
WITH interfaceview::FV::memory_management;
WITH Taste;
WITH DataView;
......@@ -5869,13 +5986,6 @@ FEATURES
Taste::Deadline => 0 ms;
Taste::InterfaceName => "tc65";
};
PI_tc612 : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::memory_management::PI_tc612.others {
Taste::coordinates => "80456 152317";
Taste::RCMoperationKind => sporadic;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "tc612";
};
PI_tc613 : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::memory_management::PI_tc613.others {
Taste::coordinates => "82171 152317";
Taste::RCMoperationKind => sporadic;
......@@ -5915,17 +6025,29 @@ FEATURES
Taste::labelInheritance => "true";
};
RI_tm : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::tm_st06::PI_tm.others {
Taste::coordinates => "75959 150245";
Taste::coordinates => "75959 150453";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "tm";
Taste::labelInheritance => "true";
};
RI_dump_02 : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::memory_02::PI_dump_02.others {
Taste::coordinates => "75959 148751";
Taste::coordinates => "75959 149097";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "dump_02";
Taste::labelInheritance => "true";
};
RI_scrub_01 : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::memory_01::PI_scrub_01.others {
Taste::coordinates => "75959 148030";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "scrub_01";
Taste::labelInheritance => "true";
};
RI_dump_on : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::common_mem_management::PI_dump_on.others {
Taste::coordinates => "75959 149855";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "dump_on";
Taste::labelInheritance => "true";
};
PROPERTIES
Source_Language => (SDL);
Taste::Active_Interfaces => any;
......@@ -5967,8 +6089,8 @@ FEATURES
Taste::InterfaceName => "tc65";
Taste::labelInheritance => "true";
};
RI_tc612 : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::memory_management::PI_tc612.others {
Taste::coordinates => "81282 154824";
RI_tc612 : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::common_mem_management::PI_tc612.others {
Taste::coordinates => "75906 156554";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "tc612";
Taste::labelInheritance => "true";
......@@ -5996,14 +6118,14 @@ END acceptance_st06.others;
SYSTEM tm_st06
FEATURES
PI_tm : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::tm_st06::PI_tm.others {
Taste::coordinates => "66033 157662";
Taste::coordinates => "69193 157731";
Taste::RCMoperationKind => sporadic;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "tm";
};
RI_tm_link : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::sendTM::PI_tm_link.others {
Taste::coordinates => "63969 158560";
Taste::coordinates => "63992 158629";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "tm_link";
Taste::labelInheritance => "true";
......@@ -6019,35 +6141,35 @@ END tm_st06.others;
SYSTEM execution_st06
FEATURES
PI_startEx : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::execution_st06::PI_startEx.others {
Taste::coordinates => "72865 152503";
Taste::coordinates => "73465 152019";
Taste::RCMoperationKind => sporadic;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "startEx";
};
PI_progEx : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::execution_st06::PI_progEx.others {
Taste::coordinates => "72865 153164";
Taste::coordinates => "73465 152680";
Taste::RCMoperationKind => sporadic;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "progEx";
};
PI_compEx : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::execution_st06::PI_compEx.others {
Taste::coordinates => "72865 153680";
Taste::coordinates => "73465 153680";
Taste::RCMoperationKind => sporadic;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "compEx";
};
PI_reqID : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::execution_st06::PI_reqID.others {
Taste::coordinates => "72865 155913";
Taste::coordinates => "72657 154908";
Taste::RCMoperationKind => sporadic;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "reqID";
};
RI_tm : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::tm_st06::PI_tm.others {
Taste::coordinates => "69254 156585";
Taste::coordinates => "69602 154469";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "tm";
Taste::labelInheritance => "true";
......@@ -6063,19 +6185,33 @@ END execution_st06.others;
SYSTEM memory_01
FEATURES
PI_load_m01 : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::memory_01::PI_load_m01.others {
Taste::coordinates => "72614 145597";
Taste::coordinates => "72614 145136";
Taste::RCMoperationKind => protected;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "load_m01";
};
PI_dump_01 : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::memory_01::PI_dump_01.others {
Taste::coordinates => "72614 146833";
Taste::coordinates => "72614 145611";
Taste::RCMoperationKind => protected;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "dump_01";
};
PI_scrub_01 : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::memory_01::PI_scrub_01.others {
Taste::coordinates => "72614 146372";
Taste::RCMoperationKind => sporadic;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "scrub_01";
};
PI_abort_01 : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::memory_01::PI_abort_01.others {
Taste::coordinates => "67740 145217";
Taste::RCMoperationKind => sporadic;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "abort_01";
};
PROPERTIES
Source_Language => (Ada);
Taste::Active_Interfaces => any;
......@@ -6087,12 +6223,19 @@ END memory_01.others;
SYSTEM memory_02
FEATURES
PI_dump_02 : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::memory_02::PI_dump_02.others {
Taste::coordinates => "72623 149543";
Taste::coordinates => "72623 149082";
Taste::RCMoperationKind => protected;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "dump_02";
};
PI_abort_02 : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::memory_02::PI_abort_02.others {
Taste::coordinates => "67749 147822";
Taste::RCMoperationKind => sporadic;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "abort_02";
};
PROPERTIES
Source_Language => (Ada);
Taste::Active_Interfaces => any;
......@@ -6101,6 +6244,42 @@ END memory_02;
SYSTEM IMPLEMENTATION memory_02.others
END memory_02.others;
SYSTEM common_mem_management
FEATURES
PI_tc612 : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::common_mem_management::PI_tc612.others {
Taste::coordinates => "65680 155715";
Taste::RCMoperationKind => sporadic;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "tc612";
};
PI_dump_on : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::common_mem_management::PI_dump_on.others {
Taste::coordinates => "67509 152279";
Taste::RCMoperationKind => sporadic;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "dump_on";
};
RI_abort_01 : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::memory_01::PI_abort_01.others {
Taste::coordinates => "64275 152279";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "abort_01";
Taste::labelInheritance => "true";
};
RI_abort_02 : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::memory_02::PI_abort_02.others {
Taste::coordinates => "66078 152279";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "abort_02";
Taste::labelInheritance => "true";
};
PROPERTIES
Source_Language => (SDL);
Taste::Active_Interfaces => any;
END common_mem_management;
SYSTEM IMPLEMENTATION common_mem_management.others
END common_mem_management.others;
PROPERTIES
Taste::coordinates => "62938 144159 89041 160339";
END interfaceview::IV::memory_management_st06;
......@@ -6679,18 +6858,21 @@ SUBCOMPONENTS
Taste::coordinates => "75906 154824 87975 159279";
};
tm_st06 : SYSTEM interfaceview::IV::memory_management_st06::tm_st06.others {
Taste::coordinates => "63969 157662 68086 160057";
Taste::coordinates => "63992 157731 70086 160126";
};
execution_st06 : SYSTEM interfaceview::IV::memory_management_st06::execution_st06.others {
Taste::coordinates => "67608 151877 72865 156585";
Taste::coordinates => "69602 151393 73465 154908";
TASTE_IV_Properties::is_Component_Type => FALSE;
TASTE_IV_Properties::is_instance_of => "execution_generic";
};
memory_01 : SYSTEM interfaceview::IV::memory_management_st06::memory_01.others {
Taste::coordinates => "67740 145216 72614 147428";
Taste::coordinates => "67740 144755 72614 146967";
};
memory_02 : SYSTEM interfaceview::IV::memory_management_st06::memory_02.others {
Taste::coordinates => "67749 147751 72623 149963";
Taste::coordinates => "67749 147290 72623 149502";
};
common_mem_management : SYSTEM interfaceview::IV::memory_management_st06::common_mem_management.others {
Taste::coordinates => "63351 152279 68794 155715";
};
CONNECTIONS
st02_On_Off_cmds_PI_tc21_s2_st01_Acceptance_RI_tc21_s2 : SUBPROGRAM ACCESS st02_On_Off_cmds.PI_tc21_s2 -> st01_Acceptance.RI_tc21_s2 {
......@@ -7098,9 +7280,6 @@ CONNECTIONS
memory_management_PI_tc65_acceptance_st06_RI_tc65 : SUBPROGRAM ACCESS memory_management.PI_tc65 -> acceptance_st06.RI_tc65 {
Taste::coordinates => "79602 154824 79602 153866 79044 153866 79044 152317";
};
memory_management_PI_tc612_acceptance_st06_RI_tc612 : SUBPROGRAM ACCESS memory_management.PI_tc612 -> acceptance_st06.RI_tc612 {
Taste::coordinates => "81282 154824 81282 153570 80456 153570 80456 152317";
};
memory_management_PI_tc613_acceptance_st06_RI_tc613 : SUBPROGRAM ACCESS memory_management.PI_tc613 -> acceptance_st06.RI_tc613 {
Taste::coordinates => "82962 154824 82962 153362 82171 153362 82171 152317";
};
......@@ -7108,31 +7287,46 @@ CONNECTIONS
Taste::coordinates => "84642 154824 84642 153126 83953 153126 83953 152317";
};
execution_st06_PI_startEx_memory_management_RI_startEx : SUBPROGRAM ACCESS execution_st06.PI_startEx -> memory_management.RI_startEx {
Taste::coordinates => "75959 150839 73850 150839 73850 152503 72865 152503";
Taste::coordinates => "75959 150839 74215 150839 74215 152019 73465 152019";
};
execution_st06_PI_compEx_memory_management_RI_compEx : SUBPROGRAM ACCESS execution_st06.PI_compEx -> memory_management.RI_compEx {
Taste::coordinates => "75959 151596 74412 151596 74412 153680 72865 153680";
Taste::coordinates => "75959 151596 74976 151596 74976 153680 73465 153680";
};
memory_01_PI_load_m01_memory_management_RI_load_m01 : SUBPROGRAM ACCESS memory_01.PI_load_m01 -> memory_management.RI_load_m01 {
Taste::coordinates => "75959 146643 74286 146643 74286 145597 72614 145597";
Taste::coordinates => "75959 146643 74286 146643 74286 145136 72614 145136";
};
memory_01_PI_dump_01_memory_management_RI_dump_01 : SUBPROGRAM ACCESS memory_01.PI_dump_01 -> memory_management.RI_dump_01 {
Taste::coordinates => "75959 147337 73897 147337 73897 146833 72614 146833";
Taste::coordinates => "75959 147337 73897 147337 73897 145611 72614 145611";
};
tm_st06_PI_tm_memory_management_RI_tm : SUBPROGRAM ACCESS tm_st06.PI_tm -> memory_management.RI_tm {
Taste::coordinates => "75959 150245 66033 150245 66033 157662";
Taste::coordinates => "75959 150453 69193 150453 69193 157731";
};
memory_02_PI_dump_02_memory_management_RI_dump_02 : SUBPROGRAM ACCESS memory_02.PI_dump_02 -> memory_management.RI_dump_02 {
Taste::coordinates => "75959 148751 74291 148751 74291 149543 72623 149543";
Taste::coordinates => "75959 149097 74291 149097 74291 149082 72623 149082";
};
memory_01_PI_scrub_01_memory_management_RI_scrub_01 : SUBPROGRAM ACCESS memory_01.PI_scrub_01 -> memory_management.RI_scrub_01 {
Taste::coordinates => "75959 148030 73508 148030 73508 146372 72614 146372";
};
common_mem_management_PI_dump_on_memory_management_RI_dump_on : SUBPROGRAM ACCESS common_mem_management.PI_dump_on -> memory_management.RI_dump_on {
Taste::coordinates => "75959 149855 67509 149855 67509 152279";
};
tm_st06_PI_tm_acceptance_st06_RI_tm : SUBPROGRAM ACCESS tm_st06.PI_tm -> acceptance_st06.RI_tm {
Taste::coordinates => "75906 158565 73505 158565 73505 157139 66033 157139 66033 157662";
Taste::coordinates => "75906 158565 73508 158565 73508 157201 69193 157201 69193 157731";
};
execution_st06_PI_reqID_acceptance_st06_RI_reqID : SUBPROGRAM ACCESS execution_st06.PI_reqID -> acceptance_st06.RI_reqID {
Taste::coordinates => "75906 155788 74385 155788 74385 155913 72865 155913";
Taste::coordinates => "75906 155788 72657 155788 72657 154908";
};
common_mem_management_PI_tc612_acceptance_st06_RI_tc612 : SUBPROGRAM ACCESS common_mem_management.PI_tc612 -> acceptance_st06.RI_tc612 {
Taste::coordinates => "75906 156554 65680 156554 65680 155715";
};
tm_st06_PI_tm_execution_st06_RI_tm : SUBPROGRAM ACCESS tm_st06.PI_tm -> execution_st06.RI_tm {
Taste::coordinates => "69254 156585 69254 157164 66033 157164 66033 157662";
Taste::coordinates => "69602 154469 69193 154469 69193 157731";
};
memory_01_PI_abort_01_common_mem_management_RI_abort_01 : SUBPROGRAM ACCESS memory_01.PI_abort_01 -> common_mem_management.RI_abort_01 {
Taste::coordinates => "64275 152279 64275 145217 67740 145217";
};
memory_02_PI_abort_02_common_mem_management_RI_abort_02 : SUBPROGRAM ACCESS memory_02.PI_abort_02 -> common_mem_management.RI_abort_02 {
Taste::coordinates => "66078 152279 66078 147822 67749 147822";
};
END interfaceview.others;
......
......@@ -5,6 +5,12 @@ Abort_All_Dumps ::= SEQUENCE {
}
-- ./dataview-uniq.asn
Memory_scrubbing_status ::= ENUMERATED {
enabled(0),
disabled(1)
}
-- ./dataview-uniq.asn
Time_Report_Generation_Rate ::= INTEGER (1 .. 256)
......@@ -225,7 +231,9 @@ Start_Exec_failure_codes ::= ENUMERATED {
dump_mem_outside_range(14),
start_addr_not_aligned(15),
data_length_not_aligned(16),
length_exceeds_mem_size(17)
length_exceeds_mem_size(17),
failed_mem_scrabbing(18),
abort_dumping(19)
}
-- ./dataview-uniq.asn
......
......@@ -205,6 +205,8 @@ BEGIN
-- abort all memory dumps - TC[6,12]
Abort-All-Dumps ::= SEQUENCE {}
-- the memory scrubbing status
Memory-scrubbing-status ::= ENUMERATED { enabled, disabled }
-- enable/disable the scrubbing of a memory TC[6,13] & TC[6,14]
Scrabbing-Mem {MemoryID} ::= SEQUENCE {
memory-id MemoryID
......@@ -494,7 +496,8 @@ On-board-params-IDs::= ENUMERATED { s1-vcc(5), s1-stat(6) }
noFailure(0), startExecFailed(1), hk-def-already-present(2), hk-def-not-present(3), hk-def-enabled(4),
hk-param-duplicated(5), ev-act-list-full(6), ev-act-def-enabled(7), ev-act-ID-notFound(8), sch-act-list-full(9),
sch-act-too-late(10), load-raw-mem-failure(11), dump-mem-write-only(12), length-exceeds-packet-max-size(13),
dump-mem-outside-range(14), start-addr-not-aligned(15), data-length-not-aligned(16), length-exceeds-mem-size(17)
dump-mem-outside-range(14), start-addr-not-aligned(15), data-length-not-aligned(16), length-exceeds-mem-size(17),
failed-mem-scrabbing(18), abort-dumping(19)
}
Progress-Exec-failure-codes ::= ENUMERATED {
noFailure(0),
......@@ -751,7 +754,8 @@ maxEventNoInst Events-No-Inst ::= maxEventsNo
-- instantiate the dump raw memory data instruction
Dump-Raw-Data-Instr-inst ::= Dump-Raw-Data-Instr{Address-inst, Memory-Size-inst}
-- the maximum packet size of the CCSDS space packet protocol
maxCCSDS-packet-size INTEGER(1 .. 4294967296) ::= 65542
--maxCCSDS-packet-size INTEGER(1 .. 4294967296) ::= 65542
maxCCSDS-packet-size INTEGER(1 .. 4294967296) ::= 30000000
-- instantiate the TM[6,6] dumped raw memory data report
TM-6-6 ::= Load-Raw-Data{Memory-ID-inst, Load-Raw-Data-List-inst}
......@@ -1423,6 +1427,13 @@ END