Paper Info
Title
Game-Based Monitors for Scenario-Based Specification
Abstract
Run-time verification techniques based on monitors have become the basic means of detecting software failures in dynamic and open environments. One challenging problem is how the monitor can provide sufficient indications before the real failures, so that the system has enough time to act before the failures cause serious harm. To this end, this paper proposes the main idea on how to generate monitors from a scenario-based specification called property sequence chart based on game theory. The monitors are interpreted in multivalued semantics: satisfied, infinitely controllable, system finitely controllable, system urgently controllable, environment finitely controllable, environment urgently controllable, violated. Through the multi-valued semantics definition, the monitors can provide enough information to help the system to take measures for failure prevention or recovery.
Year
DOI
Venue
2013
10.1109/ICECCS.2013.47
ICECCS
Keywords
Field
DocType
system finitely controllable,software failure detection,basic mean,multivalued semantics,property sequence chart,environment finitely controllable,run-time verification technique,enough information,game-based monitors,infinitely controllable,run-time verification techniques,multi-valued semantics definition,enough time,scenario-based specification,game theory,open environment,property sequence charts,software fault tolerance,multivalued semantics definition,formal verification,control systems,automata,semantics,games
Computer science,Software fault tolerance,Real-time computing,Software,Game theory,Failure prevention,Chart,Semantics,Formal verification
Conference
ISBN
Citations 
PageRank 
978-0-7695-5007-7
0
0.34
References 
Authors
11
4
Name
Order
Citations
PageRank
Pengcheng Zhang14010.97
Jun Yu200.34
Wenrui Li3588.98
Hareton Leung498265.63