Belgacem Ben Hedia, Fabrice Jumel, Jean-Philippe Babau  Home/Search
Context
Related
| jumel.org/pdf/benh...melbabau_FDL05.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: jumel.org/html/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: 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 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... (Update)
Active bibliography (related documents): More All
0.5: Model Checking a Cache Coherence Protocol for a Java.. - W, Fokkink, Hofman.. (Correct)
0.5: Applications of Model Checking at Honeywell Laboratories - Cofer, Engstrom.. (Correct)
0.3: Analysing the BKE-security protocol with μCRL - Groote, Mauw, Serebrenik (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ hedia-formal,
author = "Belgacem Ben Hedia and Fabrice Jumel and Jean-Philippe Babau",
title = "Formal evaluation of Quality of Service for data acquisition systems",
url = "citeseer.ist.psu.edu/747114.html" }
Citations (may not include all citations):1582 Scheduling algorithms for multiprogramming in a hard real ti.. - Liu, Layland - 1973
194 Applying new scheduling theory to static priority pre-emptiv.. - Audsley, Burns et al. - 1993
130 SPNP: Stochastic Petri Net Package - Ciardo, Muppala - 1989
42 UPPAAL in a Nutshell - Larsen, Pettersson et al. - 1998
42 CADP A Protocol Validation and Verification Toolbox - Fernandez, Garavel et al. - 1996
9 Information Technology---Portable Operating System Interface (context) - IEC, IEEE et al. - 1996
9 Overload Management in Real-Time Control Applications Using .. - Ramanathan - 1999
8 A comparison of Windows driver model latency performance on .. - Robles, Held - 1999
4 Timing analysis of compound scheduling policies : Applicatio.. - Migge, Jean-Marie et al. - 2003
3 A tool architecture for the next generation of uppaal - David, Behrmann et al. - 2003
2 Modeling and Verification of Real-Time Software Using Extend.. (context) - Vestal - 2000
2 Refinement and verification applied to an in-flight data acq.. - Fokkink, Ioustinova et al. - 2002
1 A translation based method for the timed analysis of schedul.. (context) - Lime, Roux - 2004
1 A practionner's Handbook for Real-Time Analysis (context) - Klein - 1993
1 IF-2.0: A Validation Environment for Component-Based Real-Ti.. (context) - Bozga, Graf et al. - 2002
1 A modelchecking tool for real-time systems (context) - Bozga, Daws et al. - 1998
1 Analysis of Real Time Operating System Based Applications (context) - Waszniowski, Hanzlek - 2003
1 Temporal Validation of Multitasking Real-Time Applications b.. (context) - Belarbi, Babau et al. - 2004
1 Comparison report between QNX NEUTRINO RTOSv6.2, VxWorks AE .. (context) - System - 2003
1 Time-Triggered Architecture (TTA (context) - Scheidler, Heiner et al. - 1997
1 Scheduling Validation for UML-modeled real-time systems (context) - Hieu, Grard et al. - 2003
Documents on the same site (http://www.jumel.org/html/publications.htm):
Safety Evaluation of Controlled System Distributed on.. - Jumel, Godary, Auge-Blum (2004) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC