A model-oriented framework for runtime monitoring of nonfunctional properties

Chan, K, Poernomo, I, Schmidt, H and Jayaputera, J 2005, 'A model-oriented framework for runtime monitoring of nonfunctional properties', Lecture Notes in Computer Science, vol. 3712, pp. 38-52.

Document type: Journal Article
Collection: Journal Articles

Title A model-oriented framework for runtime monitoring of nonfunctional properties
Author(s) Chan, K
Poernomo, I
Schmidt, H
Jayaputera, J
Year 2005
Journal name Lecture Notes in Computer Science
Volume number 3712
Start page 38
End page 52
Total pages 15
Publisher Springer Verlag
Abstract It is now recognized that nonfunctional properties are important to practical software development and maintenance. Many of these properties involve involving time and probabilities - for example, reliability and availability. One approach to ensuring conformance to nonfunctional requirements is the use of runtime monitoring. Currently, such monitoring is done in one of two ways: 1) monitoring through use of a generic tool or 2) by adding instrumentation code within system software and writing a tool to manage resulting datasets. The first approach is often not flexible while the second approach can lead to a higher development cost. In this paper, we present a flexible framework for runtime verification of timed and probabilistic nonfunctional properties of component-based architectures. We describe a Microsoft .NET-based implementation of our framework built upon the Windows Management Instrumentation (WMI) infrastructure and the Distributed Management Task Force's Common Information Model standard. We use a language for contracts based on Probabilistic Computational Tree Logic (PCTL). We provide a formal semantics for this language based on possible application execution traces. The semantics is generic over the aspects of an application that are represented by states and transitions of traces. This enables us to use the language to define a wide range of nonfunctional properties.
Subject Software Engineering
Computational Logic and Formal Languages
Computer Software not elsewhere classified
DOI - identifier 10.1007/11558569_5
Copyright notice Copyright Springer-Verlag Berlin Heidelberg 2005
ISSN 0302-9743
Version Filter Type
Citation counts: Scopus Citation Count Cited 23 times in Scopus Article | Citations
Altmetric details:
Access Statistics: 270 Abstract Views  -  Detailed Statistics
Created: Wed, 17 Nov 2010, 16:09:00 EST by Catalyst Administrator
© 2014 RMIT Research Repository • Powered by Fez SoftwareContact us