LibItsSecurity_Templates.ttcn

                    wrongWayDriving                                 := ?,
                    rescueAndRecoveryWorkInProgress                 := ?,
                    adverseWeatherCondition_ExtremeWeatherCondition := ?,
                    adverseWeatherCondition_Visibility              := ?,
                    adverseWeatherCondition_Precipitation           := ?,
                    slowVehicle                                     := ?,
                    dangerousEndOfQueue                             := ?,
                    vehicleBreakdown                                := ?,
                    postCrash                                       := ?,
                    humanProblem                                    := ?,
                    stationaryVehicle                               := ?,
                    emergencyVehicleApproaching                     := ?,
                    hazardousLocation_DangerousCurve                := ?,
                    collisionRisk                                   := ?,
                    signalViolation                                 := ?,
                    dangerousSituation                              := ?,
                    reserved                                        := '00000000'B
                } // End of template mw_sspDENMContainer_dummy
                
                template (present) SspDENM mw_sspDENMContainer_vehicle
                modifies mw_sspDENMContainer_dummy := {
                    trafficCondition                                := '0'B,
                    accident                                        := '0'B,
                    roadworks                                       := '0'B,
                    adverseWeatherCondition_Adhesion                := '0'B,
                    hazardousLocation_SurfaceCondition              := '0'B,
                    hazardousLocation_ObstacleOnTheRoad             := '0'B,
                    hazardousLocation_AnimalOnTheRoad               := '0'B,
                    slowVehicle                                     := '0'B,
                    dangerousEndOfQueue                             := '0'B,
                    vehicleBreakdown                                := '0'B,
                    stationaryVehicle                               := '0'B
                } // End of template mw_sspDENMContainer_vehicle
                
                template (present) SspDENM mw_sspDENMContainer_roadSideUnit
                modifies mw_sspDENMContainer_dummy := {
                    trafficCondition                                := '0'B,
                    accident                                        := '0'B,
                    roadworks                                       := '0'B,
                    adverseWeatherCondition_Adhesion                := '0'B,
                    hazardousLocation_SurfaceCondition              := '0'B,
                    hazardousLocation_ObstacleOnTheRoad             := '0'B,
                    hazardousLocation_AnimalOnTheRoad               := '0'B,
                    humanPresenceOnTheRoad                          := '0'B,
                    wrongWayDriving                                 := '0'B,
                    rescueAndRecoveryWorkInProgress                 := '0'B,
                    adverseWeatherCondition_ExtremeWeatherCondition := '0'B,
                    adverseWeatherCondition_Visibility              := '0'B,
                    adverseWeatherCondition_Precipitation           := '0'B,
                    postCrash                                       := '0'B,
                    humanProblem                                    := '0'B,
                    stationaryVehicle                               := '0'B,
                    hazardousLocation_DangerousCurve                := '0'B,
                    collisionRisk                                   := '0'B,
                    dangerousSituation                              := '0'B
                } // End of template m_sspDENMContainer_roadSideUnit
                
            } // End of group sspDenmRecv
            
        } // End of group sspDenm
        
    } // End of group ssp

    group utPrimitives {
        
        template UtGnInitialize m_secGnInitialize(
                                                  in Oct8 p_hashedId8
        ) := {
            hashedId8 := p_hashedId8
        } // End of template m_secGnInitialize
        
    } // End of group utPrimitives
    
} // End of module LibItsSecurity_Templates