Show simple item record

Verifying Quantitative Reliability of Programs That Execute on Unreliable Hardware

dc.date.accessioned2013-06-20T17:00:08Z
dc.date.accessioned2018-11-26T22:27:00Z
dc.date.available2013-06-20T17:00:08Z
dc.date.available2018-11-26T22:27:00Z
dc.date.issued2013-06-19
dc.identifier.urihttp://hdl.handle.net/1721.1/79355
dc.identifier.urihttp://repository.aust.edu.ng/xmlui/handle/1721.1/79355
dc.description.abstractEmerging high-performance architectures are anticipated to contain unreliable components that may exhibit soft errors, which silently corrupt the results of computations. Full detection and recovery from soft errors is challenging, expensive, and, for some applications, unnecessary. For example, approximate computing applications (such as multimedia processing, machine learning, and big data analytics) can often naturally tolerate soft errors. In this paper we present Rely, a programming language that enables developers to reason about the quantitative reliability of an application -- namely, the probability that it produces the correct result when executed on unreliable hardware. Rely allows developers to specify the reliability requirements for each value that a function produces. We present a static quantitative reliability analysis that verifies quantitative requirements on the reliability of an application, enabling a developer to perform sound and verified reliability engineering. The analysis takes a Rely program with a reliability specification and a hardware specification, that characterizes the reliability of the underlying hardware components, and verifies that the program satisfies its reliability specification when executed on the underlying unreliable hardware platform. We demonstrate the application of quantitative reliability analysis on six computations implemented in Rely.en_US
dc.format.extent22 p.en_US
dc.subjectunreliable hardware, probabilistic semantics, quantitative reliabilityen_US
dc.titleVerifying Quantitative Reliability of Programs That Execute on Unreliable Hardwareen_US


Files in this item

FilesSizeFormatView
MIT-CSAIL-TR-2013-014.pdf400.9Kbapplication/pdfView/Open

This item appears in the following Collection(s)

Show simple item record