Fast On-the-Fly Parametric Real-Time Model Checking

Authors:
Dezhuang Zhang;Rance Cleaveland
Affiliations:
State University of New York at Stony Brook;University of Maryland at College Park
Venue:
RTSS '05 Proceedings of the 26th IEEE International Real-Time Systems Symposium
Year:
2005

Citing 0
Cited 5

Event order abstraction for parametric real-time system verification

EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
Machine-Assisted Parameter Synthesis of the Biphase Mark Protocol Using Event Order Abstraction

FORMATS '09 Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems
Model repair for probabilistic systems

TACAS'11/ETAPS'11 Proceedings of the 17th international conference on Tools and algorithms for the construction and analysis of systems: part of the joint European conferences on theory and practice of software
Enabling parametric feasibility analysis in real-time calculus driven performance evaluation

CASES '11 Proceedings of the 14th international conference on Compilers, architectures and synthesis for embedded systems
A menagerie of timed automata

ACM Computing Surveys (CSUR)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Deploying Wireless LAN for Industrial Control (IC-WLAN) has many benefits, such as mobility, low deployment cost and ease of reconfiguration. However, the top concern is robustness of wireless communications. Wireless control loops must be maintained ...