Verifying Reliable Data Transmission over UMTS Radio Interface with High Level Petri Nets

Tynjälä, Teemu; Leppänen, Sari; Luukkala, Vesa

doi:10.1007/3-540-36135-9_12

Cited by 2 publications

(2 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Therefore, SDU discard schemes are defined in order to prevent the delay required for recovering an SDU from reaching infinity. The defined schemes are timer-based discard and number-of-retransmissions-based discard [16], the latter of which is used in the present research [17,18]. In addition, 3GPP specifies a method for preserving the order of packet delivery [19].…”

Section: W-cdmamentioning

confidence: 99%

Receiver-Based Flow Control Mechanism with Interlayer Collaboration for Real-Time Communication Quality in W-CDMA Networks

Koga

Iida

Oie

2004

Personal Wireless Communications

View full text Add to dashboard Cite

Abstract. Mobile networks are becoming increasingly prevalent, and this has led to an increase in the bandwidth available over wireless links in IMT-2000. Both non-real-time forms of communication, such as email and web browsing, and real-time forms of communication, such as audio and video applications, are well suited to wireless networks. However, wireless networks are subject to relatively long transmission delays because of the need to recover lost packets caused by high bit error rates. This degrades the quality of real-time communications. Therefore, in the present paper, we propose a receiver-based flow control mechanism employing an interlayer collaboration concept to improve the quality of real-time communications without adversely affecting the performance of non-real-time communications on IMT-2000 networks. In addition, simulations are performed in order to evaluate the performance of the proposed mechanism and demonstrate its effectiveness.

show abstract

Section: W-cdmamentioning

confidence: 99%

Receiver-Based Flow Control Mechanism with Interlayer Collaboration for Real-Time Communication Quality in W-CDMA Networks

Koga

Iida

Oie

2004

Personal Wireless Communications

View full text Add to dashboard Cite

show abstract

“…In that project, several Maria models of the SDL specification of the protocol were manually constructed. Due to carefully selected abstractions, certain fundamental positive analysis results were eventually obtained [18,19]. One of the lessons learnt in the project was that manual modeling and abstraction is is extremely error-prone, whereas even a single mistake can cause false positive or false negative analysis results.…”

Section: Analysis Of Sdl Using Mariamentioning

confidence: 99%

Automatic Formal Model Generation and Analysis of SDL

Aalto¹,

Husberg²,

Varpaaniemi³

2003

SDL 2003: System Design

View full text Add to dashboard Cite

Abstract.A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which is analyzed using the Maria reachability analyzer. Compared to manual design of a formal model for the system this saves a lot of time and greatly reduces the human mistakes in creating the model. The design process is also considerably more efficient because it is possible to check that the system is correct at a very early stage. Methods to reduce the complexity of the analysis both at the modeling and at the analysis level are discussed.

show abstract

Verifying Reliable Data Transmission over UMTS Radio Interface with High Level Petri Nets

Cited by 2 publications

References 3 publications

Receiver-Based Flow Control Mechanism with Interlayer Collaboration for Real-Time Communication Quality in W-CDMA Networks

Receiver-Based Flow Control Mechanism with Interlayer Collaboration for Real-Time Communication Quality in W-CDMA Networks

Automatic Formal Model Generation and Analysis of SDL

Contact Info

Product

Resources

About