Sciweavers

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

9

ECBS
2005
IEEE

favoriteEmaildiscussreport

108views Hardware» more ECBS 2005»

Interceptor Based Constraint Violation Detection

13 years 6 months ago

Interceptor Based Constraint Violation Detection

Download sei.pku.edu.cn

Monitoring critical events such as constraints violations is one of the key issues of Autonomic Systems. This paper presents an interceptor based approach of constraint violation detection. In our approach, the monitor code is independent of functional code, and the monitor code can be generated automatically from XML-based constraint specifications. The experiment shows that our approach is feasible and is especially suitable for interface level constraints.

Qianxiang Wang, Aditya P. Mathur

Real-time Traffic

Constraint Violation Detection | ECBS 2005 | Hardware | Interceptor Based Approach | Monitor Code |

claim paper

Related Content

» Design for Constraint Violation Detection in SafetyCritical Systems

» Detection and resolution of atomicity violation in service composition

» ParameterFree Determination of Distance Thresholds for Metric Distance Constraints

» Tracing CrossCutting Requirements via ContextBased Constraints

» A Framework for AssertionBased Debugging in Constraint Logic Programming

» Semantic Verification of RuleBased Systems with Arithmetic Constraints

» A CostBased Model and Effective Heuristic for Repairing Constraints by Value Modification

» The detectability lemma and quantum gap amplification

» Efficient RunTime Monitoring of Timing Constraints

Post Info
More Details (n/a)

Added	14 Oct 2010
Updated	14 Oct 2010
Type	Conference
Year	2005
Where	ECBS
Authors	Qianxiang Wang, Aditya P. Mathur

Comments (0)