Group SUPL_Messages

Details

template ULP_PDU r_ulpMessage := {
    length_ := ?,
    version := mw_Version2, 
    sessionID := ?,
    message_ := ?
}

template ULP_PDU r_ulpPdu(template UlpMessage p_ulpMessage) modifies r_ulpMessage := {
    message_ := p_ulpMessage
}

• p_ulpMessage -

template ULP_PDU r_ulpPduV1(template UlpMessage p_ulpMessage) modifies r_ulpPdu := {
version := mw_Version1 
}

• p_ulpMessage -

template ULP_PDU r_ulpPduWithSessionID(template SessionID p_sessionID) modifies r_ulpMessage := {
    sessionID := p_sessionID
}

• p_sessionID -

template UlpMessage r_suplStart := {
    msSUPLSTART := {
        sETCapabilities := ?,
        locationId := ?,
        qoP := *,
        ver2_SUPL_START_extension := *
    }
}

template UlpMessage r_suplPosInit := {
    msSUPLPOSINIT := {
        sETCapabilities := ?,
        requestedAssistData := *,
        locationId := ?,
        position := *,
        sUPLPOS := *,
        ver := *,
        ver2_SUPL_POS_INIT_extension := *
    }
}

template UlpMessage r_suplAuthReq := {
    msSUPLAUTHREQ := {
        ver := *,
        sETCapabilities := *
    }
}

template UlpMessage r_suplEnd := {
    msSUPLEND := {
        position := *,
        statusCode := *,
        ver := *,
        ver2_SUPL_END_extension := *
    }
}

template UlpMessage r_suplEnd_sessionStopped := {
msSUPLEND := {
position := *,
statusCode := ver2_sessionStopped,
ver := *,
ver2_SUPL_END_extension := *
 }
}

template UlpMessage r_suplPos := {
msSUPLPOS := {
posPayLoad := ?,
velocity := *,
ver2_SUPL_POS_extension := *
}
}

template SessionID t_r_sessionId(template SetSessionID p_setSessionId,template SlpSessionID p_slpSessionId):= {
setSessionID := p_setSessionId,
slpSessionID := p_slpSessionId
}

• p_setSessionId -
• p_slpSessionId -

template UlpMessage t_r_ulpSuplStart(template SETCapabilities p_setCaps) modifies r_suplStart := {
msSUPLSTART := {
sETCapabilities := p_setCaps
}
}

• p_setCaps -

template ULP_PDU
t_r_ulpSuplPosInitV1(template SessionID p_sessionId,
 template SETCapabilities p_setCaps,
 template Ver p_ver,
 template RequestedAssistData p_reqAssData)
modifies t_r_ulpSuplPosInit := {
version := m_Version1
}

• p_sessionId -
• p_setCaps -
• p_ver -
• p_reqAssData -

template ULP_PDU t_r_ulpSuplPosInit(template SessionID p_sessionId, template SETCapabilities p_setCaps, template Ver p_ver, template RequestedAssistData p_reqAssData) modifies r_ulpPdu(r_suplPosInit) := {
    sessionID := p_sessionId,
    message_ := {
        msSUPLPOSINIT := {
            sETCapabilities := p_setCaps,
            requestedAssistData := p_reqAssData,
            ver := p_ver
        }
    }
}

• p_sessionId -
• p_setCaps -
• p_ver -
• p_reqAssData -

template ULP_PDU t_r_ulpSuplEnd(template SessionID p_sessionId, template StatusCode p_statusCode, template Ver p_ver) modifies r_ulpPdu(r_suplEnd) := {
    sessionID := p_sessionId,
    message_ := {
        msSUPLEND := { 
            statusCode := p_statusCode,
            ver := p_ver
        }
    }
}

• p_sessionId -
• p_statusCode -
• p_ver -

template PosTechnology
t_r_posTech(template boolean p_agpsSETassisted,
            template boolean p_agpsSETBased,
            template boolean p_autonomousGPS,
            template boolean p_aFLT, template boolean p_eCID,
            template boolean p_eOTD, template boolean p_oTDOA)
:= {
    agpsSETassisted := p_agpsSETassisted,
    agpsSETBased := p_agpsSETBased,
    autonomousGPS := p_autonomousGPS,
    aFLT := p_aFLT,
    eCID := p_eCID,
    eOTD := p_eOTD,
    oTDOA := p_oTDOA,
    ver2_PosTechnology_extension := *
}

• p_agpsSETassisted -
• p_agpsSETBased -
• p_autonomousGPS -
• p_aFLT -
• p_eCID -
• p_eOTD -
• p_oTDOA -

template SETCapabilities
t_r_setCaps(template PosTechnology p_posTech,
            template PrefMethod p_prefMethod,
            template PosProtocol p_posProtocol) := {
    posTechnology := p_posTech,
    prefMethod := p_prefMethod,
    posProtocol := p_posProtocol,
    ver2_SETCapabilities_extension := *
}

• p_posTech -
• p_prefMethod -
• p_posProtocol -

template UlpMessage t_r_ulpSuplNotiRep(template NotificationResponse p_notificationResponse) := {
msSUPLNOTIFYRESPONSE := {
notificationResponse := p_notificationResponse
}
}

• p_notificationResponse -

template ULP_PDU s_ulpPdu(template SessionID p_sessionId, template UlpMessage p_suplMessage) := {
    length_ := 0,
    version := m_Version, 
    sessionID := p_sessionId,
    message_ := p_suplMessage
}

• p_sessionId -
• p_suplMessage -

template ULP_PDU s_ulpSuplEnd(template SessionID p_sessionId, template StatusCode p_statuscode) := s_ulpPdu(p_sessionId, s_suplEndWithCode(p_statuscode));

• p_sessionId -
• p_statuscode -

template ULP_PDU s_ulpSuplInit(template SessionID p_sessionId, template UlpMessage p_suplInit) modifies s_ulpPdu(p_sessionId, p_suplInit) := {
sessionID := {
setSessionID := omit,
slpSessionID := p_sessionId.slpSessionID
}
}

• p_sessionId -
• p_suplInit -

template UlpMessage
s_suplInitBase(template PosMethod p_posMethod,
               template Notification p_notification,
               template SLPAddress p_slpAddress,
               template SLPMode p_slpMode) := {
    msSUPLINIT := {
        posMethod := p_posMethod,
        notification := p_notification,
        sLPAddress := p_slpAddress,
        qoP := omit,
        sLPMode := p_slpMode,
        mAC := omit,
        keyIdentity := omit,
        ver2_SUPL_INIT_extension := omit
    }
}

• p_posMethod -
• p_notification -
• p_slpAddress -
• p_slpMode -

template UlpMessage s_suplInit(template PosMethod p_posMethod, template SLPMode p_slpMode, template SLPAddress p_slpAddress) := s_suplInitBase(p_posMethod,omit,p_slpAddress,p_slpMode);

• p_posMethod -
• p_slpMode -
• p_slpAddress -

template UlpMessage
s_suplResponse(template (value) PosMethod p_posMethod,
               template SLPAddress p_slpAdress,
               template SETAuthKey p_setAuthKey,
               template Bit128 p_keyId4) := {
    msSUPLRESPONSE := {
        posMethod := p_posMethod,
        sLPAddress := p_slpAdress,
        sETAuthKey := p_setAuthKey,
        keyIdentity4 := p_keyId4, 
        ver2_SUPL_RESPONSE_extension := omit
    }
}

• p_posMethod -
• p_slpAdress -
• p_setAuthKey -
• p_keyId4 -

template UlpMessage s_suplEnd := {
    msSUPLEND := {
        position := omit,
        statusCode := omit,
        ver := omit,
        ver2_SUPL_END_extension := omit
    }
}

template UlpMessage
s_suplEndWithCode(template StatusCode p_statuscode) := {
    msSUPLEND := {
        position := omit,
        statusCode := p_statuscode,
        ver := omit,
        ver2_SUPL_END_extension := omit
    }
}

• p_statuscode -

template UlpMessage s_suplEndWithPosData := {
    msSUPLEND := {
        position := {
            timestamp := "20030912213206",
            positionEstimate := {
                latitudeSign := SUPLTypes.north,
                latitude := 3324374,
                longitude := 6512822,
                uncertainty := {
                    uncertaintySemiMajor := 8,
                    uncertaintySemiMinor := 7,
                    orientationMajorAxis := 18
                },
                confidence := 20,
                altitudeInfo := {
                    altitudeDirection := SUPLTypes.height,
                    altitude := 50,
                    altUncertainty := 5
                }
            },
            velocity := omit
        },
        statusCode := omit,
        ver := omit,
        ver2_SUPL_END_extension := omit
    }
}

template UlpMessage s_suplPosRrlp(octetstring p_rrlp) := {
    msSUPLPOS := {
        posPayLoad := {rrlpPayload := p_rrlp},
        velocity := omit,
        ver2_SUPL_POS_extension := omit
    }
}

• p_rrlp -

template UlpMessage s_suplPosIs801(octetstring p_is801) := {
msSUPLPOS := {
posPayLoad := {tia801payload := p_is801},
velocity := omit,
ver2_SUPL_POS_extension := omit
}
}

• p_is801 -

template SessionID t_s_emptySessionId := {
    setSessionID := omit,
    slpSessionID := omit
}

template SetSessionID t_s_complementSetSessionId(integer p_id) := {
    sessionId := complement(p_id),
    setId := ?
}

• p_id -

template Notification t_s_notification(NotificationType p_type, template EncodingType p_encodingType, template octetstring p_requestorId, template FormatIndicator p_requestorIdType, template octetstring p_clientName, template FormatIndicator p_clientNameType) := {
notificationType := p_type,
encodingType := p_encodingType,
requestorId := p_requestorId,
requestorIdType := p_requestorIdType,
clientName := p_clientName,
clientNameType := p_clientNameType
}

• p_type -
• p_encodingType -
• p_requestorId -
• p_requestorIdType -
• p_clientName -
• p_clientNameType -

template Notification t_s_notificationTypeOnly(NotificationType p_type) := {
notificationType := p_type,
encodingType := omit,
requestorId := omit,
requestorIdType := omit,
clientName := omit,
clientNameType := omit
}

• p_type -

template SetSessionID t_s_plausibleSetSessionId := {
sessionId := 1234,
setId := {
imsi := '0102030405060708'O
}
}

template RequestedAssistData allAssistDataTrue := {
    almanacRequested := true,
    utcModelRequested := true,
    ionosphericModelRequested := true,
    dgpsCorrectionsRequested := true,
    referenceLocationRequested := true,
    referenceTimeRequested := true,
    acquisitionAssistanceRequested := true,
    realTimeIntegrityRequested := true,
    navigationModelRequested := true,
    navigationModelData := omit,
    ver2_RequestedAssistData_extension := omit
}