- PICS_IUT_MA // Is the IUT an Misbehavior Authority
- PICS_RADIO_G5 // Radio layer is G5
- PICS_RADIO_LTE // Radio layer is LTE/5G
;
constant:
- PX_SUBJECT_PDU_INDEX // Number of invalid messages observations
- PX_IMPLAUSIBLE_POSITION_1 // Invalid position in CA message (e.g. wrong latitude)
- PICS_DETECTOR_CAM_SPEED // CAM Speed misbehavior detector is supported
;
// constant:
// - PX_SUBJECT_PDU_INDEX // Number of invalid messages observations
// - PX_IMPLAUSIBLE_POSITION_1 // Invalid position in CA message (e.g. wrong latitude)
// - TODO // PIXIT to be defined
// ;
entities:
- IUT // Implementation Under Test
- ITS_S // Onboard Unit
- RSU // Road Side Unit
- MA // Misbehavior Authority
- TEST_SYSTEM // Test System entity
- MBR_OBSERVATIONS_CLASS1
// A set of observations of class1 (Implausible values within the incoming message)
- MBR_OBSERVATIONS_CLASS2
// A set of observations of class2 (Inconsistencies of the incoming message with previous messages of the same type emitted from the same station)
- MBR_OBSERVATIONS_CLASS3
// A set of observations of class3 (Inconsistencies of the incoming message with the knowledge of the local environment of the ego vehicle)
- MBR_OBSERVATIONS_CLASS4
// A set of observations of class4 (Inconsistencies of the incoming message with the on-board sensors’ perception)
- MBR_OBSERVATIONS_CLASS5
// A set of observations of class5 (Inconsistencies of the incoming message with previous messages of other types from the same station or with messages (of the same type or not) emitted by other stations)
- AID_MBR // AID of MBR Service
- CERT_IUT_A_AT // Default IUT AT certificate
- CERT_MA // Defaut MA certificate
- CERT_MA_HASHEDID8
// Hashed Id 8 of the CERT_MA
- MBR_ENC_KEY // TODO
- MBR_GEN_TIME // The time the MBR messsage is generated
- MBR_GEN_LOC // The location of the OBU when the MBR messsage is generated
// - MBR_OBSERVATIONS_CLASS1
// // A set of observations of class1 (Implausible values within the incoming message)
// - MBR_OBSERVATIONS_CLASS2
// // A set of observations of class2 (Inconsistencies of the incoming message with previous messages of the same type emitted from the same station)
// - MBR_OBSERVATIONS_CLASS3
// // A set of observations of class3 (Inconsistencies of the incoming message with the knowledge of the local environment of the ego vehicle)
// - MBR_OBSERVATIONS_CLASS4
// // A set of observations of class4 (Inconsistencies of the incoming message with the on-board sensors’ perception)
// - MBR_OBSERVATIONS_CLASS5
// // A set of observations of class5 (Inconsistencies of the incoming message with previous messages of other types from the same station or with messages (of the same type or not) emitted by other stations)
// - AID_MBR // AID of MBR Service
// - CERT_IUT_A_AT // Default IUT AT certificate
// - CERT_MA // Defaut MA certificate
// - CERT_MA_HASHEDID8
// // Hashed Id 8 of the CERT_MA
// - MBR_ENC_KEY // TODO
// - MBR_GEN_TIME // The time the MBR messsage is generated
// - MBR_GEN_LOC // The location of the OBU when the MBR messsage is generated
