{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,2]],"date-time":"2023-01-02T20:09:21Z","timestamp":1672690161386},"reference-count":32,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2000,3,1]],"date-time":"2000-03-01T00:00:00Z","timestamp":951868800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems and Software"],"published-print":{"date-parts":[[2000,3]]},"DOI":"10.1016\/s0164-1212(99)00100-4","type":"journal-article","created":{"date-parts":[[2003,4,5]],"date-time":"2003-04-05T02:09:52Z","timestamp":1049508592000},"page":"237-255","source":"Crossref","is-referenced-by-count":2,"title":["State restoration in Ada 95: a portable approach to supporting software fault tolerance"],"prefix":"10.1016","volume":"50","author":[{"given":"P.","family":"Rogers","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.J.","family":"Wellings","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"3","key":"10.1016\/S0164-1212(99)00100-4_BIB1","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1109\/TSE.1983.237017","article-title":"A framework for software fault tolerance in real-time systems","volume":"9","author":"Anderson","year":"1983","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0164-1212(99)00100-4_BIB2","unstructured":"Anderson, T., Lee, P.A., 1981. Fault Tolerance Principles and Practice. Prentice-Hall, Englewood Cliffs, NJ"},{"key":"10.1016\/S0164-1212(99)00100-4_BIB3","doi-asserted-by":"crossref","first-page":"1304","DOI":"10.1109\/TC.1976.1674598","article-title":"Fault tolerant systems","volume":"25","author":"Avizienis","year":"1976","journal-title":"IEEE Transactions on Computers"},{"issue":"8","key":"10.1016\/S0164-1212(99)00100-4_BIB4","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1109\/MC.1984.1659219","article-title":"Fault tolerance by design diversity: concepts and experiments","volume":"17","author":"Avizienis","year":"1984","journal-title":"IEEE Computer"},{"key":"10.1016\/S0164-1212(99)00100-4_BIB5","doi-asserted-by":"crossref","unstructured":"Avizienis, A., Lyu, M., Schutz, W., 1988. Multi-Version Software Development: A UCLA\/Honeywell Joint Project for Fault-Tolerant Flight Control Systems. Technical Report CSD-880034, Department of Computer Science, University of California, Los Angeles, USA","DOI":"10.1109\/FTCS.1988.5291"},{"key":"10.1016\/S0164-1212(99)00100-4_BIB6","series-title":"Programming in Ada 95","author":"Barnes","year":"1995"},{"issue":"2","key":"10.1016\/S0164-1212(99)00100-4_BIB7","doi-asserted-by":"crossref","first-page":"238","DOI":"10.1109\/32.44387","article-title":"Analysis of faults in an N-version software experiment","volume":"16","author":"Brilliant","year":"1990","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"8","key":"10.1016\/S0164-1212(99)00100-4_BIB8","doi-asserted-by":"crossref","first-page":"811","DOI":"10.1109\/TSE.1986.6312984","article-title":"Error recovery in asynchronous systems","volume":"12","author":"Campbell","year":"1986","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0164-1212(99)00100-4_BIB9","unstructured":"Cohen, N., 1996. Ada as a Second Language, 2nd ed. McGraw-Hill, New York"},{"key":"10.1016\/S0164-1212(99)00100-4_BIB10","unstructured":"Cristian, F., 1979. A recovery mechanism for modular software. In: Proceedings of the IEEE Fourth International Conference on Software Engineering, Munich, 42-50A"},{"issue":"7","key":"10.1016\/S0164-1212(99)00100-4_BIB11","doi-asserted-by":"crossref","first-page":"692","DOI":"10.1109\/32.83905","article-title":"An experimental evaluation of software redundancy as a strategy for improving reliability","volume":"17","author":"Eckhardt","year":"1991","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0164-1212(99)00100-4_BIB12","unstructured":"Gray, J., 1986. Why do computers stop and what can be done about it? In: Proceedings of the IEEE Fifth Symposium on Reliability in Distributed Software and Database Systems, pp. 3\u201312"},{"issue":"1","key":"10.1016\/S0164-1212(99)00100-4_BIB13","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1109\/TSE.1986.6312919","article-title":"Software reliability in the systems context","volume":"12","author":"Hecht","year":"1986","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0164-1212(99)00100-4_BIB14","doi-asserted-by":"crossref","unstructured":"Horning, J.J., Lauer, H.C., Melliar-Smith, P.M., Randell, B., 1974. A program structure for error detection and recovery. In: Gelenbe, E., Kaiser, C. (Eds.), Lecture Notes In Computer Science, vol. 6. Springer, Berlin, pp. 171\u2013187","DOI":"10.1007\/BFb0029359"},{"key":"10.1016\/S0164-1212(99)00100-4_BIB15","unstructured":"Intermetrics, 1995. Ada 95 Reference Manual, ANSI\/ISO\/IEC-8652:1995, International Organization for Standardization (ISO)"},{"key":"10.1016\/S0164-1212(99)00100-4_BIB16","doi-asserted-by":"crossref","unstructured":"Kermarrec, Y., Nana, L., Pautet, L., 1996. Providing fault-tolerant services to distributed Ada95 applications. In: Proceedings of the ACM TRI-Ada'96, Philadelphia, Pennsylvania, USA, pp. 39\u201347","DOI":"10.1145\/240678.240688"},{"key":"10.1016\/S0164-1212(99)00100-4_BIB17","unstructured":"Kim, K.H., 1995. The distributed recovery block scheme. In: Lyu, M. (Ed.), Software Fault Tolerance, vol. 3, Trends In Software. Wiley, New York, pp. 189\u2013210"},{"issue":"5","key":"10.1016\/S0164-1212(99)00100-4_BIB18","doi-asserted-by":"crossref","first-page":"626","DOI":"10.1109\/12.24266","article-title":"Distributed execution of recovery blocks: an approach for uniform treatment of hardware and software faults in real-time applications","volume":"38","author":"Kim","year":"1989","journal-title":"IEEE Transactions on Computers"},{"key":"10.1016\/S0164-1212(99)00100-4_BIB19","unstructured":"Knight, J.C., Leveson, N.G., St. Jean, L.D., 1985. A large scale experiment in N-version programming. In: Proceedings of the IEEE Fifteenth Annual International Symposium on Fault Tolerant Computing (FTCS), Michigan, USA, pp. 135\u2013139"},{"issue":"6","key":"10.1016\/S0164-1212(99)00100-4_BIB20","doi-asserted-by":"crossref","first-page":"546","DOI":"10.1109\/TC.1980.1675618","article-title":"A recovery cache for the PDP-11","volume":"29","author":"Lee","year":"1980","journal-title":"IEEE Transactions on Computers"},{"issue":"2","key":"10.1016\/S0164-1212(99)00100-4_BIB21","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1145\/7474.7528","article-title":"Software safety: why, what and how","volume":"18","author":"Leveson","year":"1986","journal-title":"ACM Computing Surveys"},{"key":"10.1016\/S0164-1212(99)00100-4_BIB22","doi-asserted-by":"crossref","unstructured":"Lyu, M., Avizienis, A., 1992. Assuring design diversity in N-version software: a design paradigm for N-version programming. In: Dependable Computing and Fault Tolerant Systems. Springer, Berlin, pp. 197\u2013218","DOI":"10.1007\/978-3-7091-9198-9_10"},{"issue":"2","key":"10.1016\/S0164-1212(99)00100-4_BIB23","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1109\/TSE.1975.6312842","article-title":"System structure for software fault tolerance","volume":"1","author":"Randell","year":"1975","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0164-1212(99)00100-4_BIB24","doi-asserted-by":"crossref","unstructured":"Randell, B., Romanovsky, A., Rubira, C., Stroud, R., Wu, Z., Xu, J., 1995. From recovery blocks to concurrent atomic actions. In: Randell, B., Laprie, J.-C., Kopetz, H., Littlewood, B. (Eds.), Predictably Dependable Computing Systems. Springer, Berlin, pp. 87\u2013101","DOI":"10.1007\/978-3-642-79789-7_6"},{"key":"10.1016\/S0164-1212(99)00100-4_BIB25","doi-asserted-by":"crossref","unstructured":"Randell, B., Romanovsky, A., Stroud, R.J., Xu, J., Zorzo, A.F., 1997. Coordinated Atomic Actions: from Concept to Implementation. Technical Report 595, Computer Science Dept., University of Newcastle upon Tyne, Newcastle upon Tyne, UK","DOI":"10.1016\/S1383-7621(97)00029-5"},{"key":"10.1016\/S0164-1212(99)00100-4_BIB26","unstructured":"Romanovsky, A., 1997. A Study of Atomic Action Schemes Intended for Standard Ada, Technical Report 600, Computer Science Department, University of Newcastle upon Tyne, Newcastle upon Tyne, UK"},{"key":"10.1016\/S0164-1212(99)00100-4_BIB27","doi-asserted-by":"crossref","unstructured":"Romanovsky, A., Mitchell, S., Wellings, A., 1997. On programming atomic actions in Ada 95. In: Ada Europe, vol. 1251, Lecture Notes in Computer Science. Springer, Berlin, pp. 254\u2013265","DOI":"10.1007\/3-540-63114-3_23"},{"issue":"8","key":"10.1016\/S0164-1212(99)00100-4_BIB28","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1049\/sej.1995.0027","article-title":"Backward error recovery via conversations in ada","volume":"10","author":"Romanovsky","year":"1995","journal-title":"Software Engineering Journal"},{"issue":"1","key":"10.1016\/S0164-1212(99)00100-4_BIB29","first-page":"61","article-title":"Forward and backward error recovery in C++","volume":"1","author":"Rubira-Calsavara","year":"1994","journal-title":"Object-Oriented Systems"},{"key":"10.1016\/S0164-1212(99)00100-4_BIB30","doi-asserted-by":"crossref","unstructured":"SPC, 1995. Ada 95 Quality and Style: Guidelines for Professional Programmers. SPC-94093-CMC, Software Productivity Consortium, Herndon, VA","DOI":"10.21236\/ADA301073"},{"issue":"2","key":"10.1016\/S0164-1212(99)00100-4_BIB31","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1109\/32.585500","article-title":"Implementing atomic actions in Ada 95","volume":"23","author":"Wellings","year":"1997","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0164-1212(99)00100-4_BIB32","unstructured":"Xu, J., Randell, B., Romanovsky, A., Rubira, C., Stroud, R., Wu, Z., 1995. Fault tolerance in concurrent object-oriented software through coordinated error recovery. In: Proceedings of the IEEE 25th Annual International Symposium on Fault Tolerant Computing (FTCS), Pasadena, California, pp. 499\u2013508"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121299001004?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121299001004?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,2,5]],"date-time":"2020-02-05T00:06:30Z","timestamp":1580861190000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0164121299001004"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,3]]},"references-count":32,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2000,3]]}},"alternative-id":["S0164121299001004"],"URL":"https:\/\/doi.org\/10.1016\/s0164-1212(99)00100-4","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[2000,3]]}}}