Commit 7e4082f0 authored by fischer's avatar fischer
Browse files

TCs added

parent 9b4e79aa
Loading
Loading
Loading
Loading
+40 −3
Original line number Original line Diff line number Diff line
@@ -10,17 +10,53 @@ module LibItsCam_Functions {
    // LibIts
    // LibIts
    import from LibIts_TestSystem all;
    import from LibIts_TestSystem all;
    import from LibIts_Interface all; 
    import from LibIts_Interface all; 
	import from LibItsCam_Templates all;
 
 group defaults {

    /**
     * @desc 	basic default behaviour handling
     * @remark	none
     * @param	none
     */    
	altstep a_basicDefault() runs on ItsFa {

        [] camPort.receive(mw_camInd ( mw_camMsg_any )){ 
			setverdict(fail, "**** a_basicDefault: CAM message received in default ****");
			stop;
		}
		[]camPort.receive {
			setverdict(fail, "**** a_basicDefault: event received on CAM port in default ****");
			stop;
		}
       [] any timer.timeout { 
			setverdict(fail, "**** a_basicDefault: atimer expired in default ****");
			stop;
		}
	}//end altstep a_basicDefault
     
     
     
 } // end of defaults  
 
 group preambles {
        
        
    /**
    /**
     * @desc 	Initialize the IUT
     * @desc 	Initialize the IUT
     * @remark	No specific actions specified in the base standard
     * @remark	No specific actions specified in the base standard
     * @param	none
     * @param	none
     */    
     */    
    function f_initialState() {
    function f_initialState() runs on ItsFa {
        
        // basic default altstep
        activate(a_basicDefault());
                  
                  
        //         
    } // end f_ptcCamUp
    } // end f_ptcCamUp
 
 
 } // end of preambles
    
group configuration {
    
    /**
    /**
     * @desc 	Create Facility component and map CAM port
     * @desc 	Create Facility component and map CAM port
     * @remark	Only used when ItsFa is a PTC
     * @remark	Only used when ItsFa is a PTC
@@ -58,4 +94,5 @@ module LibItsCam_Functions {
        
        
    } // end f_ptcCamDown
    } // end f_ptcCamDown
        
        
} // end of configuration
} // end LibItsCam_Functions
} // end LibItsCam_Functions
 No newline at end of file
+97 −3
Original line number Original line Diff line number Diff line
@@ -9,6 +9,7 @@ module LibItsCam_Templates {
    
    
	import from CAM_PDU_Descriptions language "ASN.1:1997" all;
	import from CAM_PDU_Descriptions language "ASN.1:1997" all;
    import from LibIts_Interface all;
    import from LibIts_Interface all;
	import from ASNAUX all; 
    
    
    
    
	template CamInd mw_camInd (in template CoopAwareness camMsg) := { msgIn := camMsg };
	template CamInd mw_camInd (in template CoopAwareness camMsg) := { msgIn := camMsg };
@@ -56,6 +57,99 @@ module LibItsCam_Templates {
                dangerousGoods := *
                dangerousGoods := *
            }
            }
        }
        }
    };
    
	template CoopAwareness mw_camMsg_basicIRS := {
		protocolVersion := 0,
		messageID := 0,
		generationTime := ?,
		stationId := ?,
		referencePosition := {
			longitude := ?,
			latitude := ?,
			elevation := ?,
			heading := omit,
			streetName := *,
			positionConfidence := omit,
			elevationConfidence := omit,
			roadSegmentID := *
		},
		stationCharacteristics := {false, false, false},
		profile := {basicIRS := NULL}
	};

	template CoopAwareness mw_camMsg_emergencyVehicle := {
		protocolVersion := 0,
		messageID := 0,
		generationTime := ?,
		stationId := ?,
		referencePosition := ?,
		stationCharacteristics := {true, false, true},
		profile := {
			emergencyVehicle := {
				vehicleType := ?,
				lightBarInUse := *,
				sireneInUse := *,
				emergencyResponseType := ?,
				stationLength := ?,
				stationLengthConfidence := *,
				stationWidth := ?,
				stationWidthConfidence := *,
				vehicleSpeed := ?,
				vehicleSpeedConfidence := ?,
				longAcceleration := ?,
				accelerationControl := ?,
				exteriorLights := ?,
				turnAdvice := *,
				distanceToStopLine := *,
				occupancy := *,
				doorOpen := *,
				posConfidenceEllipse := ?,
				curvature := ?,
				curvatureGradient := *,
				crashStatus := *,
				headingConfidence := ?,
				dangerousGoods := *
			}
			}
		}
	}
	
	template CoopAwareness mw_camMsg_publicTransportVehicle := {
		protocolVersion := 0,
		messageID := 0,
		generationTime := ?,
		stationId := ?,
		referencePosition := ?,
		stationCharacteristics := {true, false, true},
		profile := {
			publicTransportVehicle := {
				vehicleType := ?,
				publicVehicleType := ?,
				stationLength := ?,
				stationLengthConfidence := *,
				stationWidth := ?,
				stationWidthConfidence := *,
				vehicleSpeed := ?,
				vehicleSpeedConfidence := ?,
				longAcceleration := ?,
				accelerationControl := ?,
				exteriorLights := ?,
				pTLineDescription := *,
				turnAdvice := *,
				distanceToStopLine := *,
				occupancy := *,
				scheduleDeviation := *,
				trafficLightPriority := *,
				doorOpen := *,
				posConfidenceEllipse := ?,
				curvature := ?,
				curvatureGradient := *,
				crashStatus := *,
				headingConfidence := ?,
				dangerousGoods := *
			}
		}
	}
	
	 
	 
} // end LibItsCam_Templates
} // end LibItsCam_Templates
 No newline at end of file