• DocumentCode
    3439764
  • Title

    Software reliability modelling: achievements and limitations

  • Author

    Littlewood, Bev

  • Author_Institution
    Centre for Software Reliability, City Univ., London, UK
  • fYear
    1991
  • fDate
    13-16 May 1991
  • Firstpage
    336
  • Lastpage
    344
  • Abstract
    An examination is made of the direct evaluation of the reliability of a software product from observation of its actual failure process during operation, using reliability growth modeling techniques described. Conclusions drawn from perfect working are examined. An assessment is also made of indirect sources of confidence in dependability. The author argues that one way forward might be to insist that certain safety-critical system should only be built if the safety case can be demonstrated to rely only on assurable levels of design dependability
  • Keywords
    safety; software reliability; confidence; dependability; design dependability; reliability growth modeling; safety-critical system; software reliability modelling; Application software; Battery powered vehicles; Calendars; Fault detection; Particle measurements; Predictive models; Reliability engineering; Software reliability; Software testing; Stochastic processes;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    CompEuro '91. Advanced Computer Technology, Reliable Systems and Applications. 5th Annual European Computer Conference. Proceedings.
  • Conference_Location
    Bologna
  • Print_ISBN
    0-8186-2141-9
  • Type

    conf

  • DOI
    10.1109/CMPEUR.1991.257407
  • Filename
    257407