Loading...
Please wait, while we are loading the content...
Similar Documents
Compositional Reliability Analysis using Probabilistic Component Automata
| Content Provider | Semantic Scholar |
|---|---|
| Author | Rodrigues, Pedro Lupu, Emil C. Kramer, Jeff |
| Copyright Year | 2014 |
| Abstract | Compositionality is a key property in the development and analysis of component-based systems. In non-probabilistic formalisms such as Labelled Transition Systems (LTS) the functional behaviour of a system can be readily constructed from the behaviours of its parts. However, this is not true for probabilistic extensions of LTS, which are necessary to analyse non-functional properties such as reliability. We propose Probabilistic Component Automata (PCA) as a probabilistic extension to Interface Automata to automatically construct a system model by composing models of its sub-components. In particular, we focus on modelling failure scenarios, failure handling and failure propagation. Additionally, we propose a novel algorithm based on Compositional Reachability Analysis to mitigate the well-known state-explosion problem associated with composable models. Both Probabilistic Component Automata and the reduction algorithm have been implemented in the LTSA tool. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.doc.ic.ac.uk/~pr1810/publications/Compositional-Reliability-Analysis-using-Probabilistic-Component-Automata.pdf |
| Alternate Webpage(s) | http://www.doc.ic.ac.uk/research/technicalreports/2014/DTR14-9.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
