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.

• Type: Conference
• Year: 2005
• Where: FDL
• Authors: Hedia B. Ben, F. Jumel, Jean-Philippe Babau
• Keywords: FDL 2005, Precise Knowledge, Real-time Control Applications, Temporal Characteristics