𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[ACM Press the 2010 ICSE Workshop - Cape Town, South Africa (2010.05.03-2010.05.03)] Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems - QUOVADIS '10 - Probabilistic automata for architecture-based reliability assessment

✍ Scribed by Krka, Ivo; Golubchik, Leana; Medvidovic, Nenad


Book ID
121784331
Publisher
ACM Press
Year
2010
Weight
171 KB
Category
Article
ISBN
1605589721

No coin nor oath required. For personal study only.

✦ Synopsis


Non-functional properties, such as reliability and performance, should be assessed as early as possible in a system's life cycle for cost effectiveness reasons. Hence, several software architecture-based reliability assessment techniques have been proposed. These techniques quantitatively analyze a system's or a component's behavior, which is typically represented using probabilistic generative automata. However, we demonstrate that generative automata do not appropriately capture information available in an operational profile. Furthermore, we overview other existing probabilistic automata formalisms; we identify their features and shortcomings when capturing an operational profile. As a way to circumvent the identified deficiencies, we introduce probabilistic component interface protocols, a new probabilistic automata formalism that supports intuitive and direct mapping of an operational profile. Finally, we discuss how to derive the analysis-oriented generative models from the probabilistic component interface protocols.


πŸ“œ SIMILAR VOLUMES