R
Ricky W. Butler
Researcher at Langley Research Center
Publications - 72
Citations - 1250
Ricky W. Butler is an academic researcher from Langley Research Center. The author has contributed to research in topics: Fault tolerance & Correctness. The author has an hindex of 20, co-authored 72 publications receiving 1202 citations.
Papers
More filters
Journal ArticleDOI
The infeasibility of experimental quantification of life-critical software reliability
TL;DR: It is affirms that quantification of life-critical software reliability is infeasible using statistical methods whether applied to standard software or fault-tolerant software.
Proceedings ArticleDOI
A formal methods approach to the analysis of mode confusion
TL;DR: This paper will explore how formal models and analyses can be used to help eliminate mode confusion from flight deck designs and at the same time increase confidence in the safety of the implementation.
Book
A Primer on Architectural Level Fault Tolerance
TL;DR: This paper introduces the fundamental concepts of fault tolerant computing and key topics covered are voting, fault detection, clock synchronization, Byzantine Agreement, diagnosis, and reliability analysis.
Book
Rapid Prototyping in PVS
César A. Muñoz,Ricky W. Butler +1 more
TL;DR: PVSio is a prelude library extension implemented on top of semantic attachments that helps PVS users from all the burden and technical details of Common Lisp programming ofsemantic attachments and enhances the specification language with built-in constructs for string manipulation, floating-point arithmetic, and input/output operations.
Journal ArticleDOI
The SURE approach to reliability analysis
TL;DR: The SURE computer program, a reliability-analysis tool for ultrareliable computer-system architectures, provides an efficient means for computing reasonably accurate upper and lower bounds for the death state probabilities of a large class of semi-Markov models.