Imperial College London
Alternate

ProfessorJeffKramer

Faculty of Engineering, Department of Computing

Honorary Emeritus Professor of Distributed Computing
 
 
 
//

Contact

 

j.kramer Website

 
 
//

Assistant

 

Mrs Bridget Gundry +44 (0)20 7594 1245

 
//

Location

 

571Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inproceedings{Lupu:2015,
author = {Lupu, EC and Rodrigues, P and Kramer, J},
publisher = {Association for Computing Machinery/IEEE},
title = {Compositional Reliability Analysis for Probabilistic Component Automata},
url = {http://hdl.handle.net/10044/1/21867},
year = {2015}
}
Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - In this paper we propose a modelling formalism, Probabilistic Component Automata (PCA), as a probabilistic extension to Interface Automata to represent the probabilistic behaviour of component-based systems. The aim is to supportcomposition of component-based models for both behaviour and non-functional properties such as reliability. We show how additional primitives for modelling failure scenarios, failure handling and failure propagation, as well as other algebraic operators, can be combined with models of the system architecture to automatically construct a system model by composing models of its subcomponents. The approach is supported by the tool LTSA-PCA, an extension of LTSA, which generates a composite DTMC model. The reliability of a particular system configurationcan then be automatically analysed based on the corresponding composite model using the PRISM model checker. This approach facilitates configurability and adaptation in which the software configuration of components and the associated composition of component models are changed at run time.
AU  - Lupu,EC
AU  - Rodrigues,P
AU  - Kramer,J
PB  - Association for Computing Machinery/IEEE
PY  - 2015///
TI  - Compositional Reliability Analysis for Probabilistic Component Automata
UR  - http://hdl.handle.net/10044/1/21867
ER  -
Download