eprintid: 4099
rev_number: 4
eprint_status: archive
userid: 151
dir: disk0/00/00/40/99
datestamp: 2007-07-31 12:00:00
lastmod: 2015-07-18 22:58:11
status_changed: 2008-01-09 13:52:23
type: proceedings_section
metadata_visibility: show
creators_name: Rodrigues, G.N.
creators_name: Rosenblum, D.S.
creators_name: Uchitel, S.
title: Reliability prediction in model driven development
ispublished: pub
subjects: 8000
abstract: Evaluating the implications of an architecture design early in the software development lifecycle is important in order to reduce costs of development. Reliability is an important concern with regard to the correct delivery of software
system service. Recently, the UML Profile for Modeling Quality of Service has defined a set of UML extensions to represent dependability concerns (including reliability) and other non-functional requirements in early stages of the software
development lifecycle. Our research has shown that these extensions are not comprehensive enough to support reliability analysis for model-driven software engineering,
because the description of reliability characteristics in this profile lacks support for certain dynamic aspects that are essential in modeling reliability. In this work, we define a profile for reliability analysis by extending the UML 2.0
specification to support reliability prediction based on scenario specifications. A UML model specified using the profile is translated to a labelled transition system (LTS), which is used for automated reliability prediction and identification of implied
scenarios; the results of this analysis are then fed back to the UML model. The result is a comprehensive framework for addressing software reliability modeling, including analysis and evolution of reliability predictions. We exemplify our approach using the Boiler System used in previous work and demonstrate
how reliability analysis results can be integrated into UML models.
date: 2005-11
date_type: published
publisher: Springer-Verlag
official_url: http://dx.doi.org/doi:10.1007/11557432
oa_status: green
language: eng
primo: open
primo_central: open_green
doi: 10.1007/11557432
isbn_13: 9783540290100
full_text_status: public
series: Lecture Notes in Computer Science
publication: Lecture Notes in Computer Science
number: 3713
place_of_pub: Berlin / Heidelberg, Germany
pagerange: 339-354
refereed: TRUE
issn: 0302-9743
book_title: Model Driven Engineering Languages and Systems: 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005. Proceedings.
editors_name: Briand, L.
editors_name: Williams, C.
citation:        Rodrigues, G.N.;    Rosenblum, D.S.;    Uchitel, S.;      (2005)    Reliability prediction in model driven development.                     In: Briand, L. and Williams, C., (eds.) Model Driven Engineering Languages and Systems: 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005. Proceedings.  (pp. pp. 339-354).  Springer-Verlag: Berlin / Heidelberg, Germany.       Green open access   
 
document_url: https://discovery.ucl.ac.uk/id/eprint/4099/1/4099.pdf