|
HFCC-01 Low-Level Software (LLSW) Rel_6802_HFCC-01-RP-CSAR-CB
|
Data Structures | |
| struct | ModA429Handler |
| ARINC 429 Module Internal State and Memory Base Address Handler Structure. More... | |
Macros | |
| #define | MOD_A429_MAX_SDI_VALUE (3U) |
| #define | MOD_A429_MESSAGE_BUFFER (300U) |
| #define | MOD_A429_FIFO_COUNT (64U) |
Functions | |
| ModStatus | errCheck (const DriverStatus status) |
| errCheck. | |
| static Bool | validateTxChannel (const A429ChannelNum txChannelNum) |
| validateTxChannel. | |
| static Bool | validateRxChannel (const A429ChannelNum rxChannelNum) |
| validateRxChannel. | |
| static void | encodeMessage (A429Message dataEncode, UInt32 *arincMsgPtr) |
| encodeMessage. | |
| static void | decodeMessage (A429Message *dataDecodePtr, const UInt32 arincMsg) |
| decodeMessage. | |
| ModStatus | modA429_initReset (const ModeState state, const UInt32 baseMemAddr) |
| modA429_initReset. | |
| ModStatus | modA429_getDevHandle (A429DevHandler *a429DevHdl) |
| modA429_getDevHandle. | |
| ModStatus | modA429_sendConfig (const A429ChannelNum txChannelNum, const A429SpeedRate a429DataRate, const Bool parityEnable, const A429ParityMode parityMode) |
| modA429_sendConfig. | |
| ModStatus | modA429_sendChEnable (const A429ChannelNum txChannelNum) |
| modA429_sendChEnable. | |
| ModStatus | modA429_sendChDisable (const A429ChannelNum txChannelNum) |
| modA429_sendChDisable. | |
| ModStatus | modA429_send (const A429ChannelNum txChannelNum, const A429Message *msgBufPtr, const UInt32 msgCount) |
| modA429_send. | |
| ModStatus | modA429_recvConfig (const A429ChannelNum rxChannelNum, const A429SpeedRate a429DataRate, const Bool parityEnable, const A429ParityMode parityMode) |
| modA429_recvConfig. | |
| ModStatus | modA429_recvChEnable (const A429ChannelNum rxChannelNum) |
| modA429_recvChEnable. | |
| ModStatus | modA429_recvChDisable (const A429ChannelNum rxChannelNum) |
| modA429_recvChDisable. | |
| ModStatus | modA429_recvSetLabelFilter (const A429ChannelNum rxChannelNum, const UInt8 *filterLabelsPtr, const UInt8 filterLabelCount) |
| modA429_recvSetLabelFilter. | |
| ModStatus | modA429_recvSetSDIFilter (const A429ChannelNum rxChannelNum, const UInt8 sdiValue) |
| modA429_recvSetSDIFilter. | |
| ModStatus | modA429_recvFIFO (const A429ChannelNum rxChannelNum, A429Message *recvMsgsPtr, UInt32 *recvMsgCountPtr) |
| modA429_recvFIFO. | |
Variables | |
| static ModA429Handler | a429ModHdl = { 0 } |
| static A429DevHandler | a429DevHdl = { 0 } |
ARINC 429 Module
| #define MOD_A429_FIFO_COUNT (64U) |
| #define MOD_A429_MAX_SDI_VALUE (3U) |
| #define MOD_A429_MESSAGE_BUFFER (300U) |
|
static |
decodeMessage.
Decodes the given ARINC message into its constituent data fields.
| [out] | dataDecodePtr | Pointer to the structure where the decoded data will be stored. |
| [in] | arincMsg | The ARINC message to be decoded. |
| Requirement ID | Parent HLR ID | Detailed Low-Level Requirement Statement (EARS Format) | Software Unit Reference | Verification Method | Status |
|---|---|---|---|---|---|
| LLR_A429_DECODEMESSAGE_01 | HLR_A429_290 | WHEN invoked, the decodeMessage() function SHALL unpack the 32-bit ARINC 429 word arincMsg into label identifier octal digits (uLabelID1, uLabelID2, uLabelID3), source/destination identifier (uSDI), payload data field (uData), sign/status matrix (uSSM), and parity bit (uParity) into destination struct dataDecodePtr. | modA429.c:decodeMessage() | Test | Closed |
|
static |
encodeMessage.
Encodes the provided data into an ARINC message format.
| [in] | dataEncode | The data to be encoded into the ARINC message. |
| [out] | arincMsgPtr | Pointer to the variable where the resulting ARINC message will be stored after encoding. |
| Requirement ID | Parent HLR ID | Detailed Low-Level Requirement Statement (EARS Format) | Software Unit Reference | Verification Method | Status |
|---|---|---|---|---|---|
| LLR_A429_ENCODEMESSAGE_01 | HLR_A429_288 | WHEN invoked, the encodeMessage() function SHALL pack the fields of dataEncode (label digits, SDI, data payload, SSM, and parity) into a 32-bit ARINC 429 word frame, perform byte endian reversal, and store the resulting word in *arincMsgPtr. | modA429.c:encodeMessage() | Test | Closed |
|
extern |
errCheck.
Check the driver status and convert it to the module status.
| [in] | status | Status from driver. |
| MD_SUCCESS | : The module operation is successful. |
| MD_INVALID_ADDRESS | : The module base memory address is not valid. |
| MD_INVALID_CHANNEL | : The passing argument for channel number is not valid. |
| MD_READ_ERR | : The module is unable to read from a certain register. |
| MD_WRITE_ERR | : The module is unable to write to a certain register. |
| MD_FIFO_EMPTY | : The module FIFO is empty. |
| MD_FIFO_FULL | : The module FIFO is full. |
| MD_INVALID_PARAM | : The provided address pointer is invalid. |
| MD_INVALID_VALUE | : The passing argument is invalid or not within range. |
| MD_INVALID_CONFIG | : The module is not yet configured. |
| MD_INVALID_INIT | : The module is not initialized. |
| MD_OP_ALREADY_PERFORMED | : The module operation has already been performed. |
| MD_OPEN_FAILED | : The module is unable to open. |
| MD_FAILED | : The module operation has failed. |
| Requirement ID | Parent HLR ID | Detailed Low-Level Requirement Statement (EARS Format) | Software Unit Reference | Verification Method | Status |
|---|---|---|---|---|---|
| LLR_STATUS_ERRCHECK_01 | HLR_HM_79450 | WHEN the driver status parameter is equal to DRV_SUCCESS, the errCheck() function SHALL return MD_SUCCESS. | modStatus.c:errCheck() | Test | Closed |
| LLR_STATUS_ERRCHECK_02 | HLR_HM_79450 | WHEN the driver status parameter is equal to DRV_INVALID_ADDRESS, the errCheck() function SHALL return MD_INVALID_ADDRESS. | modStatus.c:errCheck() | Test | Closed |
| LLR_STATUS_ERRCHECK_03 | HLR_HM_79450 | WHEN the driver status parameter is equal to DRV_INVALID_CHANNEL, the errCheck() function SHALL return MD_INVALID_CHANNEL. | modStatus.c:errCheck() | Test | Closed |
| LLR_STATUS_ERRCHECK_04 | HLR_HM_79450 | WHEN the driver status parameter is equal to DRV_INVALID_DEVICE, the errCheck() function SHALL return MD_INVALID_DEVICE. | modStatus.c:errCheck() | Test | Closed |
| LLR_STATUS_ERRCHECK_05 | HLR_HM_79450 | WHEN the driver status parameter is equal to DRV_READ_FAILED, the errCheck() function SHALL return MD_READ_ERR. | modStatus.c:errCheck() | Test | Closed |
| LLR_STATUS_ERRCHECK_06 | HLR_HM_79450 | WHEN the driver status parameter is equal to DRV_WRITE_FAILED, the errCheck() function SHALL return MD_WRITE_ERR. | modStatus.c:errCheck() | Test | Closed |
| LLR_STATUS_ERRCHECK_07 | HLR_HM_79450 | WHEN the driver status parameter is equal to DRV_FIFO_EMPTY, the errCheck() function SHALL return MD_FIFO_EMPTY. | modStatus.c:errCheck() | Test | Closed |
| LLR_STATUS_ERRCHECK_08 | HLR_HM_79450 | WHEN the driver status parameter is equal to DRV_FIFO_FULL, the errCheck() function SHALL return MD_FIFO_FULL. | modStatus.c:errCheck() | Test | Closed |
| LLR_STATUS_ERRCHECK_09 | HLR_HM_79450 | WHEN the driver status parameter is equal to DRV_INVALID_PARAM, the errCheck() function SHALL return MD_INVALID_PARAM. | modStatus.c:errCheck() | Test | Closed |
| LLR_STATUS_ERRCHECK_10 | HLR_HM_79450 | WHEN the driver status parameter is equal to DRV_INVALID_VALUE, the errCheck() function SHALL return MD_INVALID_VALUE. | modStatus.c:errCheck() | Test | Closed |
| LLR_STATUS_ERRCHECK_11 | HLR_HM_79450 | WHEN the driver status parameter is equal to DRV_INVALID_CONFIG, the errCheck() function SHALL return MD_INVALID_CONFIG. | modStatus.c:errCheck() | Test | Closed |
| LLR_STATUS_ERRCHECK_12 | HLR_HM_79450 | WHEN the driver status parameter is equal to DRV_NOT_INITIALIZED, the errCheck() function SHALL return MD_INVALID_INIT. | modStatus.c:errCheck() | Test | Closed |
| LLR_STATUS_ERRCHECK_13 | HLR_HM_79450 | WHEN the driver status parameter is equal to DRV_OP_ALREADY_PERFORMED, the errCheck() function SHALL return MD_OP_ALREADY_PERFORMED. | modStatus.c:errCheck() | Test | Closed |
| LLR_STATUS_ERRCHECK_14 | HLR_HM_79450 | WHEN the driver status parameter is equal to DRV_OPEN_FAILED, the errCheck() function SHALL return MD_OPEN_FAILED. | modStatus.c:errCheck() | Test | Closed |
| LLR_STATUS_ERRCHECK_15 | HLR_HM_79450 | WHEN the driver status parameter does not match any recognized driver error condition, the errCheck() function SHALL return MD_FAILED. | modStatus.c:errCheck() | Test | Closed |
| ModStatus modA429_getDevHandle | ( | A429DevHandler * | a429DevHdl | ) |
modA429_getDevHandle.
Get the ARINC429 device handler.
| [out] | a429DevHdl | The ARINC429 device handler. |
| MD_SUCCESS | : Success. |
| MD_INVALID_PARAM | : The provided address pointer is invalid. |
| MD_INVALID_INIT | : The module has not been initialized. |
| Requirement ID | Parent HLR ID | Detailed Low-Level Requirement Statement (EARS Format) | Software Unit Reference | Verification Method | Status |
|---|---|---|---|---|---|
| LLR_A429_MODA429_GETDEVHANDLE_01 | HLR_A429_30857 | WHEN the output handle pointer a429DevHdl is NULL (invalid), the modA429_getDevHandle() function SHALL abort processing and return MD_INVALID_PARAM. | modA429.c:modA429_getDevHandle() | Test | Closed |
| LLR_A429_MODA429_GETDEVHANDLE_02 | HLR_A429_30857 | WHEN the ARINC 429 module initialization state is not INIT, the modA429_getDevHandle() function SHALL abort processing and return MD_INVALID_INIT. | modA429.c:modA429_getDevHandle() | Test | Closed |
| LLR_A429_MODA429_GETDEVHANDLE_03 | HLR_A429_30857 | WHEN the module is initialized and output pointer a429DevHdl is valid, the modA429_getDevHandle() function SHALL copy the active ARINC 429 device handle into the caller-provided destination memory at *a429DevHdl. | modA429.c:modA429_getDevHandle() | Test | Closed |
| LLR_A429_MODA429_GETDEVHANDLE_04 | HLR_A429_30857 | WHEN all operational processing completes successfully, the modA429_getDevHandle() function SHALL return MD_SUCCESS. | modA429.c:modA429_getDevHandle() | Test | Closed |
modA429_initReset.
Initialize or reset the ARINC429 module.
| [in] | state | The module state. |
| [in] | baseMemAddr | The reference base memory address. |
| MD_SUCCESS | : Success. |
| MD_INVALID_VALUE | : The state value is invalid. |
| Requirement ID | Parent HLR ID | Detailed Low-Level Requirement Statement (EARS Format) | Software Unit Reference | Verification Method | Status |
|---|---|---|---|---|---|
| LLR_A429_MODA429_INITRESET_01 | HLR_A429_30857 | WHEN state is equal to INIT, the modA429_initReset() function SHALL map base memory address with MMAP_A429_OFFSET, reset the controller via a429_reset(), configure master control register via a429_configMCR(), and transition module state to INIT. | modA429.c:modA429_initReset() | Test | Closed |
| LLR_A429_MODA429_INITRESET_02 | HLR_A429_30857 | WHEN state is INIT and hardware reset or MCR configuration fails (status not equal to DRV_SUCCESS), the modA429_initReset() function SHALL abort processing and return the module error code produced by errCheck(). | modA429.c:modA429_initReset() | Test | Closed |
| LLR_A429_MODA429_INITRESET_03 | HLR_A429_30857 | WHEN state is equal to RESET and the module was in INIT state, the modA429_initReset() function SHALL disable all 4 transmit channels and all 4 receive channels via modA429_sendChDisable() and modA429_recvChDisable(). | modA429.c:modA429_initReset() | Test | Closed |
| LLR_A429_MODA429_INITRESET_04 | HLR_A429_30857 | WHEN state is equal to RESET, the modA429_initReset() function SHALL execute hardware controller reset via a429_reset() and transition module state to RESET. | modA429.c:modA429_initReset() | Test | Closed |
| LLR_A429_MODA429_INITRESET_05 | HLR_A429_30857 | WHEN state is neither INIT nor RESET, the modA429_initReset() function SHALL abort processing and return MD_INVALID_VALUE. | modA429.c:modA429_initReset() | Test | Closed |
| LLR_A429_MODA429_INITRESET_06 | HLR_A429_30857 | WHEN all operational processing completes successfully, the modA429_initReset() function SHALL return MD_SUCCESS. | modA429.c:modA429_initReset() | Test | Closed |
| ModStatus modA429_recvChDisable | ( | const A429ChannelNum | rxChannelNum | ) |
modA429_recvChDisable.
Disable the specified receiver channel.
| [in] | rxChannelNum | Receive channel number to access. |
| MD_SUCCESS | : Success. |
| MD_INVALID_INIT | : The module has not been initialized. |
| MD_INVALID_CHANNEL | : The channel number is invalid. |
| Requirement ID | Parent HLR ID | Detailed Low-Level Requirement Statement (EARS Format) | Software Unit Reference | Verification Method | Status |
|---|---|---|---|---|---|
| LLR_A429_MODA429_RECVCHDISABLE_01 | HLR_A429_289 | WHEN the module initialization state is not initialized (INIT), the modA429_recvChDisable() function SHALL abort processing and return MD_INVALID_INIT. | modA429.c:modA429_recvChDisable() | Test | Closed |
| LLR_A429_MODA429_RECVCHDISABLE_02 | HLR_A429_289 | WHEN rxChannelNum is not one of the defined ARINC 429 receive channel identifiers (A429_RX_CH1 through A429_RX_CH7), the modA429_recvChDisable() function SHALL abort processing and return MD_INVALID_CHANNEL. | modA429.c:modA429_recvChDisable() | Test | Closed |
| LLR_A429_MODA429_RECVCHDISABLE_03 | HLR_A429_289 | WHEN a driver operation reports a failure status other than DRV_SUCCESS, the modA429_recvChDisable() function SHALL abort processing and return the module error code produced by errCheck() for the reported driver status. | modA429.c:modA429_recvChDisable() | Test | Closed |
| LLR_A429_MODA429_RECVCHDISABLE_04 | HLR_A429_289 | WHEN preconditions are satisfied, the modA429_recvChDisable() function SHALL invoke receiver driver routine a429_rxClearLabelFilter() to perform channel configuration. | modA429.c:modA429_recvChDisable() | Test | Closed |
| LLR_A429_MODA429_RECVCHDISABLE_05 | HLR_A429_289 | WHEN preconditions are satisfied, the modA429_recvChDisable() function SHALL evaluate the driver return status using errCheck(). | modA429.c:modA429_recvChDisable() | Test | Closed |
| LLR_A429_MODA429_RECVCHDISABLE_06 | HLR_A429_289 | WHEN preconditions are satisfied, the modA429_recvChDisable() function SHALL invoke receiver driver routine a429_rxDisableSDIFilter() to perform channel configuration. | modA429.c:modA429_recvChDisable() | Test | Closed |
| LLR_A429_MODA429_RECVCHDISABLE_07 | HLR_A429_289 | WHEN preconditions are satisfied, the modA429_recvChDisable() function SHALL invoke receiver driver routine a429_rxDisableParity() to perform channel configuration. | modA429.c:modA429_recvChDisable() | Test | Closed |
| LLR_A429_MODA429_RECVCHDISABLE_08 | HLR_A429_289 | WHEN preconditions are satisfied, the modA429_recvChDisable() function SHALL invoke receiver driver routine a429_rxDisableChannel() to perform channel configuration. | modA429.c:modA429_recvChDisable() | Test | Closed |
| LLR_A429_MODA429_RECVCHDISABLE_09 | HLR_A429_289 | WHEN all operational processing completes successfully, the modA429_recvChDisable() function SHALL return MD_SUCCESS. | modA429.c:modA429_recvChDisable() | Test | Closed |
| ModStatus modA429_recvChEnable | ( | const A429ChannelNum | rxChannelNum | ) |
modA429_recvChEnable.
Enable the specified receiver channel.
| [in] | rxChannelNum | Receive channel number to access. |
| MD_SUCCESS | : Success. |
| MD_INVALID_INIT | : The module has not been initialized. |
| MD_INVALID_CHANNEL | : The channel number is invalid. |
| Requirement ID | Parent HLR ID | Detailed Low-Level Requirement Statement (EARS Format) | Software Unit Reference | Verification Method | Status |
|---|---|---|---|---|---|
| LLR_A429_MODA429_RECVCHENABLE_01 | HLR_A429_289 | WHEN the module initialization state is not initialized (INIT), the modA429_recvChEnable() function SHALL abort processing and return MD_INVALID_INIT. | modA429.c:modA429_recvChEnable() | Test | Closed |
| LLR_A429_MODA429_RECVCHENABLE_02 | HLR_A429_289 | WHEN rxChannelNum is not one of the defined ARINC 429 receive channel identifiers (A429_RX_CH1 through A429_RX_CH7), the modA429_recvChEnable() function SHALL abort processing and return MD_INVALID_CHANNEL. | modA429.c:modA429_recvChEnable() | Test | Closed |
| LLR_A429_MODA429_RECVCHENABLE_03 | HLR_A429_289 | WHEN a driver operation reports a failure status other than DRV_SUCCESS, the modA429_recvChEnable() function SHALL abort processing and return the module error code produced by errCheck() for the reported driver status. | modA429.c:modA429_recvChEnable() | Test | Closed |
| LLR_A429_MODA429_RECVCHENABLE_04 | HLR_A429_289 | WHEN preconditions are satisfied, the modA429_recvChEnable() function SHALL invoke receiver driver routine a429_rxEnableChannel() to perform channel configuration. | modA429.c:modA429_recvChEnable() | Test | Closed |
| LLR_A429_MODA429_RECVCHENABLE_05 | HLR_A429_289 | WHEN preconditions are satisfied, the modA429_recvChEnable() function SHALL evaluate the driver return status using errCheck(). | modA429.c:modA429_recvChEnable() | Test | Closed |
| LLR_A429_MODA429_RECVCHENABLE_06 | HLR_A429_289 | WHEN all operational processing completes successfully, the modA429_recvChEnable() function SHALL return MD_SUCCESS. | modA429.c:modA429_recvChEnable() | Test | Closed |
| ModStatus modA429_recvConfig | ( | const A429ChannelNum | rxChannelNum, |
| const A429SpeedRate | a429DataRate, | ||
| const Bool | parityEnable, | ||
| const A429ParityMode | parityMode ) |
modA429_recvConfig.
Set the configuration for data rate, parity and parity type of specified receiver channel.
| [in] | rxChannelNum | Receive channel number to access. |
| [in] | a429DataRate | ARIN429 RX Data Rate (kb/s). |
| [in] | parityEnable | TRUE is 32 bits ARINC message will be checked with Odd parity method, the parity flag will be overwritten in bit 32. FALSE is all 32 bits are received without parity checking. |
| [in] | parityMode | Parity Type (EVEN, ODD) for receiver channel. |
| MD_SUCCESS | : Success. |
| MD_INVALID_INIT | : The module has not been initialized. |
| MD_INVALID_CONFIG | : The configuration parameter is invalid. |
| MD_INVALID_CHANNEL | : The channel number is invalid. |
| Requirement ID | Parent HLR ID | Detailed Low-Level Requirement Statement (EARS Format) | Software Unit Reference | Verification Method | Status |
|---|---|---|---|---|---|
| LLR_A429_MODA429_RECVCONFIG_01 | HLR_A429_290 | WHEN the module initialization state is not initialized (INIT), the modA429_recvConfig() function SHALL abort processing and return MD_INVALID_INIT. | modA429.c:modA429_recvConfig() | Test | Closed |
| LLR_A429_MODA429_RECVCONFIG_02 | HLR_A429_290 | WHEN rxChannelNum is not one of the defined ARINC 429 receive channel identifiers (A429_RX_CH1 through A429_RX_CH7), the modA429_recvConfig() function SHALL abort processing and return MD_INVALID_CHANNEL. | modA429.c:modA429_recvConfig() | Test | Closed |
| LLR_A429_MODA429_RECVCONFIG_03 | HLR_A429_290 | WHEN high-speed ARINC 429 transmission rate (100 kbps) is equal to the ARINC 429 transmission speed, the modA429_recvConfig() function SHALL abort processing and return the module error code produced by errCheck() for the reported driver status. | modA429.c:modA429_recvConfig() | Test | Closed |
| LLR_A429_MODA429_RECVCONFIG_04 | HLR_A429_290 | WHEN low-speed ARINC 429 transmission rate (12.5 kbps) is equal to the ARINC 429 transmission speed, the modA429_recvConfig() function SHALL abort processing and return the module error code produced by errCheck() for the reported driver status. | modA429.c:modA429_recvConfig() | Test | Closed |
| LLR_A429_MODA429_RECVCONFIG_05 | HLR_A429_290 | WHEN TRUE is equal to the parity enablement flag, the modA429_recvConfig() function SHALL abort processing and return the module error code produced by errCheck() for the reported driver status. | modA429.c:modA429_recvConfig() | Test | Closed |
| LLR_A429_MODA429_RECVCONFIG_06 | HLR_A429_290 | WHEN FALSE is equal to the parity enablement flag, the modA429_recvConfig() function SHALL abort processing and return the module error code produced by errCheck() for the reported driver status. | modA429.c:modA429_recvConfig() | Test | Closed |
| LLR_A429_MODA429_RECVCONFIG_07 | HLR_A429_290 | WHEN preconditions are satisfied, the modA429_recvConfig() function SHALL invoke receiver driver routine a429_rxSetSpeed() to perform channel configuration. | modA429.c:modA429_recvConfig() | Test | Closed |
| LLR_A429_MODA429_RECVCONFIG_08 | HLR_A429_290 | WHEN preconditions are satisfied, the modA429_recvConfig() function SHALL evaluate the driver return status using errCheck(). | modA429.c:modA429_recvConfig() | Test | Closed |
| LLR_A429_MODA429_RECVCONFIG_09 | HLR_A429_290 | WHEN preconditions are satisfied, the modA429_recvConfig() function SHALL invoke receiver driver routine a429_rxEnableParity() to perform channel configuration. | modA429.c:modA429_recvConfig() | Test | Closed |
| LLR_A429_MODA429_RECVCONFIG_10 | HLR_A429_290 | WHEN preconditions are satisfied, the modA429_recvConfig() function SHALL invoke receiver driver routine a429_rxDisableParity() to perform channel configuration. | modA429.c:modA429_recvConfig() | Test | Closed |
| LLR_A429_MODA429_RECVCONFIG_11 | HLR_A429_290 | WHEN all operational processing completes successfully, the modA429_recvConfig() function SHALL return MD_SUCCESS. | modA429.c:modA429_recvConfig() | Test | Closed |
| ModStatus modA429_recvFIFO | ( | const A429ChannelNum | rxChannelNum, |
| A429Message * | recvMsgsPtr, | ||
| UInt32 * | recvMsgCountPtr ) |
modA429_recvFIFO.
Read the ARINC429 message from the receiver FIFO of specified receiver channel.
| [in] | rxChannelNum | Receive channel number to access. |
| [out] | recvMsgsPtr | Receive Arinc message. |
| [out] | recvMsgCountPtr | Number of ARINC message read from FIFO. |
| MD_SUCCESS | : Success. |
| MD_INVALID_PARAM | : The provided address pointer is invalid. |
| MD_INVALID_INIT | : The module has not been initialized. |
| MD_INVALID_CHANNEL | : The channel number is invalid. |
| MD_CHANNEL_DISABLED | : Channel is disabled. |
| Requirement ID | Parent HLR ID | Detailed Low-Level Requirement Statement (EARS Format) | Software Unit Reference | Verification Method | Status |
|---|---|---|---|---|---|
| LLR_A429_MODA429_RECVFIFO_01 | HLR_A429_290 | WHEN the module initialization state is not initialized (INIT), the modA429_recvFIFO() function SHALL abort processing and return MD_INVALID_INIT. | modA429.c:modA429_recvFIFO() | Test | Closed |
| LLR_A429_MODA429_RECVFIFO_02 | HLR_A429_290 | WHEN rxChannelNum is not one of the defined ARINC 429 receive channel identifiers (A429_RX_CH1 through A429_RX_CH7), the modA429_recvFIFO() function SHALL abort processing and return MD_INVALID_CHANNEL. | modA429.c:modA429_recvFIFO() | Test | Closed |
| LLR_A429_MODA429_RECVFIFO_03 | HLR_A429_290 | WHEN a driver operation reports a failure status other than DRV_SUCCESS, the modA429_recvFIFO() function SHALL abort processing and return the module error code produced by errCheck() for the reported driver status. | modA429.c:modA429_recvFIFO() | Test | Closed |
| LLR_A429_MODA429_RECVFIFO_04 | HLR_A429_290 | WHEN the target ARINC 429 receive channel is disabled (operating status is CH_DISABLE), the modA429_recvFIFO() function SHALL abort processing and return MD_CHANNEL_DISABLED. | modA429.c:modA429_recvFIFO() | Test | Closed |
| LLR_A429_MODA429_RECVFIFO_05 | HLR_A429_290 | WHEN the pointer recvMsgsPtr is NULL (invalid), the modA429_recvFIFO() function SHALL abort processing and return MD_INVALID_PARAM. | modA429.c:modA429_recvFIFO() | Test | Closed |
| LLR_A429_MODA429_RECVFIFO_06 | HLR_A429_290 | WHEN the pointer recvMsgCountPtr is NULL (invalid), the modA429_recvFIFO() function SHALL abort processing and return MD_INVALID_PARAM. | modA429.c:modA429_recvFIFO() | Test | Closed |
| LLR_A429_MODA429_RECVFIFO_07 | HLR_A429_290 | WHEN preconditions are satisfied, the modA429_recvFIFO() function SHALL invoke receiver driver routine a429_rxGetState() to perform channel configuration. | modA429.c:modA429_recvFIFO() | Test | Closed |
| LLR_A429_MODA429_RECVFIFO_08 | HLR_A429_290 | WHEN preconditions are satisfied, the modA429_recvFIFO() function SHALL evaluate the driver return status using errCheck(). | modA429.c:modA429_recvFIFO() | Test | Closed |
| LLR_A429_MODA429_RECVFIFO_09 | HLR_A429_290 | WHEN preconditions are satisfied, the modA429_recvFIFO() function SHALL invoke receiver driver routine a429_rxGetFIFOMsgs() to perform channel configuration. | modA429.c:modA429_recvFIFO() | Test | Closed |
| LLR_A429_MODA429_RECVFIFO_10 | HLR_A429_290 | WHEN preconditions are satisfied, the modA429_recvFIFO() function SHALL invoke routine decodeMessage() to decode ARINC 429 message words. | modA429.c:modA429_recvFIFO() | Test | Closed |
| LLR_A429_MODA429_RECVFIFO_11 | HLR_A429_290 | WHEN all operational processing completes successfully, the modA429_recvFIFO() function SHALL return MD_SUCCESS. | modA429.c:modA429_recvFIFO() | Test | Closed |
| ModStatus modA429_recvSetLabelFilter | ( | const A429ChannelNum | rxChannelNum, |
| const UInt8 * | filterLabelsPtr, | ||
| const UInt8 | filterLabelCount ) |
modA429_recvSetLabelFilter.
Set the message filter by label of specified receiver channel.
| [in] | rxChannelNum | Receive channel number to access. |
| [in] | filterLabelsPtr | List of labels for message Arinc data. |
| [in] | filterLabelCount | Number of filter labels of ARINC message (0 - 255). |
| MD_SUCCESS | : Success. |
| MD_INVALID_PARAM | : The provided address pointer is invalid. |
| MD_INVALID_INIT | : The module has not been initialized. |
| MD_INVALID_CHANNEL | : The channel number is invalid. |
| Requirement ID | Parent HLR ID | Detailed Low-Level Requirement Statement (EARS Format) | Software Unit Reference | Verification Method | Status |
|---|---|---|---|---|---|
| LLR_A429_MODA429_RECVSETLABELFILTER_01 | HLR_A429_300 | WHEN the module initialization state is not initialized (INIT), the modA429_recvSetLabelFilter() function SHALL abort processing and return MD_INVALID_INIT. | modA429.c:modA429_recvSetLabelFilter() | Test | Closed |
| LLR_A429_MODA429_RECVSETLABELFILTER_02 | HLR_A429_300 | WHEN rxChannelNum is not one of the defined ARINC 429 receive channel identifiers (A429_RX_CH1 through A429_RX_CH7), the modA429_recvSetLabelFilter() function SHALL abort processing and return MD_INVALID_CHANNEL. | modA429.c:modA429_recvSetLabelFilter() | Test | Closed |
| LLR_A429_MODA429_RECVSETLABELFILTER_03 | HLR_A429_300 | WHEN the pointer filterLabelsPtr is NULL (invalid), the modA429_recvSetLabelFilter() function SHALL abort processing and return MD_INVALID_PARAM. | modA429.c:modA429_recvSetLabelFilter() | Test | Closed |
| LLR_A429_MODA429_RECVSETLABELFILTER_04 | HLR_A429_300 | WHEN a driver operation reports a failure status other than DRV_SUCCESS, the modA429_recvSetLabelFilter() function SHALL abort processing and return the module error code produced by errCheck() for the reported driver status. | modA429.c:modA429_recvSetLabelFilter() | Test | Closed |
| LLR_A429_MODA429_RECVSETLABELFILTER_05 | HLR_A429_300 | WHEN preconditions are satisfied, the modA429_recvSetLabelFilter() function SHALL invoke receiver driver routine a429_rxSetLabelFilter() to perform channel configuration. | modA429.c:modA429_recvSetLabelFilter() | Test | Closed |
| LLR_A429_MODA429_RECVSETLABELFILTER_06 | HLR_A429_300 | WHEN preconditions are satisfied, the modA429_recvSetLabelFilter() function SHALL evaluate the driver return status using errCheck(). | modA429.c:modA429_recvSetLabelFilter() | Test | Closed |
| LLR_A429_MODA429_RECVSETLABELFILTER_07 | HLR_A429_300 | WHEN all operational processing completes successfully, the modA429_recvSetLabelFilter() function SHALL return MD_SUCCESS. | modA429.c:modA429_recvSetLabelFilter() | Test | Closed |
| ModStatus modA429_recvSetSDIFilter | ( | const A429ChannelNum | rxChannelNum, |
| const UInt8 | sdiValue ) |
modA429_recvSetSDIFilter.
@detailsSet the message filter by SDI value of specified receiver channel.
| [in] | rxChannelNum | Receive channel number to access. |
| [in] | sdiValue | SDI Value to filter. |
| MD_SUCCESS | : Success. |
| MD_INVALID_INIT | : The module has not been initialized. |
| MD_INVALID_CONFIG | : The configuration parameter is invalid. |
| MD_INVALID_CHANNEL | : The channel number is invalid. |
| Requirement ID | Parent HLR ID | Detailed Low-Level Requirement Statement (EARS Format) | Software Unit Reference | Verification Method | Status |
|---|---|---|---|---|---|
| LLR_A429_MODA429_RECVSETSDIFILTER_01 | HLR_A429_21622 | WHEN the module initialization state is not initialized (INIT), the modA429_recvSetSDIFilter() function SHALL abort processing and return MD_INVALID_INIT. | modA429.c:modA429_recvSetSDIFilter() | Test | Closed |
| LLR_A429_MODA429_RECVSETSDIFILTER_02 | HLR_A429_21622 | WHEN rxChannelNum is not one of the defined ARINC 429 receive channel identifiers (A429_RX_CH1 through A429_RX_CH7), the modA429_recvSetSDIFilter() function SHALL abort processing and return MD_INVALID_CHANNEL. | modA429.c:modA429_recvSetSDIFilter() | Test | Closed |
| LLR_A429_MODA429_RECVSETSDIFILTER_03 | HLR_A429_21622 | WHEN sdiValue is less than or equal to MOD_A429_MAX_SDI_VALUE, the modA429_recvSetSDIFilter() function SHALL abort processing and return the module error code produced by errCheck() for the reported driver status. | modA429.c:modA429_recvSetSDIFilter() | Test | Closed |
| LLR_A429_MODA429_RECVSETSDIFILTER_04 | HLR_A429_21622 | WHEN preconditions are satisfied, the modA429_recvSetSDIFilter() function SHALL invoke receiver driver routine a429_rxSetSDIFilter() to perform channel configuration. | modA429.c:modA429_recvSetSDIFilter() | Test | Closed |
| LLR_A429_MODA429_RECVSETSDIFILTER_05 | HLR_A429_21622 | WHEN preconditions are satisfied, the modA429_recvSetSDIFilter() function SHALL evaluate the driver return status using errCheck(). | modA429.c:modA429_recvSetSDIFilter() | Test | Closed |
| LLR_A429_MODA429_RECVSETSDIFILTER_06 | HLR_A429_21622 | WHEN all operational processing completes successfully, the modA429_recvSetSDIFilter() function SHALL return MD_SUCCESS. | modA429.c:modA429_recvSetSDIFilter() | Test | Closed |
| ModStatus modA429_send | ( | const A429ChannelNum | txChannelNum, |
| const A429Message * | msgBufPtr, | ||
| const UInt32 | msgCount ) |
modA429_send.
Send the input ARINC429 messages to the specified enabled transmitter channel. The function validates module state, channel identity, message-buffer address, and FIFO capacity, encodes each message, and submits the encoded sequence to the transmit FIFO.
| [in] | txChannelNum | ARINC429 transmit channel identifier. Accepted values are A429_TX_CH1 through A429_TX_CH4. |
| [in] | msgBufPtr | Pointer to the input ARINC429 message array. A NULL pointer is invalid. |
| [in] | msgCount | Number of messages in msgBufPtr. The maximum accepted count is the A429 transmit FIFO capacity (32). |
| MD_SUCCESS | : Success. |
| MD_INVALID_PARAM | : The provided address pointer is invalid. |
| MD_INVALID_INIT | : The module has not been initialized. |
| MD_INVALID_CHANNEL | : The channel number is invalid. |
| MD_CHANNEL_DISABLED | : Channel is disabled. |
| MD_INVALID_VALUE | : The message count is out of range. |
| Requirement ID | Parent HLR ID | Detailed Low-Level Requirement Statement (EARS Format) | Software Unit Reference | Verification Method | Status |
|---|---|---|---|---|---|
| LLR_A429_MODA429_SEND_01 | HLR_A429_288 | WHEN the A429 module is not initialized, the modA429_send() function SHALL return MD_INVALID_INIT without accessing the transmit channel or message buffer. | modA429.c:modA429_send() | Test | Closed — Recovered |
| LLR_A429_MODA429_SEND_02 | HLR_A429_288 | WHEN txChannelNum is not one of A429_TX_CH1 through A429_TX_CH4, the modA429_send() function SHALL return MD_INVALID_CHANNEL. | modA429.c:modA429_send() | Test | Closed — Recovered |
| LLR_A429_MODA429_SEND_03 | HLR_A429_288 | WHEN the transmit-channel state read reports a driver failure, the modA429_send() function SHALL return the module status produced by errCheck() for that driver failure. | modA429.c:modA429_send() | Test | Closed — Recovered |
| LLR_A429_MODA429_SEND_04 | HLR_A429_288 | WHEN the selected transmit channel is disabled (CH_DISABLE), the modA429_send() function SHALL return MD_CHANNEL_DISABLED without submitting messages to the transmit FIFO. | modA429.c:modA429_send() | Test | Closed — Recovered |
| LLR_A429_MODA429_SEND_05 | HLR_A429_288 | WHEN msgBufPtr is NULL, the modA429_send() function SHALL return MD_INVALID_PARAM. | modA429.c:modA429_send() | Test | Closed — Recovered |
| LLR_A429_MODA429_SEND_06 | HLR_A429_288 | WHEN msgCount is greater than the maximum A429 transmit FIFO capacity (32), the modA429_send() function SHALL return MD_INVALID_VALUE. | modA429.c:modA429_send() | Test | Closed — Recovered |
| LLR_A429_MODA429_SEND_07 | HLR_A429_288 | WHEN all input and channel-state preconditions are satisfied, the modA429_send() function SHALL encode each input message in msgBufPtr for indices 0 through msgCount - 1. | modA429.c:modA429_send() | Test | Closed — Recovered |
| LLR_A429_MODA429_SEND_08 | HLR_A429_288 | WHEN message encoding completes successfully, the modA429_send() function SHALL submit the encoded message sequence to the selected A429 transmit FIFO. | modA429.c:modA429_send() | Test | Closed — Recovered |
| LLR_A429_MODA429_SEND_09 | HLR_A429_288 | WHEN transmit FIFO submission reports a driver failure, the modA429_send() function SHALL return the module status produced by errCheck() for that driver failure. | modA429.c:modA429_send() | Test | Closed — Recovered |
| LLR_A429_MODA429_SEND_10 | HLR_A429_288 | WHEN encoding and transmit FIFO submission complete successfully, the modA429_send() function SHALL return MD_SUCCESS. | modA429.c:modA429_send() | Test | Closed — Recovered |
| ModStatus modA429_sendChDisable | ( | const A429ChannelNum | txChannelNum | ) |
modA429_sendChDisable.
Disable the specified transmitter channel.
| [in] | txChannelNum | Transmit channel number to access. |
| MD_SUCCESS | : Success. |
| MD_INVALID_INIT | : The module has not been initialized. |
| MD_INVALID_CHANNEL | : The channel number is invalid. |
| Requirement ID | Parent HLR ID | Detailed Low-Level Requirement Statement (EARS Format) | Software Unit Reference | Verification Method | Status |
|---|---|---|---|---|---|
| LLR_A429_MODA429_SENDCHDISABLE_01 | HLR_A429_287 | WHEN the module initialization state is not initialized (INIT), the modA429_sendChDisable() function SHALL abort processing and return MD_INVALID_INIT. | modA429.c:modA429_sendChDisable() | Test | Closed |
| LLR_A429_MODA429_SENDCHDISABLE_02 | HLR_A429_287 | WHEN txChannelNum is not one of the defined ARINC 429 transmit channel identifiers (A429_TX_CH1, A429_TX_CH2, A429_TX_CH3, A429_TX_CH4), the modA429_sendChDisable() function SHALL abort processing and return MD_INVALID_CHANNEL. | modA429.c:modA429_sendChDisable() | Test | Closed |
| LLR_A429_MODA429_SENDCHDISABLE_03 | HLR_A429_287 | WHEN a driver operation reports a failure status other than DRV_SUCCESS, the modA429_sendChDisable() function SHALL abort processing and return the module error code produced by errCheck() for the reported driver status. | modA429.c:modA429_sendChDisable() | Test | Closed |
| LLR_A429_MODA429_SENDCHDISABLE_04 | HLR_A429_287 | WHEN preconditions are satisfied, the modA429_sendChDisable() function SHALL invoke transmitter driver routine a429_txDisableChannel() to perform message transmission. | modA429.c:modA429_sendChDisable() | Test | Closed |
| LLR_A429_MODA429_SENDCHDISABLE_05 | HLR_A429_287 | WHEN preconditions are satisfied, the modA429_sendChDisable() function SHALL evaluate the driver return status using errCheck(). | modA429.c:modA429_sendChDisable() | Test | Closed |
| LLR_A429_MODA429_SENDCHDISABLE_06 | HLR_A429_287 | WHEN preconditions are satisfied, the modA429_sendChDisable() function SHALL invoke transmitter driver routine a429_txDisableParity() to perform message transmission. | modA429.c:modA429_sendChDisable() | Test | Closed |
| LLR_A429_MODA429_SENDCHDISABLE_07 | HLR_A429_287 | WHEN all operational processing completes successfully, the modA429_sendChDisable() function SHALL return MD_SUCCESS. | modA429.c:modA429_sendChDisable() | Test | Closed |
| ModStatus modA429_sendChEnable | ( | const A429ChannelNum | txChannelNum | ) |
modA429_sendChEnable.
Enable the specified transmitter channel.
| [in] | txChannelNum | Transmit channel number to access. |
| MD_SUCCESS | : Success. |
| MD_INVALID_INIT | : The module has not been initialized. |
| MD_INVALID_CHANNEL | : The channel number is invalid. |
| Requirement ID | Parent HLR ID | Detailed Low-Level Requirement Statement (EARS Format) | Software Unit Reference | Verification Method | Status |
|---|---|---|---|---|---|
| LLR_A429_MODA429_SENDCHENABLE_01 | HLR_A429_287 | WHEN the module initialization state is not initialized (INIT), the modA429_sendChEnable() function SHALL abort processing and return MD_INVALID_INIT. | modA429.c:modA429_sendChEnable() | Test | Closed |
| LLR_A429_MODA429_SENDCHENABLE_02 | HLR_A429_287 | WHEN txChannelNum is not one of the defined ARINC 429 transmit channel identifiers (A429_TX_CH1, A429_TX_CH2, A429_TX_CH3, A429_TX_CH4), the modA429_sendChEnable() function SHALL abort processing and return MD_INVALID_CHANNEL. | modA429.c:modA429_sendChEnable() | Test | Closed |
| LLR_A429_MODA429_SENDCHENABLE_03 | HLR_A429_287 | WHEN a driver operation reports a failure status other than DRV_SUCCESS, the modA429_sendChEnable() function SHALL abort processing and return the module error code produced by errCheck() for the reported driver status. | modA429.c:modA429_sendChEnable() | Test | Closed |
| LLR_A429_MODA429_SENDCHENABLE_04 | HLR_A429_287 | WHEN preconditions are satisfied, the modA429_sendChEnable() function SHALL invoke transmitter driver routine a429_txEnableChannel() to perform message transmission. | modA429.c:modA429_sendChEnable() | Test | Closed |
| LLR_A429_MODA429_SENDCHENABLE_05 | HLR_A429_287 | WHEN preconditions are satisfied, the modA429_sendChEnable() function SHALL evaluate the driver return status using errCheck(). | modA429.c:modA429_sendChEnable() | Test | Closed |
| LLR_A429_MODA429_SENDCHENABLE_06 | HLR_A429_287 | WHEN all operational processing completes successfully, the modA429_sendChEnable() function SHALL return MD_SUCCESS. | modA429.c:modA429_sendChEnable() | Test | Closed |
| ModStatus modA429_sendConfig | ( | const A429ChannelNum | txChannelNum, |
| const A429SpeedRate | a429DataRate, | ||
| const Bool | parityEnable, | ||
| const A429ParityMode | parityMode ) |
modA429_sendConfig.
Set the configuration for data rate, parity and parity type of specified transmitter channel.
| [in] | txChannelNum | Transmit channel number to access. |
| [in] | a429DataRate | ARINC429 TX Data Rate (kb/s). |
| [in] | parityEnable | When set to TRUE, ARINC429 bit 32 ARINC bit overwritten with parity flag. When set to FALSE, parity will be disabled and the transmitter will treat ARINC429 bit 32 as data and send data word with no parity. |
| [in] | parityMode | Set even parity bit or odd parity bit. |
| MD_SUCCESS | : Success. |
| MD_INVALID_INIT | : The module has not been initialized. |
| MD_INVALID_CONFIG | : The configuration parameter is invalid. |
| MD_INVALID_CHANNEL | : The channel number is invalid. |
| Requirement ID | Parent HLR ID | Detailed Low-Level Requirement Statement (EARS Format) | Software Unit Reference | Verification Method | Status |
|---|---|---|---|---|---|
| LLR_A429_MODA429_SENDCONFIG_01 | HLR_A429_288 | WHEN the module initialization state is not initialized (INIT), the modA429_sendConfig() function SHALL abort processing and return MD_INVALID_INIT. | modA429.c:modA429_sendConfig() | Test | Closed |
| LLR_A429_MODA429_SENDCONFIG_02 | HLR_A429_288 | WHEN txChannelNum is not one of the defined ARINC 429 transmit channel identifiers (A429_TX_CH1, A429_TX_CH2, A429_TX_CH3, A429_TX_CH4), the modA429_sendConfig() function SHALL abort processing and return MD_INVALID_CHANNEL. | modA429.c:modA429_sendConfig() | Test | Closed |
| LLR_A429_MODA429_SENDCONFIG_03 | HLR_A429_288 | WHEN high-speed ARINC 429 transmission rate (100 kbps) is equal to the ARINC 429 transmission speed, the modA429_sendConfig() function SHALL abort processing and return the module error code produced by errCheck() for the reported driver status. | modA429.c:modA429_sendConfig() | Test | Closed |
| LLR_A429_MODA429_SENDCONFIG_04 | HLR_A429_288 | WHEN low-speed ARINC 429 transmission rate (12.5 kbps) is equal to the ARINC 429 transmission speed, the modA429_sendConfig() function SHALL abort processing and return the module error code produced by errCheck() for the reported driver status. | modA429.c:modA429_sendConfig() | Test | Closed |
| LLR_A429_MODA429_SENDCONFIG_05 | HLR_A429_288 | WHEN TRUE is equal to the parity enablement flag, the modA429_sendConfig() function SHALL abort processing and return the module error code produced by errCheck() for the reported driver status. | modA429.c:modA429_sendConfig() | Test | Closed |
| LLR_A429_MODA429_SENDCONFIG_06 | HLR_A429_288 | WHEN FALSE is equal to the parity enablement flag, the modA429_sendConfig() function SHALL abort processing and return the module error code produced by errCheck() for the reported driver status. | modA429.c:modA429_sendConfig() | Test | Closed |
| LLR_A429_MODA429_SENDCONFIG_07 | HLR_A429_288 | WHEN preconditions are satisfied, the modA429_sendConfig() function SHALL invoke transmitter driver routine a429_txSetSpeed() to perform message transmission. | modA429.c:modA429_sendConfig() | Test | Closed |
| LLR_A429_MODA429_SENDCONFIG_08 | HLR_A429_288 | WHEN preconditions are satisfied, the modA429_sendConfig() function SHALL evaluate the driver return status using errCheck(). | modA429.c:modA429_sendConfig() | Test | Closed |
| LLR_A429_MODA429_SENDCONFIG_09 | HLR_A429_288 | WHEN preconditions are satisfied, the modA429_sendConfig() function SHALL invoke transmitter driver routine a429_txEnableParity() to perform message transmission. | modA429.c:modA429_sendConfig() | Test | Closed |
| LLR_A429_MODA429_SENDCONFIG_10 | HLR_A429_288 | WHEN preconditions are satisfied, the modA429_sendConfig() function SHALL invoke transmitter driver routine a429_txDisableParity() to perform message transmission. | modA429.c:modA429_sendConfig() | Test | Closed |
| LLR_A429_MODA429_SENDCONFIG_11 | HLR_A429_288 | WHEN all operational processing completes successfully, the modA429_sendConfig() function SHALL return MD_SUCCESS. | modA429.c:modA429_sendConfig() | Test | Closed |
|
static |
validateRxChannel.
Validate the receiver channel number.
| [in] | rxChannelNum | Receive channel number to access. |
| TRUE | : If channel is valid. |
| FALSE | : If channel is invalid. |
| Requirement ID | Parent HLR ID | Detailed Low-Level Requirement Statement (EARS Format) | Software Unit Reference | Verification Method | Status |
|---|---|---|---|---|---|
| LLR_A429_VALIDATERXCHANNEL_01 | HLR_A429_20363 | WHEN the receive channel number is greater than or equal to the maximum ARINC 429 RX channel capacity (7), the validateRxChannel() function SHALL return FALSE. | modA429.c:validateRxChannel() | Test | Closed |
| LLR_A429_VALIDATERXCHANNEL_02 | HLR_A429_20363 | WHEN the receive channel identifier is not one of the defined ARINC 429 receive channel identifiers (A429_RX_CH1, A429_RX_CH2, A429_RX_CH3, A429_RX_CH4, A429_RX_CH5, A429_RX_CH6, A429_RX_CH7), the validateRxChannel() function SHALL return FALSE. | modA429.c:validateRxChannel() | Test | Closed |
| LLR_A429_VALIDATERXCHANNEL_03 | HLR_A429_20363 | WHEN the receive channel number and identifier are both valid, the validateRxChannel() function SHALL return TRUE. | modA429.c:validateRxChannel() | Test | Closed |
|
static |
validateTxChannel.
Validate the transmitter channel number.
| [in] | txChannelNum | Transmit channel number to access. |
| TRUE | : If channel is valid. |
| FALSE | : If channel is invalid. |
| Requirement ID | Parent HLR ID | Detailed Low-Level Requirement Statement (EARS Format) | Software Unit Reference | Verification Method | Status |
|---|---|---|---|---|---|
| LLR_A429_VALIDATETXCHANNEL_01 | HLR_A429_20362 | WHEN the transmit channel number is greater than or equal to the maximum ARINC 429 TX channel capacity (4), the validateTxChannel() function SHALL return FALSE. | modA429.c:validateTxChannel() | Test | Closed |
| LLR_A429_VALIDATETXCHANNEL_02 | HLR_A429_20362 | WHEN the transmit channel identifier is not one of the defined ARINC 429 transmit channel identifiers (A429_TX_CH1, A429_TX_CH2, A429_TX_CH3, A429_TX_CH4), the validateTxChannel() function SHALL return FALSE. | modA429.c:validateTxChannel() | Test | Closed |
| LLR_A429_VALIDATETXCHANNEL_03 | HLR_A429_20362 | WHEN the transmit channel number and identifier are both valid, the validateTxChannel() function SHALL return TRUE. | modA429.c:validateTxChannel() | Test | Closed |
|
static |
|
static |