Commit 0f4d5c11 authored by kumarvirend's avatar kumarvirend
Browse files

Updated documentation to have a blanket statement about trigger conditions and evidences.

parent 1bd5d3a7
Loading
Loading
Loading
Loading
Loading
+21 −29
Original line number Diff line number Diff line
@@ -21,7 +21,12 @@ WITH SUCCESSORS
;

/**
 * @brief Identifier type for observations: synonym for Uint8
 * @brief This is the identifier for an observation within a target property,
 * e.g., speed or security, so the values need to be unique within the target.
 * The values of v2xPduEvidence and nonV2xPduEvidence fields of TemplateAsr
 * are observation-specific, so they are specified for each of the observations
 * below. The trigger conditions are application-specific, so they are
 * specified in AID-specific report modules, such as EtsiTs103759AsrCam.
 */
IdMbObs ::= Uint8

@@ -32,8 +37,7 @@ IdMbObs ::= Uint8
/**
 * @brief This data type is provided for an observation of beacon interval
 * that is too small. This doesn't apply to repeated PDUs, but only to two 
 * distinct PDUs. The trigger conditions are provided in the 
 * application-specific files. 
 * distinct PDUs. 
 *   - `v2xPduEvidence`: The v2xPduEvidence field must contain at least 
 * one entry. The observation applies to the first entry. The subjectPduIndex 
 * in that V2xPduStream points to the PDU whose interval since the previous 
@@ -62,8 +66,8 @@ obs-Beacon-IntervalTooSmall C-ASR-SINGLE-OBS ::=

/**
 * @brief This data type is provided for an observation of change in static 
 * fields. The semantics of the BIT STRING and trigger conditions are provided
 * in the application-specific files.
 * fields. The semantics of the BIT STRING are provided in the 
 * application-specific files.
 *   - `v2xPduEvidence`: The v2xPduEvidence field must contain at least 
 * one entry. The observation applies to the first entry. The subjectPduIndex 
 * in that V2xPduStream points to the PDU whose one or more static fields 
@@ -92,8 +96,7 @@ obs-Static-Change C-ASR-SINGLE-OBS ::=

/**
 * @brief This data type is provided for an observation, where the messageID
 * is inconsistent with the psid in the security headerInfo. The trigger 
 * conditions are provided in the application-specific files.
 * is inconsistent with the psid in the security headerInfo.
 *   - `v2xPduEvidence`: The v2xPduEvidence field must contain at least 
 * one entry. The observation applies to the first entry. The subjectPduIndex
 * in that V2xPduStream points to the PDU for which the messageID is being 
@@ -110,8 +113,7 @@ Security-MessageIdIncWithHeaderInfo ::= NULL

/**
 * @brief This data type is provided for an observation, where the security 
 * headerInfo is inconsistent with the security profile for that psid. The 
 * trigger conditions are provided in the application-specific files.
 * headerInfo is inconsistent with the security profile for that psid. 
 *   - `v2xPduEvidence`: The v2xPduEvidence field must contain at least 
 * one entry. The observation applies to the first entry. The subjectPduIndex
 * in that V2xPduStream points to the PDU for which the security headerInfo 
@@ -128,8 +130,7 @@ Security-HeaderIncWithSecurityProfile ::= NULL

/**
 * @brief This data type is provided for an observation, where the psid in the
 * security headerInfo is inconsistent with the psid in the certificate. The 
 * trigger conditions are provided in the application-specific files.
 * security headerInfo is inconsistent with the psid in the certificate. 
 *   - `v2xPduEvidence`: The v2xPduEvidence field must contain at least 
 * one entry. The observation applies to the first entry. The subjectPduIndex 
 * in that V2xPduStream points to the PDU for which the psid in the security 
@@ -146,8 +147,7 @@ Security-HeaderPsidIncWithCertificate ::= NULL

/**
 * @brief This data type is provided for an observation, where the message is
 * is inconsistent with the SSP in the certificate. The trigger conditions are 
 * provided in the application-specific files.
 * is inconsistent with the SSP in the certificate. 
 *   - `v2xPduEvidence`: The v2xPduEvidence field must contain at least 
 * one entry. The observation applies to the first entry. The subjectPduIndex 
 * in that V2xPduStream points to the PDU whose content is being flagged as 
@@ -165,8 +165,7 @@ Security-MessageIncWithSsp ::= NULL
/**
 * @brief This data type is provided for an observation, where the 
 * generationTime in the security headerInfo is outside the validity period of 
 * the certificate. The trigger conditions are provided in the 
 * application-specific files.
 * the certificate. 
 *   - `v2xPduEvidence`: The v2xPduEvidence field must contain at least 
 * one entry. The observation applies to the first entry. The subjectPduIndex 
 * in that V2xPduStream points to the PDU for which the generationTime in the 
@@ -183,8 +182,7 @@ Security-HeaderTimeOutsideCertificateValidity ::= NULL

/**
 * @brief This data type is provided for an observation, where the location
 * in the message is outside the validity region in the certificate. The 
 * trigger conditions are provided in the application-specific files.
 * in the message is outside the validity region in the certificate. 
 *   - `v2xPduEvidence`: The v2xPduEvidence field must contain at least 
 * one entry. The observation applies to the first entry. The subjectPduIndex
 * in that V2xPduStream points to the PDU for which the location in the PDU is
@@ -202,8 +200,7 @@ Security-MessageLocationOutsideCertificateValidity ::= NULL
/**
 * @brief This data type is provided for an observation, where the 
 * generationLocation in the security headerInfo is outside the validity region
 * in the certificate. The trigger conditions are provided in the 
 * application-specific files.
 * in the certificate. 
 *   - `v2xPduEvidence`: The v2xPduEvidence field must contain at least 
 * one entry. The observation applies to the first entry. The subjectPduIndex 
 * in that V2xPduStream points to the PDU for which the generationLocation in
@@ -270,8 +267,7 @@ obs-Security-HeaderLocationOutsideCertificateValidity

/**
 * @brief This data type is provided for an observation of change in position 
 * that is too large. The trigger conditions are provided in the 
 * application-specific files.
 * that is too large. 
 *   - `v2xPduEvidence`: The v2xPduEvidence field must contain at least 
 * one entry. The observation applies to the first entry. The subjectPduIndex 
 * in that V2xPduStream points to the PDU whose position is being flagged as 
@@ -302,8 +298,7 @@ obs-Position-ChangeTooLarge C-ASR-SINGLE-OBS ::= {

/**
 * @brief This data type is provided for an observation of speed too large
 * for a given vehicle type. The trigger conditions are provided in the
 * application-specific files.
 * for a given vehicle type. 
 *   - `v2xPduEvidence`: The v2xPduEvidence field must contain at least 
 * one entry. The observation applies to the first entry. The subjectPduIndex 
 * in that V2xPduStream points to the PDU whose speed is being flagged as too 
@@ -319,8 +314,7 @@ Speed-ValueTooLarge-VehicleType ::= NULL

/**
 * @brief This data type is provided for an observation of speed too large
 * for the reverse drive direction. The trigger conditions are provided in
 * the application-specific files.
 * for the reverse drive direction. 
 *   - `v2xPduEvidence`: The v2xPduEvidence field must contain at least 
 * one entry. The observation applies to the first entry. The subjectPduIndex 
 * in that V2xPduStream points to the PDU whose speed is being flagged as too 
@@ -336,8 +330,7 @@ Speed-ValueTooLarge-DriveDirectionReverse ::= NULL

/**
 * @brief This data type is provided for an observation of change in speed 
 * that is too large. The trigger conditions are provided in the 
 * application-specific files.
 * that is too large. 
 *   - `v2xPduEvidence`: The v2xPduEvidence field must contain at least 
 * one entry. The observation applies to the first entry. The subjectPduIndex
 * in that V2xPduStream points to the PDU whose speed is being flagged as 
@@ -378,8 +371,7 @@ obs-Speed-ChangeTooLarge C-ASR-SINGLE-OBS ::= {

/**
 * @brief This data type is provided for an observation of longitudinal
 * acceleration that is too large. The trigger conditions are provided in the 
 * application-specific files.
 * acceleration that is too large. 
 *   - `v2xPduEvidence`: The v2xPduEvidence field must contain at least 
 * one entry. The observation applies to the first entry. The subjectPduIndex 
 * in that V2xPduStream points to the PDU whose longitudinal acceleration is