<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
There’s also the nice experimental work that was funded by NASA many years ago. For example:
<div class=""><br class="">
</div>
<div class="">
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: Arial;" class="">
Phyllis M. Nagel and James A. Skrivan, <i class="">Software reliability: repetitive run experimentation and modelling</i>, Boeing Computer Services Company, NASA-CR-165836, February 1982, available at
<a href="https://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/19820013026.pdf" class="">
https://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/19820013026.pdf</a>. <span style="font-stretch: normal; line-height: normal;" class="">
</span></div>
<div style="margin: 0px; font-stretch: normal; font-size: 9px; line-height: normal; font-family: Arial;" class="">
<span style="font-stretch: normal; font-size: 12px; line-height: normal;" class=""><br class="">
</span></div>
<div style="margin: 0px; font-stretch: normal; font-size: 9px; line-height: normal; font-family: Arial;" class="">
<span style="font-stretch: normal; font-size: 12px; line-height: normal;" class="">and</span></div>
<div style="margin: 0px; font-stretch: normal; font-size: 9px; line-height: normal; font-family: Arial;" class="">
<span style="font-stretch: normal; font-size: 12px; line-height: normal;" class=""><br class="">
</span></div>
<div style="margin: 0px; font-stretch: normal; font-size: 9px; line-height: normal; font-family: Arial;" class="">
<span style="font-stretch: normal; font-size: 12px; line-height: normal;" class="">Janet R. Dunham and John L. Pierce,
<i class="">An experiment in software reliability</i>, NASA Langley, NASA-CR-172553, May 1986, available at
<a href="https://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/19860020075.pdf" class="">
https://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/19860020075.pdf</a>. </span></div>
<div style="margin: 0px; font-stretch: normal; font-size: 9px; line-height: normal; font-family: Arial;" class="">
<span style="font-stretch: normal; font-size: 12px; line-height: normal;" class=""><br class="">
</span></div>
<div style="margin: 0px; font-stretch: normal; font-size: 9px; line-height: normal; font-family: Arial;" class="">
<span style="font-stretch: normal; font-size: 12px; line-height: normal;" class="">Bev</span></div>
<div><br class="">
<blockquote type="cite" class="">
<div class="">On 9 Jun 2021, at 14:02, Peter Bernard Ladkin <<a href="mailto:ladkin@causalis.com" class="">ladkin@causalis.com</a>> wrote:</div>
<br class="Apple-interchange-newline">
<div class="">
<div class="">CAUTION: This email originated from outside of the organisation. Do not click links or open attachments unless you recognise the sender and believe the content to be safe.<br class="">
<br class="">
<br class="">
On 2021-06-09 14:51 , Martyn Thomas wrote:<br class="">
<blockquote type="cite" class=""><br class="">
The only alalysis I have ever seen on this was the paper by Adams, ..... > I haven't the reference to hand but I'll find it if you want it.<br class="">
</blockquote>
<br class="">
Edward N. Adams, Optimizing Preventive Service of Software Products, IBM J. Res. Dev., 28(1):2-14,<br class="">
Jan 1984.<br class="">
<br class="">
PBL<br class="">
<br class="">
Prof. Peter Bernard Ladkin, Bielefeld, Germany<br class="">
ClaireTheWhiteRabbit RIP<br class="">
Tel+msg +49 (0)521 880 7319 <a href="http://www.rvs-bi.de" class="">www.rvs-bi.de</a><br class="">
<br class="">
<br class="">
<br class="">
<br class="">
<br class="">
_______________________________________________<br class="">
The System Safety Mailing List<br class="">
<a href="mailto:systemsafety@TechFak.Uni-Bielefeld.DE" class="">systemsafety@TechFak.Uni-Bielefeld.DE</a><br class="">
Manage your subscription: https://lists.techfak.uni-bielefeld.de/mailman/listinfo/systemsafety</div>
</div>
</blockquote>
</div>
<br class="">
<div class="">
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none;">
______________________________</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none;">
<br class="">
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none;">
Bev Littlewood</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none;">
Emeritus Professor of Software Engineering</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none;">
City, University of London</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none;">
<br class="">
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none;">
______________________________</div>
</div>
<br class="">
</div>
</body>
</html>