Sciweavers

FDL
2005
IEEE

Formal Evaluation of Quality of Service for Data Acquisition

13 years 10 months ago
Formal Evaluation of Quality of Service for Data Acquisition
In the field of real-time control applications, validation relies on a precise knowledge of the temporal characteristics of the used data such as delays and loss rates. These data are provided by a dedicated software called the driver. Consequently, it is necessary to evaluate the impact of the driver on the QoS (Quality of Service) of the data. This work proposes a formal model of data drivers based on communicating timed automata and shows how parameters of the driver impact the provided QoS of data.
Hedia B. Ben, F. Jumel, Jean-Philippe Babau
Added 24 Jun 2010
Updated 24 Jun 2010
Type Conference
Year 2005
Where FDL
Authors Hedia B. Ben, F. Jumel, Jean-Philippe Babau
Comments (0)