Compositional Prediction of Timed Behaviour for Process Control Architecture

Authors:
Kenneth Chan;Iman Poernomo
Affiliations:
Department of Computer Science, King's College London Strand, London, UK WC2R 2LS;Department of Computer Science, King's College London Strand, London, UK WC2R 2LS
Venue:
QoSA '09 Proceedings of the 5th International Conference on the Quality of Software Architectures: Architectures for Adaptive Software Systems
Year:
2009

Citing 4
Cited 0

Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling

CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Reliability prediction for component-based software architectures

Journal of Systems and Software - Special issue on: Software architecture - Engineering quality attributes
The Palladio component model for model-driven performance prediction

Journal of Systems and Software
A model-oriented framework for runtime monitoring of nonfunctional properties

QoSA'05 Proceedings of the First international conference on Quality of Software Architectures and Software Quality, and Proceedings of the Second International conference on Software Quality

Quantified Score

Hi-index	0.00

Visualization

Abstract

The timing of properties is an essential consideration in the design, implementation and maintenance of embedded software development. In this paper, we present an approach to the prediction of timed and probabilistic nonfunctional properties of process control architectures. Our approach involves a novel compositional approach to model checking of statements in Probabilistic Computational Tree Logic (PCTL).