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 Analysis of Concurrent Systems using LTSA
  • Publication Type:
    Conference
  • Authors:
    Rodrigues GN, Rosenblum DS, Wolf J
  • Publisher:
    IEEE Computer Society
  • Publication date:
    05/2007
  • Place of publication:
    Minneapolis, USA
  • Pagination:
    63, 64
  • Published proceedings:
    ICSE 2007 Companion. 29th International Conference on Software Engineering
  • Series:
    Companion to the Proceedings of the 29th International Conference on Software Engineering
  • ISBN-10:
    0769528929
  • Status:
    Published
  • Name of conference:
    ICSE 2007: 29th International Conference on Software Engineering
  • Conference place:
    Minneapolis, USA
  • Conference start date:
    20/05/2007
  • Conference finish date:
    26/05/2007
  • Notes:
    Imported via OAI, 7:29:00 9th Aug 2007
Abstract
The analysis for software dependability is considered an important task within the software engineering life cycle. However, it is often impossible to carry out this task due to the complexity of available tools, lack of expert personnel and time-to-market pressures. As a result, released software versions may present unverified dependability properties subjecting customers to blind software reliability assessment. In particular, concurrent systems present certain behaviour that require a more complex system analysis not easily grasped at system design and architecture level.
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