Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

21

HYBRID
1995
Springer

favoriteEmaildiscussreport

142views Control Systems» more HYBRID 1995»

Diagnostic Model-Checking for Real-Time Systems

13 years 8 months ago

Diagnostic Model-Checking for Real-Time Systems

Download www.it.uu.se

Uppaal is a new tool suit for automatic veri cation of networks of timed automata. In this paper we describe the diagnostic model-checking feature of Uppaal and illustrates its usefulness through the debugging of a version of the Philips Audio-Control Protocol. Together with a graphical interface of Uppaal this diagnostic feature allows for a number of errors to be more easily detected and corrected.

Kim Guldstrand Larsen, Paul Pettersson, Wang Yi

Real-time Traffic

Automatic Veri Cation | Control Systems | Diagnostic Model-checking Feature | HYBRID 1995 | Philips Audio-Control Protocol |

claim paper

Related Content

» Bounded model checking for knowledge and real time

» ModelChecking for RealTime Systems

» Symbolic Model Checking for EventDriven RealTime Systems

» Compositional and Symbolic ModelChecking of RealTime Systems

» Combining Formal Refinement and Model Checking for RealTime Systems Verification

» KRONOS A ModelChecking Tool for RealTime Systems ToolPresentation for FTRTFT 98

» Model Checking DataDependent RealTime Properties of the European Train Control System

» Compositional Model Checking of Real Time Systems

» Fast OntheFly Parametric RealTime Model Checking

Post Info
More Details (n/a)

Added	26 Aug 2010
Updated	26 Aug 2010
Type	Conference
Year	1995
Where	HYBRID
Authors	Kim Guldstrand Larsen, Paul Pettersson, Wang Yi

Comments (0)