inproceedings_brosch.bib

@inproceedings{brosch2011a,
  abstract = {Software fault tolerance mechanisms aim at improving the reliability of software systems. Their effectiveness (i.e., reliability impact) is highly application-specific and depends on the overall system architecture and usage profile. When examining multiple architecture configurations, such as in software product lines, it is a complex and error-prone task to include fault tolerance mechanisms effectively. Existing approaches for reliability analysis of software architectures either do not support modelling fault tolerance mechanisms or are not designed for an efficient evaluation of multiple architecture variants. We present a novel approach to analyse the effect of software fault tolerance mechanisms in varying architecture configurations. We have validated the approach in multiple case studies, including a large-scale industrial system, demonstrating its ability to support architecture design, and its robustness against imprecise input data.},
  address = {New York, NY, USA},
  author = {Franz Brosch and Barbora Buhnova and Heiko Koziolek and Ralf Reussner},
  booktitle = {International ACM Sigsoft Conference on the Quality of Software Architectures (QoSA)},
  pages = {75--84},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/brosch2011a.pdf},
  publisher = {ACM},
  title = {{Reliability Prediction for Fault-Tolerant Software Architectures}},
  year = {2011}
}

@inproceedings{brosch2010a,
  abstract = {Software failures can lead to substantial costs for the user. Existing models for software reliability prediction do not provide much insight into this financial impact. Our approach presents a first step towards the integration of reliability prediction from the IT perspective and the business perspective. We show that failure impact should be taken into account not only at their date of occurrence but already in the design stage of the development. First we model cost relevant business processes as well as the associated IT layerand then connect them to failure probabilities. Based on this we conduct a reliability and cost estimation. The method is illustrated by a case study.},
  author = {Brosch, Franz and Gitzel, Ralf and Koziolek, Heiko and Krug, Simone},
  booktitle = {International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA)},
  doi = {10.1016/j.entcs.2010.07.002},
  issn = {1571-0661},
  pages = {3--17},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/brosch2010a.pdf},
  publisher = {Elsevier},
  series = {ENTCS},
  title = {Combining Architecture-based Software Reliability Predictions with Financial Impact Calculations},
  volume = {264},
  year = {2010}
}

@inproceedings{brosch2010b,
  abstract = {Critical properties of software systems, such as reliability, should be considered early in the development, when they can govern crucial architectural design decisions. A number of design-time reliability-analysis methods has been developed to support this task. However, the methods are often based on very low-level formalisms, and the connection to different architectural aspects (e.g., the system usage profile) is either hidden in the constructs of a formal model (e.g., transition probabilities of a Markov chain), or even neglected (e.g., resource availability). This strongly limits the applicability of the methods to effectively support architectural design. Our approach, based on the Palladio Component Model (PCM), integrates the reliability-relevant architectural aspects in a highly parameterized UML-like model, which allows for transparent evaluation of architectural design options. It covers the propagation of the system usage profile throughout the architecture, and the impact of the execution environment, which are neglected in most of the existing approaches. Before analysis, the model is automatically transformed into a formal Markov model in order to support effective analytical techniques to be employed. The approach has been validated against a reliability simulation of a distributed Business Reporting System.},
  author = {Franz Brosch and Heiko Koziolek and Barbora Buhnova and Ralf Reussner},
  booktitle = {International Conference on the Quality of Software Architectures (QoSA)},
  doi = {10.1007/978-3-642-13821-8_5},
  pages = {36-51},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/brosch2010b.pdf},
  publisher = {Springer},
  series = {LNCS},
  title = {{Parameterized Reliability Prediction for Component-based Software Architectures}},
  volume = {6093},
  year = {2010}
}

@inproceedings{brosch2009a,
  abstract = {Reliability is one of the most critical extra-functional properties of a software system, which needs to be evaluated early in the development process when formal methods and tools can be applied. Though many approaches for reliability prediction exist, not much work has been done in combining different types of failures and system views that influence the reliability. This paper presents an integrated approach to reliability prediction, reflecting failures triggered by both software faults and physical-resource breakdowns, and incorporating detailed information about system control flow governed by user inputs.},
  author = {Franz Brosch and Barbora Zimmerova},
  booktitle = {International Workshop on Software Quality and Maintainability (SQM)},
  month = {March},
  pages = {70--74},
  pdf = {http://sdqweb.ipd.uka.de/publications/pdfs/brosch2009.pdf},
  title = {{Design-Time Reliability Prediction for Software Systems}},
  year = {2009}
}

@inproceedings{klatt2011a,
  abstract = {With the introduction of services, software systems have become more flexible as new services can easily be composed from existing ones. Service composition frameworks offer corresponding functionality and hide the complexity of the underlying technologies from their users. However, possibilities for anticipating quality properties of com- posed services before their actual operation are limited so far. While existing approaches for model-based software quality prediction can be used by service composers for determining realizable Quality of Service (QoS) levels, integration of such techniques into composition frameworks is still missing. As a result, high effort and expert knowledge is required to build the system models required for prediction. In this paper, we present a novel service composition process that includes QoS prediction for composed services as an integral part. Furthermore, we describe how composition frameworks can be extended to support this process. With our approach, systematic consideration of service quality during the composition process is naturally achieved, without the need for de- tailed knowledge about the underlying prediction models. To evaluate our work and validate its applicability in different domains, we have integrated QoS prediction support according to our process in two com- position frameworks -- a large-scale SLA management framework and a service mashup platform.},
  author = {Benjamin Klatt and Franz Brosch and Zoya Durdik and Christoph Rathfelder},
  booktitle = {5th Workshop on Non-Functional Properties and SLA Management in Service-Oriented Computing (NFPSLAM-SOC 2011)},
  day = {5--8},
  location = {Paphos, Cyprus},
  month = {December},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/klatt2011a.pdf},
  title = {{Quality Prediction in Service Composition Frameworks}},
  year = {2011}
}

@inproceedings{koziolek2009a,
  abstract = {Predicting the reliability of a software system at an architectural level during early design stages can help to make systems more dependable and avoid costs for fixing the implementation. Existing reliability prediction methods for component-based systems use Markov models and assume that the software architect can provide the transition probabilities between individual components. This is however not possible if the components are black boxes, only at the design stage, or not available for testing. We propose a new modelling formalism that includes parameter dependencies into software component reliability specifications. It allows the software architect to only model a system-level usage profile, which a tool then propagates to individual components to determine the transition probabilities of the Markov model. We demonstrate the applicability of our approach by modelling the reliability of a retail management system and conduct reliability predictions.},
  author = {Koziolek, Heiko and Brosch, Franz},
  booktitle = {Proceedings of the 6th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA)},
  doi = {10.1016/j.entcs.2009.09.026},
  editors = {Barbora Zimmerova and Jens Happe},
  issn = {1571-0661},
  pages = {23 - 38},
  publisher = {Elsevier},
  series = {ENTCS},
  title = {Parameter Dependencies for Component Reliability Specifications},
  url = {http://www.koziolek.de/docs/Koziolek2009.pdf},
  volume = {253(1)},
  year = {2009}
}

@inproceedings{martens2009b,
  abstract = {Quantitative prediction of quality criteria (i.e. extra-functional properties such as performance, reliability, and cost) of service-oriented architectures supports a systematic software engineering approach. However, various degrees of freedom in building a software architecture span a large, discontinuous design space. Currently, solutions with a good trade-off between multiple quality criteria have to be found manually. We propose an automated approach to search the design space by modifying the architectural models, to improve the architecture with respect to multiple quality criteria, and to find optimal architectural models. The found optimal architectural models can be used as an input for trade-off analyses and thus allow systematic engineering of high-quality software architectures. Using this approach, the design of a high-quality component-based software system is eased for the software architect and thus saves cost and effort. Our approach applies a multi-criteria genetic algorithm to software architectures modelled with the Palladio Component Model (PCM). Currently, the method supports quantitative performance and reliability prediction, but it can be extended to other quality properties such as cost as well.},
  author = {Anne Martens and Franz Brosch and Ralf Reussner},
  booktitle = {Proceedings of the 1st international workshop on Quality of service-oriented software systems (QUASOSS)},
  doi = {10.1145/1596473.1596481},
  editors = {Paul Petterson and Heiko Koziolek and Petr Hnetynka},
  pages = {25--32},
  pdf = {http://sdqweb.ipd.uka.de/publications/pdfs/martens2009b.pdf},
  publisher = {ACM, New York, NY, USA},
  title = {Optimising multiple quality criteria of service-oriented software architectures},
  year = {2009}
}