UCL  IRIS
Institutional Research Information Service
UCL Logo
Please report any queries concerning the funding data grouped in the sections named "Externally Awarded" or "Internally Disbursed" (shown on the profile page) to your Research Finance Administrator. Your can find your Research Finance Administrator at http://www.ucl.ac.uk/finance/research/post_award/post_award_contacts.php by entering your department
Please report any queries concerning the student data shown on the profile page to:

Email: portico-services@ucl.ac.uk

Help Desk: http://www.ucl.ac.uk/ras/portico/helpdesk
Publication Detail
Reliability prediction in model driven development
  • Publication Type:
    Chapter
  • Authors:
    Rodrigues GN, Rosenblum DS, Uchitel S
  • Publisher:
    Springer-Verlag
  • Publication date:
    11/2005
  • Place of publication:
    Berlin / Heidelberg, Germany
  • Pagination:
    339, 354
  • Chapter number:
    3713
  • Series:
    Lecture Notes in Computer Science
  • Editors:
    Briand L,Williams C
  • Book title:
    Lecture Notes in Computer Science
  • Notes:
    Imported via OAI, 7:29:01 1st Aug 2007
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 softwaresystem 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 softwaredevelopment 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.0specification 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 impliedscenarios; 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 demonstratehow reliability analysis results can be integrated into UML models.
Publication data is maintained in RPS. Visit https://rps.ucl.ac.uk
 More search options
UCL Researchers
Author
Dept of Computer Science
University College London - Gower Street - London - WC1E 6BT Tel:+44 (0)20 7679 2000

© UCL 1999–2011

Search by