stupid windows
This commit is contained in:
parent
802333cf3e
commit
933f94f687
@ -17,6 +17,10 @@ delegate = ">=0.8, <0.10"
|
|||||||
paste = "1"
|
paste = "1"
|
||||||
embed-doc-image = "0.1"
|
embed-doc-image = "0.1"
|
||||||
|
|
||||||
|
[dependencies.num_enum]
|
||||||
|
version = "0.5"
|
||||||
|
default-features = false
|
||||||
|
|
||||||
[dependencies.dyn-clone]
|
[dependencies.dyn-clone]
|
||||||
version = "1"
|
version = "1"
|
||||||
optional = true
|
optional = true
|
||||||
@ -78,7 +82,8 @@ std = [
|
|||||||
"postcard/use-std",
|
"postcard/use-std",
|
||||||
"crossbeam-channel/std",
|
"crossbeam-channel/std",
|
||||||
"serde/std",
|
"serde/std",
|
||||||
"spacepackets/std"
|
"spacepackets/std",
|
||||||
|
"num_enum/std"
|
||||||
]
|
]
|
||||||
alloc = [
|
alloc = [
|
||||||
"serde/alloc",
|
"serde/alloc",
|
||||||
|
@ -1,18 +1,61 @@
|
|||||||
|
use core::mem::size_of;
|
||||||
use crate::tmtc::TargetId;
|
use crate::tmtc::TargetId;
|
||||||
use serde::{Deserialize, Serialize};
|
use serde::{Deserialize, Serialize};
|
||||||
|
use spacepackets::{ByteConversionError, SizeMissmatch};
|
||||||
|
|
||||||
#[derive(Debug, Copy, Clone, PartialEq, Eq)]
|
#[derive(Debug, Copy, Clone, PartialEq, Eq)]
|
||||||
#[cfg_attr(feature = "serde", derive(Serialize, Deserialize))]
|
#[cfg_attr(feature = "serde", derive(Serialize, Deserialize))]
|
||||||
pub struct ModePair {
|
pub struct ModeAndSubmode {
|
||||||
mode: u32,
|
mode: u32,
|
||||||
submode: u16,
|
submode: u16,
|
||||||
}
|
}
|
||||||
|
|
||||||
|
impl ModeAndSubmode {
|
||||||
|
pub const fn new_mode_only(mode: u32) -> Self {
|
||||||
|
Self {
|
||||||
|
mode,
|
||||||
|
submode: 0
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
pub const fn new(mode: u32, submode: u16) -> Self {
|
||||||
|
Self {
|
||||||
|
mode,
|
||||||
|
submode
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
pub fn raw_len() -> usize {
|
||||||
|
size_of::<u32>() + size_of::<u16>()
|
||||||
|
}
|
||||||
|
|
||||||
|
pub fn from_be_bytes(buf: &[u8]) -> Result<Self, ByteConversionError> {
|
||||||
|
if buf.len() < 6 {
|
||||||
|
return Err(ByteConversionError::FromSliceTooSmall(SizeMissmatch {
|
||||||
|
expected: 6,
|
||||||
|
found: buf.len()
|
||||||
|
}));
|
||||||
|
}
|
||||||
|
Ok(Self {
|
||||||
|
mode: u32::from_be_bytes(buf[0..4].try_into().unwrap()),
|
||||||
|
submode: u16::from_be_bytes(buf[4..6].try_into().unwrap())
|
||||||
|
})
|
||||||
|
}
|
||||||
|
}
|
||||||
#[derive(Debug, Copy, Clone, PartialEq, Eq)]
|
#[derive(Debug, Copy, Clone, PartialEq, Eq)]
|
||||||
#[cfg_attr(feature = "serde", derive(Serialize, Deserialize))]
|
#[cfg_attr(feature = "serde", derive(Serialize, Deserialize))]
|
||||||
pub struct ModeCommand {
|
pub struct ModeCommand {
|
||||||
address: TargetId,
|
address: TargetId,
|
||||||
mode: ModePair,
|
mode_submode: ModeAndSubmode,
|
||||||
|
}
|
||||||
|
|
||||||
|
impl ModeCommand {
|
||||||
|
pub const fn new(address: TargetId, mode_submode: ModeAndSubmode) -> Self {
|
||||||
|
Self {
|
||||||
|
address,
|
||||||
|
mode_submode
|
||||||
|
}
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
#[derive(Debug, Copy, Clone, PartialEq, Eq)]
|
#[derive(Debug, Copy, Clone, PartialEq, Eq)]
|
||||||
|
@ -11,6 +11,7 @@ use spacepackets::{ByteConversionError, SizeMissmatch};
|
|||||||
pub mod event;
|
pub mod event;
|
||||||
pub mod event_man;
|
pub mod event_man;
|
||||||
pub mod hk;
|
pub mod hk;
|
||||||
|
pub mod mode;
|
||||||
#[cfg(feature = "std")]
|
#[cfg(feature = "std")]
|
||||||
pub mod scheduling;
|
pub mod scheduling;
|
||||||
pub mod verification;
|
pub mod verification;
|
||||||
|
16
satrs-core/src/pus/mode.rs
Normal file
16
satrs-core/src/pus/mode.rs
Normal file
@ -0,0 +1,16 @@
|
|||||||
|
use num_enum::{IntoPrimitive, TryFromPrimitive};
|
||||||
|
#[cfg(feature = "serde")]
|
||||||
|
use serde::{Deserialize, Serialize};
|
||||||
|
|
||||||
|
#[derive(Debug, Eq, PartialEq, Copy, Clone, IntoPrimitive, TryFromPrimitive)]
|
||||||
|
#[cfg_attr(feature = "serde", derive(Serialize, Deserialize))]
|
||||||
|
#[repr(u8)]
|
||||||
|
pub enum Subservice {
|
||||||
|
TcSetMode = 1,
|
||||||
|
TcReadMode = 3,
|
||||||
|
TcAnnounceMode = 4,
|
||||||
|
TcAnnounceModeRecursive = 5,
|
||||||
|
TmModeReply = 6,
|
||||||
|
TmCantReachMode = 7,
|
||||||
|
TmWrongModeReply = 8,
|
||||||
|
}
|
@ -39,7 +39,11 @@ pub mod tmtc_err {
|
|||||||
#[resultcode]
|
#[resultcode]
|
||||||
pub const PUS_SERVICE_NOT_IMPLEMENTED: ResultU16 = ResultU16::const_new(GroupId::Tmtc as u8, 2);
|
pub const PUS_SERVICE_NOT_IMPLEMENTED: ResultU16 = ResultU16::const_new(GroupId::Tmtc as u8, 2);
|
||||||
|
|
||||||
#[resultcode(info = "Not enough data inside the TC application data field")]
|
#[resultcode(
|
||||||
|
info = "Not enough data inside the TC application data field. Optionally includes: \
|
||||||
|
8 bytes of failure data containing 2 failure parameters, \
|
||||||
|
P1 (u32 big endian): Expected data length, P2: Found data length"
|
||||||
|
)]
|
||||||
pub const NOT_ENOUGH_APP_DATA: ResultU16 = ResultU16::const_new(GroupId::Tmtc as u8, 2);
|
pub const NOT_ENOUGH_APP_DATA: ResultU16 = ResultU16::const_new(GroupId::Tmtc as u8, 2);
|
||||||
|
|
||||||
pub const TMTC_RESULTS: &[ResultU16Info] = &[
|
pub const TMTC_RESULTS: &[ResultU16Info] = &[
|
||||||
|
@ -7,15 +7,13 @@ use satrs_core::pool::StoreAddr;
|
|||||||
use satrs_core::pus::event_man::{EventRequest, EventRequestWithToken};
|
use satrs_core::pus::event_man::{EventRequest, EventRequestWithToken};
|
||||||
use satrs_core::pus::hk;
|
use satrs_core::pus::hk;
|
||||||
use satrs_core::pus::scheduling::PusScheduler;
|
use satrs_core::pus::scheduling::PusScheduler;
|
||||||
use satrs_core::pus::verification::{
|
use satrs_core::pus::mode;
|
||||||
pus_11_generic_tc_check, FailParams, StdVerifReporterWithSender, TcStateAccepted,
|
use satrs_core::pus::verification::{pus_11_generic_tc_check, FailParams, StdVerifReporterWithSender, TcStateAccepted, VerificationToken, StdVerifSenderError};
|
||||||
VerificationToken,
|
|
||||||
};
|
|
||||||
use satrs_core::pus::{event, GenericTcCheckError};
|
use satrs_core::pus::{event, GenericTcCheckError};
|
||||||
use satrs_core::res_code::ResultU16;
|
use satrs_core::res_code::ResultU16;
|
||||||
use satrs_core::spacepackets::ecss::{scheduling, PusServiceId};
|
use satrs_core::spacepackets::ecss::{scheduling, PusServiceId};
|
||||||
use satrs_core::tmtc::tm_helper::PusTmWithCdsShortHelper;
|
use satrs_core::tmtc::tm_helper::PusTmWithCdsShortHelper;
|
||||||
use satrs_core::tmtc::{AddressableId, PusServiceProvider};
|
use satrs_core::tmtc::{AddressableId, PusServiceProvider, TargetId};
|
||||||
use satrs_core::{
|
use satrs_core::{
|
||||||
spacepackets::ecss::PusPacket, spacepackets::tc::PusTc, spacepackets::time::cds::TimeProvider,
|
spacepackets::ecss::PusPacket, spacepackets::tc::PusTc, spacepackets::time::cds::TimeProvider,
|
||||||
spacepackets::time::TimeWriter, spacepackets::SpHeader,
|
spacepackets::time::TimeWriter, spacepackets::SpHeader,
|
||||||
@ -26,12 +24,13 @@ use std::collections::HashMap;
|
|||||||
use std::convert::TryFrom;
|
use std::convert::TryFrom;
|
||||||
use std::rc::Rc;
|
use std::rc::Rc;
|
||||||
use std::sync::mpsc::Sender;
|
use std::sync::mpsc::Sender;
|
||||||
|
use satrs_core::mode::{ModeCommand, ModeAndSubmode, ModeRequest};
|
||||||
|
use satrs_core::pus::mode::Subservice;
|
||||||
|
use satrs_core::spacepackets::tc::GenericPusTcSecondaryHeader;
|
||||||
|
|
||||||
pub struct PusReceiver {
|
pub struct PusReceiver {
|
||||||
pub tm_helper: PusTmWithCdsShortHelper,
|
pub tm_helper: PusTmWithCdsShortHelper,
|
||||||
pub tm_tx: Sender<StoreAddr>,
|
pub tm_args: PusTmArgs,
|
||||||
pub tm_store: TmStore,
|
|
||||||
pub verif_reporter: StdVerifReporterWithSender,
|
|
||||||
#[allow(dead_code)]
|
#[allow(dead_code)]
|
||||||
tc_source: PusTcSource,
|
tc_source: PusTcSource,
|
||||||
stamp_helper: TimeStampHelper,
|
stamp_helper: TimeStampHelper,
|
||||||
@ -53,7 +52,7 @@ pub struct PusTmArgs {
|
|||||||
pub struct PusTcArgs {
|
pub struct PusTcArgs {
|
||||||
pub event_request_tx: Sender<EventRequestWithToken>,
|
pub event_request_tx: Sender<EventRequestWithToken>,
|
||||||
/// Request routing helper. Maps targeted request to their recipient.
|
/// Request routing helper. Maps targeted request to their recipient.
|
||||||
pub request_map: HashMap<u32, Sender<RequestWithToken>>,
|
pub request_map: HashMap<TargetId, Sender<RequestWithToken>>,
|
||||||
/// Required for scheduling of telecommands.
|
/// Required for scheduling of telecommands.
|
||||||
pub tc_source: PusTcSource,
|
pub tc_source: PusTcSource,
|
||||||
pub event_sender: Sender<(EventU32, Option<Params>)>,
|
pub event_sender: Sender<(EventU32, Option<Params>)>,
|
||||||
@ -91,9 +90,7 @@ impl PusReceiver {
|
|||||||
pub fn new(apid: u16, tm_arguments: PusTmArgs, tc_arguments: PusTcArgs) -> Self {
|
pub fn new(apid: u16, tm_arguments: PusTmArgs, tc_arguments: PusTcArgs) -> Self {
|
||||||
Self {
|
Self {
|
||||||
tm_helper: PusTmWithCdsShortHelper::new(apid),
|
tm_helper: PusTmWithCdsShortHelper::new(apid),
|
||||||
tm_tx: tm_arguments.tm_tx,
|
tm_args: tm_arguments,
|
||||||
tm_store: tm_arguments.tm_store,
|
|
||||||
verif_reporter: tm_arguments.verif_reporter,
|
|
||||||
tc_source: tc_arguments.tc_source,
|
tc_source: tc_arguments.tc_source,
|
||||||
event_request_tx: tc_arguments.event_request_tx,
|
event_request_tx: tc_arguments.event_request_tx,
|
||||||
event_sender: tc_arguments.event_sender,
|
event_sender: tc_arguments.event_sender,
|
||||||
@ -102,6 +99,14 @@ impl PusReceiver {
|
|||||||
scheduler: tc_arguments.scheduler,
|
scheduler: tc_arguments.scheduler,
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
fn vr_and_stamp(&mut self) -> (&mut StdVerifReporterWithSender, &[u8]) {
|
||||||
|
(&mut self.tm_args.verif_reporter, self.stamp())
|
||||||
|
}
|
||||||
|
|
||||||
|
fn stamp(&self) -> &[u8] {
|
||||||
|
self.stamp_helper.stamp()
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
impl PusServiceProvider for PusReceiver {
|
impl PusServiceProvider for PusReceiver {
|
||||||
@ -113,11 +118,11 @@ impl PusServiceProvider for PusReceiver {
|
|||||||
_header: &SpHeader,
|
_header: &SpHeader,
|
||||||
pus_tc: &PusTc,
|
pus_tc: &PusTc,
|
||||||
) -> Result<(), Self::Error> {
|
) -> Result<(), Self::Error> {
|
||||||
let init_token = self.verif_reporter.add_tc(pus_tc);
|
let init_token = self.tm_args.verif_reporter.add_tc(pus_tc);
|
||||||
self.stamp_helper.update_from_now();
|
self.stamp_helper.update_from_now();
|
||||||
let accepted_token = self
|
let (vr, stamp) = self.vr_and_stamp();
|
||||||
.verif_reporter
|
let accepted_token = vr
|
||||||
.acceptance_success(init_token, Some(self.stamp_helper.stamp()))
|
.acceptance_success(init_token, Some(stamp))
|
||||||
.expect("Acceptance success failure");
|
.expect("Acceptance success failure");
|
||||||
let service = PusServiceId::try_from(service);
|
let service = PusServiceId::try_from(service);
|
||||||
match service {
|
match service {
|
||||||
@ -126,12 +131,11 @@ impl PusServiceProvider for PusReceiver {
|
|||||||
PusServiceId::Housekeeping => self.handle_hk_request(pus_tc, accepted_token),
|
PusServiceId::Housekeeping => self.handle_hk_request(pus_tc, accepted_token),
|
||||||
PusServiceId::Event => self.handle_event_request(pus_tc, accepted_token),
|
PusServiceId::Event => self.handle_event_request(pus_tc, accepted_token),
|
||||||
PusServiceId::Scheduling => self.handle_scheduled_tc(pus_tc, accepted_token),
|
PusServiceId::Scheduling => self.handle_scheduled_tc(pus_tc, accepted_token),
|
||||||
_ => self
|
_ => vr
|
||||||
.verif_reporter
|
|
||||||
.start_failure(
|
.start_failure(
|
||||||
accepted_token,
|
accepted_token,
|
||||||
FailParams::new(
|
FailParams::new(
|
||||||
Some(self.stamp_helper.stamp()),
|
Some(stamp),
|
||||||
&tmtc_err::PUS_SERVICE_NOT_IMPLEMENTED,
|
&tmtc_err::PUS_SERVICE_NOT_IMPLEMENTED,
|
||||||
Some(&[standard_service as u8]),
|
Some(&[standard_service as u8]),
|
||||||
),
|
),
|
||||||
@ -147,7 +151,7 @@ impl PusServiceProvider for PusReceiver {
|
|||||||
CustomPusServiceId::Health => {}
|
CustomPusServiceId::Health => {}
|
||||||
}
|
}
|
||||||
} else {
|
} else {
|
||||||
self.verif_reporter
|
vr
|
||||||
.start_failure(
|
.start_failure(
|
||||||
accepted_token,
|
accepted_token,
|
||||||
FailParams::new(
|
FailParams::new(
|
||||||
@ -166,41 +170,40 @@ impl PusServiceProvider for PusReceiver {
|
|||||||
|
|
||||||
impl PusReceiver {
|
impl PusReceiver {
|
||||||
fn handle_test_service(&mut self, pus_tc: &PusTc, token: VerificationToken<TcStateAccepted>) {
|
fn handle_test_service(&mut self, pus_tc: &PusTc, token: VerificationToken<TcStateAccepted>) {
|
||||||
|
let (vr, stamp) = self.vr_and_stamp();
|
||||||
match PusPacket::subservice(pus_tc) {
|
match PusPacket::subservice(pus_tc) {
|
||||||
1 => {
|
1 => {
|
||||||
println!("Received PUS ping command TC[17,1]");
|
println!("Received PUS ping command TC[17,1]");
|
||||||
println!("Sending ping reply PUS TM[17,2]");
|
println!("Sending ping reply PUS TM[17,2]");
|
||||||
let start_token = self
|
let start_token = vr
|
||||||
.verif_reporter
|
.start_success(token, Some(stamp))
|
||||||
.start_success(token, Some(self.stamp_helper.stamp()))
|
|
||||||
.expect("Error sending start success");
|
.expect("Error sending start success");
|
||||||
let ping_reply = self.tm_helper.create_pus_tm_timestamp_now(17, 2, None);
|
let ping_reply = self.tm_helper.create_pus_tm_timestamp_now(17, 2, None);
|
||||||
let addr = self.tm_store.add_pus_tm(&ping_reply);
|
let addr = self.tm_args.tm_store.add_pus_tm(&ping_reply);
|
||||||
self.tm_tx
|
self.tm_args.tm_tx
|
||||||
.send(addr)
|
.send(addr)
|
||||||
.expect("Sending TM to TM funnel failed");
|
.expect("Sending TM to TM funnel failed");
|
||||||
self.verif_reporter
|
vr
|
||||||
.completion_success(start_token, Some(self.stamp_helper.stamp()))
|
.completion_success(start_token, Some(stamp))
|
||||||
.expect("Error sending completion success");
|
.expect("Error sending completion success");
|
||||||
}
|
}
|
||||||
128 => {
|
128 => {
|
||||||
self.event_sender
|
self.event_sender
|
||||||
.send((TEST_EVENT.into(), None))
|
.send((TEST_EVENT.into(), None))
|
||||||
.expect("Sending test event failed");
|
.expect("Sending test event failed");
|
||||||
let start_token = self
|
let start_token = vr
|
||||||
.verif_reporter
|
.start_success(token, Some(stamp))
|
||||||
.start_success(token, Some(self.stamp_helper.stamp()))
|
|
||||||
.expect("Error sending start success");
|
.expect("Error sending start success");
|
||||||
self.verif_reporter
|
vr
|
||||||
.completion_success(start_token, Some(self.stamp_helper.stamp()))
|
.completion_success(start_token, Some(stamp))
|
||||||
.expect("Error sending completion success");
|
.expect("Error sending completion success");
|
||||||
}
|
}
|
||||||
_ => {
|
_ => {
|
||||||
self.verif_reporter
|
vr
|
||||||
.start_failure(
|
.start_failure(
|
||||||
token,
|
token,
|
||||||
FailParams::new(
|
FailParams::new(
|
||||||
Some(self.stamp_helper.stamp()),
|
Some(stamp),
|
||||||
&tmtc_err::INVALID_PUS_SUBSERVICE,
|
&tmtc_err::INVALID_PUS_SUBSERVICE,
|
||||||
None,
|
None,
|
||||||
),
|
),
|
||||||
@ -211,12 +214,12 @@ impl PusReceiver {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fn handle_hk_request(&mut self, pus_tc: &PusTc, token: VerificationToken<TcStateAccepted>) {
|
fn handle_hk_request(&mut self, pus_tc: &PusTc, token: VerificationToken<TcStateAccepted>) {
|
||||||
|
let (vr, stamp) = self.vr_and_stamp();
|
||||||
if pus_tc.user_data().is_none() {
|
if pus_tc.user_data().is_none() {
|
||||||
self.verif_reporter
|
vr.start_failure(
|
||||||
.start_failure(
|
|
||||||
token,
|
token,
|
||||||
FailParams::new(
|
FailParams::new(
|
||||||
Some(self.stamp_helper.stamp()),
|
Some(stamp),
|
||||||
&tmtc_err::NOT_ENOUGH_APP_DATA,
|
&tmtc_err::NOT_ENOUGH_APP_DATA,
|
||||||
None,
|
None,
|
||||||
),
|
),
|
||||||
@ -231,21 +234,20 @@ impl PusReceiver {
|
|||||||
} else {
|
} else {
|
||||||
&hk_err::UNIQUE_ID_MISSING
|
&hk_err::UNIQUE_ID_MISSING
|
||||||
};
|
};
|
||||||
self.verif_reporter
|
vr
|
||||||
.start_failure(
|
.start_failure(
|
||||||
token,
|
token,
|
||||||
FailParams::new(Some(self.stamp_helper.stamp()), err, None),
|
FailParams::new(Some(stamp), err, None),
|
||||||
)
|
)
|
||||||
.expect("Sending start failure TM failed");
|
.expect("Sending start failure TM failed");
|
||||||
return;
|
return;
|
||||||
}
|
}
|
||||||
let addressable_id = AddressableId::from_raw_be(user_data).unwrap();
|
let addressable_id = AddressableId::from_raw_be(user_data).unwrap();
|
||||||
if !self.request_map.contains_key(&addressable_id.target_id) {
|
if !self.request_map.contains_key(&addressable_id.target_id) {
|
||||||
self.verif_reporter
|
vr.start_failure(
|
||||||
.start_failure(
|
|
||||||
token,
|
token,
|
||||||
FailParams::new(
|
FailParams::new(
|
||||||
Some(self.stamp_helper.stamp()),
|
Some(stamp),
|
||||||
&hk_err::UNKNOWN_TARGET_ID,
|
&hk_err::UNKNOWN_TARGET_ID,
|
||||||
None,
|
None,
|
||||||
),
|
),
|
||||||
@ -269,11 +271,10 @@ impl PusReceiver {
|
|||||||
== hk::Subservice::TcModifyHkCollectionInterval as u8
|
== hk::Subservice::TcModifyHkCollectionInterval as u8
|
||||||
{
|
{
|
||||||
if user_data.len() < 12 {
|
if user_data.len() < 12 {
|
||||||
self.verif_reporter
|
vr.start_failure(
|
||||||
.start_failure(
|
|
||||||
token,
|
token,
|
||||||
FailParams::new(
|
FailParams::new(
|
||||||
Some(self.stamp_helper.stamp()),
|
Some(stamp),
|
||||||
&hk_err::COLLECTION_INTERVAL_MISSING,
|
&hk_err::COLLECTION_INTERVAL_MISSING,
|
||||||
None,
|
None,
|
||||||
),
|
),
|
||||||
@ -289,27 +290,28 @@ impl PusReceiver {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fn handle_event_request(&mut self, pus_tc: &PusTc, token: VerificationToken<TcStateAccepted>) {
|
fn handle_event_request(&mut self, pus_tc: &PusTc, token: VerificationToken<TcStateAccepted>) {
|
||||||
let send_start_failure = |verif_reporter: &mut StdVerifReporterWithSender,
|
let send_start_failure = |vr: &mut StdVerifReporterWithSender,
|
||||||
timestamp: &[u8],
|
timestamp: &[u8],
|
||||||
failure_code: &ResultU16,
|
failure_code: &ResultU16,
|
||||||
failure_data: Option<&[u8]>| {
|
failure_data: Option<&[u8]>| {
|
||||||
verif_reporter
|
vr
|
||||||
.start_failure(
|
.start_failure(
|
||||||
token,
|
token,
|
||||||
FailParams::new(Some(timestamp), failure_code, failure_data),
|
FailParams::new(Some(timestamp), failure_code, failure_data),
|
||||||
)
|
)
|
||||||
.expect("Sending start failure TM failed");
|
.expect("Sending start failure TM failed");
|
||||||
};
|
};
|
||||||
let send_start_acceptance = |verif_reporter: &mut StdVerifReporterWithSender,
|
let send_start_acceptance = |vr: &mut StdVerifReporterWithSender,
|
||||||
timestamp: &[u8]| {
|
timestamp: &[u8]| {
|
||||||
verif_reporter
|
vr
|
||||||
.start_success(token, Some(timestamp))
|
.start_success(token, Some(timestamp))
|
||||||
.expect("Sending start success TM failed")
|
.expect("Sending start success TM failed")
|
||||||
};
|
};
|
||||||
|
let (vr, stamp) = self.vr_and_stamp();
|
||||||
if pus_tc.user_data().is_none() {
|
if pus_tc.user_data().is_none() {
|
||||||
send_start_failure(
|
send_start_failure(
|
||||||
&mut self.verif_reporter,
|
vr,
|
||||||
self.stamp_helper.stamp(),
|
stamp,
|
||||||
&tmtc_err::NOT_ENOUGH_APP_DATA,
|
&tmtc_err::NOT_ENOUGH_APP_DATA,
|
||||||
None,
|
None,
|
||||||
);
|
);
|
||||||
@ -318,8 +320,8 @@ impl PusReceiver {
|
|||||||
let app_data = pus_tc.user_data().unwrap();
|
let app_data = pus_tc.user_data().unwrap();
|
||||||
if app_data.len() < 4 {
|
if app_data.len() < 4 {
|
||||||
send_start_failure(
|
send_start_failure(
|
||||||
&mut self.verif_reporter,
|
vr,
|
||||||
self.stamp_helper.stamp(),
|
stamp,
|
||||||
&tmtc_err::NOT_ENOUGH_APP_DATA,
|
&tmtc_err::NOT_ENOUGH_APP_DATA,
|
||||||
None,
|
None,
|
||||||
);
|
);
|
||||||
@ -329,7 +331,7 @@ impl PusReceiver {
|
|||||||
match PusPacket::subservice(pus_tc).try_into() {
|
match PusPacket::subservice(pus_tc).try_into() {
|
||||||
Ok(event::Subservice::TcEnableEventGeneration) => {
|
Ok(event::Subservice::TcEnableEventGeneration) => {
|
||||||
let start_token =
|
let start_token =
|
||||||
send_start_acceptance(&mut self.verif_reporter, self.stamp_helper.stamp());
|
send_start_acceptance(vr, stamp);
|
||||||
self.event_request_tx
|
self.event_request_tx
|
||||||
.send(EventRequestWithToken {
|
.send(EventRequestWithToken {
|
||||||
request: EventRequest::Enable(event_id),
|
request: EventRequest::Enable(event_id),
|
||||||
@ -339,7 +341,7 @@ impl PusReceiver {
|
|||||||
}
|
}
|
||||||
Ok(event::Subservice::TcDisableEventGeneration) => {
|
Ok(event::Subservice::TcDisableEventGeneration) => {
|
||||||
let start_token =
|
let start_token =
|
||||||
send_start_acceptance(&mut self.verif_reporter, self.stamp_helper.stamp());
|
send_start_acceptance(vr, stamp);
|
||||||
self.event_request_tx
|
self.event_request_tx
|
||||||
.send(EventRequestWithToken {
|
.send(EventRequestWithToken {
|
||||||
request: EventRequest::Disable(event_id),
|
request: EventRequest::Disable(event_id),
|
||||||
@ -349,8 +351,8 @@ impl PusReceiver {
|
|||||||
}
|
}
|
||||||
_ => {
|
_ => {
|
||||||
send_start_failure(
|
send_start_failure(
|
||||||
&mut self.verif_reporter,
|
vr,
|
||||||
self.stamp_helper.stamp(),
|
stamp,
|
||||||
&tmtc_err::INVALID_PUS_SUBSERVICE,
|
&tmtc_err::INVALID_PUS_SUBSERVICE,
|
||||||
None,
|
None,
|
||||||
);
|
);
|
||||||
@ -359,15 +361,16 @@ impl PusReceiver {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fn handle_scheduled_tc(&mut self, pus_tc: &PusTc, token: VerificationToken<TcStateAccepted>) {
|
fn handle_scheduled_tc(&mut self, pus_tc: &PusTc, token: VerificationToken<TcStateAccepted>) {
|
||||||
|
let (vr, stamp) = self.vr_and_stamp();
|
||||||
let subservice = match pus_11_generic_tc_check(pus_tc) {
|
let subservice = match pus_11_generic_tc_check(pus_tc) {
|
||||||
Ok(subservice) => subservice,
|
Ok(subservice) => subservice,
|
||||||
Err(e) => match e {
|
Err(e) => match e {
|
||||||
GenericTcCheckError::NotEnoughAppData => {
|
GenericTcCheckError::NotEnoughAppData => {
|
||||||
self.verif_reporter
|
vr
|
||||||
.start_failure(
|
.start_failure(
|
||||||
token,
|
token,
|
||||||
FailParams::new(
|
FailParams::new(
|
||||||
Some(self.stamp_helper.stamp()),
|
Some(stamp),
|
||||||
&tmtc_err::NOT_ENOUGH_APP_DATA,
|
&tmtc_err::NOT_ENOUGH_APP_DATA,
|
||||||
None,
|
None,
|
||||||
),
|
),
|
||||||
@ -376,11 +379,10 @@ impl PusReceiver {
|
|||||||
return;
|
return;
|
||||||
}
|
}
|
||||||
GenericTcCheckError::InvalidSubservice => {
|
GenericTcCheckError::InvalidSubservice => {
|
||||||
self.verif_reporter
|
vr.start_failure(
|
||||||
.start_failure(
|
|
||||||
token,
|
token,
|
||||||
FailParams::new(
|
FailParams::new(
|
||||||
Some(self.stamp_helper.stamp()),
|
Some(stamp),
|
||||||
&tmtc_err::INVALID_PUS_SUBSERVICE,
|
&tmtc_err::INVALID_PUS_SUBSERVICE,
|
||||||
None,
|
None,
|
||||||
),
|
),
|
||||||
@ -392,41 +394,39 @@ impl PusReceiver {
|
|||||||
};
|
};
|
||||||
match subservice {
|
match subservice {
|
||||||
scheduling::Subservice::TcEnableScheduling => {
|
scheduling::Subservice::TcEnableScheduling => {
|
||||||
let start_token = self
|
let start_token =
|
||||||
.verif_reporter
|
vr
|
||||||
.start_success(token, Some(self.stamp_helper.stamp()))
|
.start_success(token, Some(stamp))
|
||||||
.expect("Error sending start success");
|
.expect("Error sending start success");
|
||||||
|
|
||||||
let mut scheduler = self.scheduler.borrow_mut();
|
let mut scheduler = self.scheduler.borrow_mut();
|
||||||
scheduler.enable();
|
scheduler.enable();
|
||||||
if scheduler.is_enabled() {
|
if scheduler.is_enabled() {
|
||||||
self.verif_reporter
|
vr
|
||||||
.completion_success(start_token, Some(self.stamp_helper.stamp()))
|
.completion_success(start_token, Some(stamp))
|
||||||
.expect("Error sending completion success");
|
.expect("Error sending completion success");
|
||||||
} else {
|
} else {
|
||||||
panic!("Failed to enable scheduler");
|
panic!("Failed to enable scheduler");
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
scheduling::Subservice::TcDisableScheduling => {
|
scheduling::Subservice::TcDisableScheduling => {
|
||||||
let start_token = self
|
let start_token =vr
|
||||||
.verif_reporter
|
.start_success(token, Some(stamp))
|
||||||
.start_success(token, Some(self.stamp_helper.stamp()))
|
|
||||||
.expect("Error sending start success");
|
.expect("Error sending start success");
|
||||||
|
|
||||||
let mut scheduler = self.scheduler.borrow_mut();
|
let mut scheduler = self.scheduler.borrow_mut();
|
||||||
scheduler.disable();
|
scheduler.disable();
|
||||||
if !scheduler.is_enabled() {
|
if !scheduler.is_enabled() {
|
||||||
self.verif_reporter
|
vr
|
||||||
.completion_success(start_token, Some(self.stamp_helper.stamp()))
|
.completion_success(start_token, Some(stamp))
|
||||||
.expect("Error sending completion success");
|
.expect("Error sending completion success");
|
||||||
} else {
|
} else {
|
||||||
panic!("Failed to disable scheduler");
|
panic!("Failed to disable scheduler");
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
scheduling::Subservice::TcResetScheduling => {
|
scheduling::Subservice::TcResetScheduling => {
|
||||||
let start_token = self
|
let start_token = vr
|
||||||
.verif_reporter
|
.start_success(token, Some(stamp))
|
||||||
.start_success(token, Some(self.stamp_helper.stamp()))
|
|
||||||
.expect("Error sending start success");
|
.expect("Error sending start success");
|
||||||
|
|
||||||
let mut pool = self
|
let mut pool = self
|
||||||
@ -442,39 +442,95 @@ impl PusReceiver {
|
|||||||
.expect("Error resetting TC Pool");
|
.expect("Error resetting TC Pool");
|
||||||
drop(scheduler);
|
drop(scheduler);
|
||||||
|
|
||||||
self.verif_reporter
|
vr.completion_success(start_token, Some(stamp))
|
||||||
.completion_success(start_token, Some(self.stamp_helper.stamp()))
|
|
||||||
.expect("Error sending completion success");
|
.expect("Error sending completion success");
|
||||||
}
|
}
|
||||||
scheduling::Subservice::TcInsertActivity => {
|
scheduling::Subservice::TcInsertActivity => {
|
||||||
let start_token = self
|
let start_token = vr
|
||||||
.verif_reporter
|
.start_success(token, Some(stamp))
|
||||||
.start_success(token, Some(self.stamp_helper.stamp()))
|
.expect("error sending start success");
|
||||||
.expect("Error sending start success");
|
|
||||||
|
|
||||||
let mut pool = self
|
let mut pool = self
|
||||||
.tc_source
|
.tc_source
|
||||||
.tc_store
|
.tc_store
|
||||||
.pool
|
.pool
|
||||||
.write()
|
.write()
|
||||||
.expect("Locking pool failed");
|
.expect("locking pool failed");
|
||||||
let mut scheduler = self.scheduler.borrow_mut();
|
let mut scheduler = self.scheduler.borrow_mut();
|
||||||
scheduler
|
scheduler
|
||||||
.insert_wrapped_tc::<TimeProvider>(pus_tc, pool.as_mut())
|
.insert_wrapped_tc::<TimeProvider>(pus_tc, pool.as_mut())
|
||||||
.expect("TODO: panic message");
|
.expect("insertion of activity into pool failed");
|
||||||
drop(scheduler);
|
drop(scheduler);
|
||||||
|
|
||||||
self.verif_reporter
|
vr
|
||||||
.completion_success(start_token, Some(self.stamp_helper.stamp()))
|
.completion_success(start_token, Some(stamp))
|
||||||
.expect("Error sending completion success");
|
.expect("sending completion success failed");
|
||||||
}
|
}
|
||||||
_ => {}
|
_ => {}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
fn handle_mode_service(&mut self, _pus_tc: &PusTc, _token: VerificationToken<TcStateAccepted>) {
|
fn handle_mode_service(&mut self, pus_tc: &PusTc, token: VerificationToken<TcStateAccepted>) {
|
||||||
//match pus_tc.subservice() {
|
let (vr, stamp) = self.vr_and_stamp();
|
||||||
|
let mut app_data_len = 0;
|
||||||
//}
|
let app_data = pus_tc.user_data();
|
||||||
|
if app_data.is_some() {
|
||||||
|
app_data_len = pus_tc.user_data().unwrap().len();
|
||||||
|
}
|
||||||
|
if app_data_len < 4 {
|
||||||
|
vr
|
||||||
|
.start_failure(
|
||||||
|
token,
|
||||||
|
FailParams::new(
|
||||||
|
Some(stamp), &tmtc_err::NOT_ENOUGH_APP_DATA,
|
||||||
|
Some(format!("expected {} bytes, found {}", 4, app_data_len).as_bytes())
|
||||||
|
),
|
||||||
|
)
|
||||||
|
.expect("Sending start failure TM failed");
|
||||||
|
}
|
||||||
|
let app_data = app_data.unwrap();
|
||||||
|
let subservice = mode::Subservice::try_from(PusPacket::subservice(pus_tc));
|
||||||
|
if let Ok(subservice) = subservice {
|
||||||
|
match subservice {
|
||||||
|
Subservice::TcSetMode => {
|
||||||
|
let target_id = u32::from_be_bytes(app_data[0..4].try_into().unwrap());
|
||||||
|
let min_len = ModeAndSubmode::raw_len() + 4;
|
||||||
|
if app_data_len < min_len {
|
||||||
|
vr.start_failure(
|
||||||
|
token,
|
||||||
|
FailParams::new(
|
||||||
|
Some(stamp), &tmtc_err::NOT_ENOUGH_APP_DATA,
|
||||||
|
Some(format!("expected {} bytes, found {}", min_len, app_data_len).as_bytes())
|
||||||
|
),
|
||||||
|
)
|
||||||
|
.expect("Sending start failure TM failed");
|
||||||
|
}
|
||||||
|
// Should never fail after size check
|
||||||
|
let mode_submode = ModeAndSubmode::from_be_bytes(app_data[4..4 + ModeAndSubmode::raw_len()].try_into().unwrap()).unwrap();
|
||||||
|
let mode_request = Request::ModeRequest(ModeRequest::SetMode(ModeCommand::new(target_id, mode_submode)));
|
||||||
|
match self.request_map.get(&target_id) {
|
||||||
|
None => {}
|
||||||
|
Some(sender_to_recipient) => {
|
||||||
|
sender_to_recipient.send(RequestWithToken(mode_request, token)).expect("sending mode request failed");
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
Subservice::TcReadMode => {}
|
||||||
|
Subservice::TcAnnounceMode => {}
|
||||||
|
Subservice::TcAnnounceModeRecursive => {}
|
||||||
|
Subservice::TmModeReply => {}
|
||||||
|
Subservice::TmCantReachMode => {}
|
||||||
|
Subservice::TmWrongModeReply => {}
|
||||||
|
}
|
||||||
|
} else {
|
||||||
|
vr.start_failure(
|
||||||
|
token,
|
||||||
|
FailParams::new(
|
||||||
|
Some(stamp), &tmtc_err::INVALID_PUS_SUBSERVICE,
|
||||||
|
Some(&[PusPacket::subservice(pus_tc)])
|
||||||
|
),
|
||||||
|
)
|
||||||
|
.expect("Sending start failure TM failed");
|
||||||
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
@ -1,9 +1,11 @@
|
|||||||
use satrs_core::hk::HkRequest;
|
use satrs_core::hk::HkRequest;
|
||||||
|
use satrs_core::mode::ModeRequest;
|
||||||
use satrs_core::pus::verification::{TcStateAccepted, VerificationToken};
|
use satrs_core::pus::verification::{TcStateAccepted, VerificationToken};
|
||||||
|
|
||||||
#[derive(Copy, Clone, Eq, PartialEq, Debug)]
|
#[derive(Copy, Clone, Eq, PartialEq, Debug)]
|
||||||
pub enum Request {
|
pub enum Request {
|
||||||
HkRequest(HkRequest),
|
HkRequest(HkRequest),
|
||||||
|
ModeRequest(ModeRequest)
|
||||||
}
|
}
|
||||||
|
|
||||||
#[derive(Copy, Clone, Eq, PartialEq, Debug)]
|
#[derive(Copy, Clone, Eq, PartialEq, Debug)]
|
||||||
|
Loading…
x
Reference in New Issue
Block a user