An Evaluation Mechanism for QoS Management in Wireless Systems

Bordbar, Behzad; Anane, Rachid; Okano, Kozo

doi:10.1109/icpads.2005.87

Cited by 5 publications

(5 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…UPPAAL toolset is successfully applied for formal verification of some real-time systems [14], [13], [16], [17], [18], and [15].…”

Section: Related Workmentioning

confidence: 99%

“…In [14], Behzad Bordbar et al describe the importance of verifying and validating a system model to ensure the QoS requirements and related issues. They evaluate the QoS of the wireless communication systems by conducting a case study of a PAN network.…”

Section: Related Workmentioning

confidence: 99%

“…There are several automatic verification and modelling tools [9], [10], [11] and [12], for verification of the realtime and hybrid systems [13], [14] and [15]. UPPAAL is an integrating tool environment for verification, modeling, and validation of real systems [9].…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Modeling and Analysis of Cooperative Packet Recovery Protocol

Naeem,

Atif,

Ali

et al. 2024

IEEE Access

View full text Add to dashboard Cite

Real-time audio/video transmission through Internet media is an important part of communication. Due to bandwidth limitations and a noisy environment, delivery of multimedia content to a remote location is not 100% guaranteed. These limitations are the basic cause of missing packets which affect the Quality of Service (QoS). A protocol for the recovery of lost packets is described in [Maxemchuk, Nicholas F., K. Padmanabhan, and S. Lo. "A cooperative packet recovery protocol for multicast video." Network Protocols, 1997. Proc. of 1997 International Conference on. IEEE]. This protocol claims significant improvement in QoS. We formally specify the protocol in a network of timed automata. By model-checking (A mathematical technique), we find that packet recovery is not always there. In this article, We report such scenarios of malfunctioning in the protocol when the size of multimedia contents is known (e.g., live video/audio broadcasting) and middle-level servers have different rates of data sending and receiving. We formulate the effect of inter-packet delay and transmission speed difference on a buffer.

show abstract

“…UPPAAL toolset is successfully applied for formal verification of some real-time systems [14], [13], [16], [17], [18], and [15].…”

Section: Related Workmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Modeling and Analysis of Cooperative Packet Recovery Protocol

Naeem,

Atif,

Ali

et al. 2024

IEEE Access

View full text Add to dashboard Cite

show abstract

“…These models are based on the timed automata as suggested by Bordbar et. al [3] [4].The interaction with the access point, which makes use of PCF, is modelled as state transition for PCF. At the start of a contention free period, the medium gets busy as in Fig 3.1, and this is shown with the signal access of state mode for PCF.…”

Section: Pcf State Modelling Of Wireless Lanmentioning

confidence: 99%

A Finite State Model for IEEE 802.11 Wireless LAN MAC DCF

Puthal

Sahoo

2008

2008 First International Conference on Emerging Trends in Engineering and Technology

View full text Add to dashboard Cite

show abstract

“…Dentre as ferramentas encontradas para fazer este tipo de tarefa, a UPPAAL foi escolhida pelos diversos estudos de casos de sucesso de modelagem de protocolos de comunicação já estabelecidos e amplamente utilizados comercialmente (Ravn et al, 2010b,a;Hessel e Pettersson, 2006;Bordbar et al, 2005;Bengtsson et al, 2002;Lindahl et al, 2001;David e Yi, 2000;Lindahl et al, 1998;Lönn e Pettersson, 1997;Havelund et al, 1997). Todos estes templates juntos formam o sistema que o simulador do programa executa.…”

Section: Validação Do Modelounclassified

Desenvolvimento de um mecanismo plug-and-play para o arranjo inteligente de sensores em sistemas aéreos não tripulados

Pires¹

View full text Add to dashboard Cite

ResumoO uso de aeronaves não tripuladas (VANTs) tem crescido substancialmente nos últimos anos, tanto no campo militar quanto no civil. Roadmaps preveem que em um futuro próximo essas aeronaves compartilhem o espaço aéreo com aeronaves convencionais, exigindo novas arquiteturas de sistemas embarcados que possam garantir uma operação coordenada e segura desses robôs. A maior parte das suas missões baseia-se fortemente em um conjunto de sensores transportados pela aeronave como parte da payload da missão. Contudo, não é trivial a integração de diferentes missões em diferentes aeronaves, visto que ainda não há uma padronização para a comunicação nesses robôs. Para possibilitar essa associação foi proposto neste trabalho a criação de um middleware. Para que se pudesse entender sobre a área de conhecimento dos VANTs realizou-se uma pesquisa sobre esses veículos e suas aplicações e então um protocolo chamado Smart Sensor Protocol (SSP) foi modelado, utilizando-se de técnicas formais para isso. O comportamento do protocolo está modelado com diagrama de estados, seguindo uma gramática escrita utilizando a forma BNF. Este modelo foi verificado com a ferramenta UPPAAL e sua implementação testada em placas Arduino. Os resultados dos testes mostraram que o modelo é viável para o ambiente de embarcados críticos visto que ele provê as funcionalidades necessárias neste cenário sem acrescentar um overhead na comunicação.i Abstract U NMANNED Aerial Vehicles applications have grown substantially in recent years, both in military and civil fields. Roadmaps predict that in the near future these aircrafts will share the airspace with the conventional planes, requiring new architectures for embedded systems which may ensure a coordinated and safe operation. Most of its tasks are mainly based on a set of sensors carried by the aircraft as part of its payload. However, it is not trivial to integrate different missions in different aircraft plataforms, since there is no standardization for communication in such robots yet. To enable this type of association it was proposed in this master's project the designing of a middleware. It has been carried out a bibliographic review to find out the state-of-the-art in such field, including the specific applications in UAVs, and then a protocol has been modeled following formal techniques. This protocol is called Smart Sensor Protocol (SSP). The SSP's behavior was modeled through state diagrams according to a grammar described using BNF form. This model was verified with the UPPAAL tool and its implementation was run and tested on Arduino boards. The test results pointed out that the model is feasible for critical embedded environments since it provides the necessary functionality in this scenario without addition of an overhead in its communication.iii

show abstract

An Evaluation Mechanism for QoS Management in Wireless Systems

Abstract: Abstract

Cited by 5 publications

References 10 publications

Modeling and Analysis of Cooperative Packet Recovery Protocol

Modeling and Analysis of Cooperative Packet Recovery Protocol

A Finite State Model for IEEE 802.11 Wireless LAN MAC DCF

Desenvolvimento de um mecanismo plug-and-play para o arranjo inteligente de sensores em sistemas aéreos não tripulados

Contact Info

Product

Resources

About