56 #include "MockHL_gio.h"
59 #include "Mockalgorithm.h"
63 #include "Mockcontactor.h"
64 #include "Mockdatabase.h"
66 #include "Mockdiag_cfg.h"
68 #include "Mockhtsensor.h"
71 #include "Mockinterlock.h"
74 #include "Mockmpu_prototypes.h"
77 #include "Mockredundancy.h"
81 #include "Mockstate_estimation.h"
83 #include "Mocksys_mon.h"
95 #define FTSK_DATA_QUEUE_LENGTH (1u)
96 #define FTSK_DATA_QUEUE_ITEM_SIZE (sizeof(DATA_QUEUE_MESSAGE_s))
97 #define FTSK_IMD_QUEUE_LENGTH (5u)
98 #define FTSK_IMD_QUEUE_ITEM_SIZE (sizeof(CAN_BUFFERELEMENT_s))
99 #define FTSK_CAN_RX_QUEUE_LENGTH (50u)
100 #define FTSK_CAN_RX_QUEUE_ITEM_SIZE (sizeof(CAN_BUFFERELEMENT_s))
Assert macro implementation.
Headers for the configuration for the FRAM module.
Header of task driver implementation.
Task configuration header.
API header for the insulation monitoring device.
enum OS_BOOT_STATE OS_BOOT_STATE_e
enum of OS boot states
Headers for the configuration for the NXP PCA9539 port expander module.
static uint8_t ftsk_imdQueueStorageArea[FTSK_IMD_QUEUE_LENGTH *FTSK_IMD_QUEUE_ITEM_SIZE]
uint32_t os_schedulerStartTime
Scheduler "zero" time for task phase control.
#define FTSK_DATA_QUEUE_LENGTH
#define FTSK_CAN_RX_QUEUE_LENGTH
static StaticQueue_t ftsk_canRxQueueStructure
#define FTSK_DATA_QUEUE_ITEM_SIZE
static StaticQueue_t ftsk_imdQueueStructure
#define FTSK_IMD_QUEUE_ITEM_SIZE
volatile OS_TIMER_s os_timer
SBC_STATE_s sbc_stateMcuSupervisor
static uint8_t ftsk_canRxQueueStorageArea[FTSK_CAN_RX_QUEUE_LENGTH *FTSK_CAN_RX_QUEUE_ITEM_SIZE]
static uint8_t ftsk_dataQueueStorageArea[FTSK_DATA_QUEUE_LENGTH *FTSK_DATA_QUEUE_ITEM_SIZE]
#define FTSK_CAN_RX_QUEUE_ITEM_SIZE
volatile OS_BOOT_STATE_e os_boot
static StaticQueue_t ftsk_dataQueueStructure
#define FTSK_IMD_QUEUE_LENGTH