Sciweavers

FDL
2005
IEEE

Formal Evaluation of Quality of Service for Data Acquisition

14 years 1 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)