Verification and prediction of timed probabilistic properties over the DMTF CIM

Schmidt, H, Poernomo, I and Jayaputera, J 2006, 'Verification and prediction of timed probabilistic properties over the DMTF CIM', International Journal of Cooperative Information Systems, vol. 15, no. 4, pp. 633-658.


Document type: Journal Article
Collection: Journal Articles

Title Verification and prediction of timed probabilistic properties over the DMTF CIM
Author(s) Schmidt, H
Poernomo, I
Jayaputera, J
Year 2006
Journal name International Journal of Cooperative Information Systems
Volume number 15
Issue number 4
Start page 633
End page 658
Total pages 26
Publisher World Scientific Publishing Co
Abstract Understanding nonfunctional aspects of system behavior is an essential component of practical software development and maintenance. Many nonfunctional system properties, such as reliability and availability, involve time and probabilities. In this paper, we present a framework for runtime verification and prediction of timed and probabilistic nonfunctional properties of component-based architectures, built using the Meta-Object Facility and the Distributed Management Task Force's Common Information Model (CIM) standard. We describe a Microsoft .NET-based implementation of our framework. We define a language for describing timed probabilistic behavior based on Probabilistic Computational Tree Logic (PCTL). We provide a formal semantics for this language in terms of observed application execution traces. The semantics is interesting in that it permits checking of required timing behavior both over the overall average of traces and also over local "trends" in traces. The latter aspect of the semantics is achieved by incorporating exponential smoothing prediction techniques into the truth function for statements of our language. The semantics is generic over the aspects of an application that are represented by states and state transitions. This enables the language to be used to describe a wide range of nonfunctional properties for runtime verification and prediction purposes. We explain how statements of our language are used to define precise contracts for system monitoring, through relating the semantics to an extended CIM monitoring infrastructure.
Subject Information Systems not elsewhere classified
Keyword(s) System monitoring
nonfunctional properties
prediction
DOI - identifier 10.1142/S0218843006001517
Copyright notice Copyright © 2010 World Scientific Publishing Co
ISSN 0218-8430
Versions
Version Filter Type
Citation counts: Scopus Citation Count Cited 3 times in Scopus Article | Citations
Altmetric details:
Access Statistics: 182 Abstract Views  -  Detailed Statistics
Created: Wed, 22 Dec 2010, 10:15:00 EST by Catalyst Administrator
© 2014 RMIT Research Repository • Powered by Fez SoftwareContact us