An incremental methodology for quantitative software architecture evaluation with probabilistic models

Authors:
Indika Meedeniya
Affiliations:
Swinburne University of Technology, Hawthorn, VIC, Australia
Venue:
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Year:
2010

Citing 5
Cited 0

Architecture-based approach to reliability assessment of software systems

Performance Evaluation
Model-Based Performance Prediction in Software Development: A Survey

IEEE Transactions on Software Engineering
A Comparative Study into Architecture-Based Safety Evaluation Methodologies Using AADL's Error Annex and Failure Propagation Models

HASE '08 Proceedings of the 2008 11th IEEE High Assurance Systems Engineering Symposium
Approximate Parameter Synthesis for Probabilistic Time-Bounded Reachability

RTSS '08 Proceedings of the 2008 Real-Time Systems Symposium
ArcheOpterix: An extendable tool for architecture optimization of AADL models

MOMPES '09 Proceedings of the 2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

Probabilistic models are crucial in the quantification of non-functional attributes in safety-and mission-critical software systems. These models are often re-evaluated in assessing the design decisions. Evaluation of such models is computationally expensive and exhibits exponential complexity with the problem size. This research aims at constructing an incremental quality evaluation framework and delta evaluation scheme to address this issue. The proposed technique will provide a computational advantage for the probabilistic quality evaluations enabling their use in automated design space exploration by architecture optimization algorithms. The expected research outcomes are to be validated with a range of realistic architectures and case studies from automotive industry.