fix documentation issues

EXPORTS ALL;

/**

 * @brief This data type is defined as NULL for this version of the standard.

 * This data type is defined as NULL for this version of the standard.

 */

AsrAppAgnostic ::= NULL

;

/**

 * @brief This data type is for reporting CAM issues.

 * This data type is for reporting CAM issues.

 */

AsrCam ::= TemplateAsr {{SetMbObsTgtsCam}, {SetMbEvCam}}

/**

 * @brief This is a complete set of observations for CAM. Application-specific

 * This is a complete set of observations for CAM. Application-specific

 * trigger conditions and other relevant information are specified below.

 *

 * @param SetMbObsCamBeacon:

 * - _SetMbObsCamBeacon_:

 *   - `Beacon-IntervalTooSmall`: The difference between the generation 

 * time of two consecutive CAMs is less than 80% of the value specified in TS

 * 103 900 v2.0.0 section 6.1.3. The difference is calculated as the difference 

 * the value in the second for purposes of determining the difference between 

 * the two generationDeltaTime values.  

 *

 * @param SetMbObsCamStatic:

 * - _SetMbObsCamStatic_:

 *   - `Static-Change`: Any change in the values of one or more of the 

 * following fields: performanceClass, specialTransportType, stationType, 

 * vehicleLength, vehicleRole, vehicleWidth.

 * vehicleWidth(5).

 * 

 *

 * @param SetMbObsCamSecurity:

 * - _SetMbObsCamSecurity_:

 *   - `Security-MessageIdIncWithHeaderInfo`: The messageID is inconsistent

 * with the security headerInfo, e.g., messageId = cam(2) but psid in the 

 * security headerInfo is not equal to 36, the PSID value of CAM.

 * generationLocation in the security headerInfo is outside the region in the 

 * certificate.

 *

 * @param SetMbObsEtsiOnlyPosition:

 * - _SetMbObsEtsiOnlyPosition_:

 *   - `Position-ChangeTooLarge`: The speed calculated from the change in 

 * referencePosition of two consecutive CAMs meets the trigger conditions of 

 * Speed-ValueTooLarge-VehicleType.

 *

 * @param SetMbObsEtsiOnlySpeed:

 * - _SetMbObsEtsiOnlySpeed_:

 *   - `Speed-ValueTooLarge-VehicleType`: The trigger conditions depend on

 * the stationType as follows:

 *

 * backward (1) and the speedValue is greater than 3,000. (Usually, backward 

 * drives are far less than 50m long, and with maximum possible acceleration of 

 * 9 m/s^2 (see trigger conditions for LongAcc-ValueTooLarge), max attainable 

 * speed is sqrt(2*9*50) m/s, i.e., 3,000 cm/s.)

 * speed is $\sqrt{2*9*50}$ m/s, i.e., 3,000 cm/s.)

 *

 *   - `Speed-ChangeTooLarge`: The acceleration calculated from the change 

 * in speedValue of two consecutive CAMs meets the trigger conditions of 

 * LongAcc-ValueTooLarge.

 *

 * @param SetMbObsEtsiOnlyLongAcc:

 * - _SetMbObsEtsiOnlyLongAcc_:

 *   - `LongAcc-ValueTooLarge`: The longitudinalAcceleration is greater 

 * than 90 dm/s^2. (Typical \mu (coefficient of friction between asphalt and 

 * than 90 dm/s^2. (Typical $\mu$ (coefficient of friction between asphalt and 

 * rubber) is 0.9, so maximum possible acceleration is 0.9*9.8 m/s^2, i.e., 

 * 88.2 dm/s^2.)

 */

}

/**

 * @brief This data type defines the IOS for CAM Evidence.

 * This data type defines the IOS for CAM Evidence.

 */

SetMbEvCam C-ASR-EV ::= {

  ...

EXPORTS ALL;

/**

 * @brief This data type is defined as NULL for version 0 of this file.

 * This data type is defined as NULL for version 0 of this file.

 */

AsrDenm ::= NULL

;

/**

 * @brief This data type contains the template for a report on any ITS PDU. 

 * This data type contains the template for a report on any ITS PDU. 

 *

 * @param observations: identifies which detectors were triggered and why. It 

 * can include cross-references to the PDUs and evidence fields. The 

 * observations that use other evidence (for example, if the report is simply 

 * that a speed value is implausibly high for any land vehicle, or that two 

 * V2X PDUs appear to show two different senders in the same physical 

 * space) then this field can be length 0. The evidence is drawn from a 

 * space) then this field can be length `0`. The evidence is drawn from a 

 * supplied application-specific evidence Information Object Set.

 */

TemplateAsr {

}

/**

 * @brief This data type contains all of the observations related to a 

 * This data type contains all of the observations related to a 

 * particular "target" property, e.g., speed or security.

 *

 * @param tgtId: identifies the "target" of the observation, e.g., speed. This 

  SEQUENCE (SIZE(1..MAX)) OF ObservationsByTarget {{ SetAsrObsByTgt }}

/**

 * @brief This is the Information Object Class used to define observations-

 * -by-target.

 * This is the Information Object Class used to define observations-by-target.

 */

C-ASR-OBS-BY-TGT ::= C-2ENT

/**

 * @brief This data type contains a single misbehaviour observation.

 * This data type contains a single misbehaviour observation.

 *

 * @param obsId: identifies the observation within the set of observations

 * for that target, e.g., target = speed, observation = "speed higher than 

}

/**

 * @brief This is the Information Object Class used to define single

 * observations.

 * This is the Information Object Class used to define single observations.

 */

C-ASR-SINGLE-OBS ::= C-2ENT 

/**

 * @brief This data type contains PDU stream from a single sender.

 * This data type contains PDU stream from a single sender.

 *

 * @param id: identifies the type of the PDU, meaning in this case 

 * what protocol headers are included from the stack.

 * not explicitly included in one of the PDUs. For ETSI PDUs (i.e., PDUs with

 * the psid field in the security headerInfo equal to an ITS-AID assigned to

 * ETSI as per ETSI TS 102 965) the certificate shall be of type 

 * EtsiTs103097Certificate as specified in ETSI TS 103 097. (There is no need

 * `EtsiTs103097Certificate` as specified in ETSI TS 103 097. (There is no need

 * to include the entire certificate chain from the ITS station up to the Root

 * CA, just the ITS station certificate is enough, as the MA is expected to

 * have the rest of the certificates in the chain.) Note that if the sender

 * certificate changes, PDUs signed by the new certificate and included in

 * this report will be in a separate V2xPduStream instance within the

 * v2xPduEvidence field of the TemplateAsr.

 * `v2xPduEvidence` field of the @ref TemplateAsr.

 *

 * @param subjectPduIndex: identifies which PDU within the v2xPdus sequence 

 * @param subjectPduIndex: identifies which PDU within the `v2xPdus` sequence 

 * is the "subject PDU", i.e., the PDU associated with the observations.

 */

V2xPduStream ::= SEQUENCE {

}

/**

 * @brief This is the Information Object Class used to define different types

 * of observed PDUs.

 * This is the Information Object Class used to define different types of observed PDUs.

 */

C-OBS-PDU ::= C-2ENT

/**

 * @brief This data type contains the IOS for the observed PDU. 

 * This data type contains the IOS for the observed PDU. 

 */

SetObsPdu C-OBS-PDU ::= {

  {ObsPduEtsiGn     BY c-ObsPdu-etsiGn} |

}

/**

 * @brief This data type contains the identifier of the type of observed PDU. 

 * This data type contains the identifier of the type of observed PDU. 

 *

 * @param c-ObsPdu-etsiGn: is the identifier for ETSI GeoNetworking.

 *

c-ObsPdu-ieee1609Dot2Data  IdObsPdu ::= 2

/**

 * @brief ObsPduEtsiGn shall contain an encoded ETSI geonetworking PDU 

 * ObsPduEtsiGn shall contain an encoded ETSI geonetworking PDU 

 * according to ETSI TS 103 836-4-1, at GeoNetworking level, i.e. without 

 * Access Layer header.

 */

ObsPduEtsiGn ::= Opaque

/**

 * @brief This data type contains evidence, which may be referenced by one or

 * more observations.

 * This data type contains evidence, which may be referenced by one or more observations.

 *

 * @param id: identifies the evidence type.

 *

  SEQUENCE (SIZE(0..MAX)) OF NonV2xPduEvidenceItem {{ NonV2xPduEvidenceSet }}

/**

 * @brief This is the Information Object Class used to define evidence.

 * This is the Information Object Class used to define evidence.

 *

 * @note No instances of this class are defined in this version of this document.

 */

C-ASR-EV ::= C-2ENT 

/**

 * @brief This structures uses single-byte IDs. If we run out of ID space 

 * This structures uses single-byte IDs. If we run out of ID space 

 * in future, the Val type associated with ID 255 can also be structured 

 * hierarchically to extend the space.

 */