TY - GEN
T1 - Recovery oriented programming
AU - Brukman, Olga
AU - Dolev, Shlomi
AU - Sihman, Marcelo
PY - 2005/12/1
Y1 - 2005/12/1
N2 - Computerized management of critical systems makes the issues of correctness and faultless flow of long-lived and continuously-running programs extremely important e.g., [6, 7]. Complex systems cannot be fully verified because their verification may require an unreasonable amount of time and space. The software industry tests software products extensively in order to eliminate bugs as much as possible. Normally, software is tested by executing a set of large, but length-bounded and non-exhaustive scenarios starting from a predefined initial state while each scenario is defined by a set of input/output sequences. Undesired and unplanned behavior (bug) may occur due to scenarios that were not tested prior to the software release. Software malfunctions may cause damage that can outweigh the software cost. Keeping all this in mind, a consumer of a critical system would like to have a warranty that such a system will operate properly.
AB - Computerized management of critical systems makes the issues of correctness and faultless flow of long-lived and continuously-running programs extremely important e.g., [6, 7]. Complex systems cannot be fully verified because their verification may require an unreasonable amount of time and space. The software industry tests software products extensively in order to eliminate bugs as much as possible. Normally, software is tested by executing a set of large, but length-bounded and non-exhaustive scenarios starting from a predefined initial state while each scenario is defined by a set of input/output sequences. Undesired and unplanned behavior (bug) may occur due to scenarios that were not tested prior to the software release. Software malfunctions may cause damage that can outweigh the software cost. Keeping all this in mind, a consumer of a critical system would like to have a warranty that such a system will operate properly.
UR - http://www.scopus.com/inward/record.url?scp=84885623528&partnerID=8YFLogxK
U2 - 10.1145/1095810.1118594
DO - 10.1145/1095810.1118594
M3 - Conference contribution
AN - SCOPUS:84885623528
SN - 1595930795
SN - 9781595930798
T3 - Proceedings of the 20th ACM Symposium on Operating Systems Principles, SOSP 2005
BT - Proceedings of the 20th ACM Symposium on Operating Systems Principles, SOSP 2005
T2 - 20th ACM Symposium on Operating Systems Principles, SOSP 2005
Y2 - 23 October 2005 through 26 October 2005
ER -