{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:41:45Z","timestamp":1750308105302,"version":"3.41.0"},"reference-count":17,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2005,5,17]],"date-time":"2005-05-17T00:00:00Z","timestamp":1116288000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[2005,7]]},"abstract":"<jats:p>\n            Many distributed applications exhibit different types of system behaviors, or\n            <jats:italic>modes<\/jats:italic>\n            , during the course of their operation. Each such mode may have different functional and non-functional requirements (such as fault tolerance, availability, and security). A static software fault-tolerance solution can not cater to the needs of every mode, and also does not utilize system resources intelligently. A flexible architecture is required to provide dependability that can be tailored for such applications. We propose a novel mode-driven fault-tolerance approach that includes:\n            <jats:italic>(i)<\/jats:italic>\n            a generic framework to extend the\n            <jats:italic>specification<\/jats:italic>\n            of modes with fault-tolerance requirements, and\n            <jats:italic>(ii) a software architecture<\/jats:italic>\n            that uses this description to provide the\n            <jats:italic>appropriate<\/jats:italic>\n            fault tolerance for each mode at\n            <jats:italic>runtime.<\/jats:italic>\n            We also present a case study using a distributed multi-modal CORBA application to demonstrate the effectiveness of our approach.\n          <\/jats:p>","DOI":"10.1145\/1082983.1083226","type":"journal-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T19:28:32Z","timestamp":1131391712000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Architectural support for mode-driven fault tolerance in distributed applications"],"prefix":"10.1145","volume":"30","author":[{"given":"Deepti","family":"Srivastava","sequence":"first","affiliation":[{"name":"Carnegie Mellon University"}]},{"given":"Priya","family":"Narasimhan","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University"}]}],"member":"320","published-online":{"date-parts":[[2005,5,17]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/647881.737773"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194096000107"},{"key":"e_1_2_1_3_1","volume-title":"Distributed Systems","author":"Budhiraja N.","year":"1993","unstructured":"N. Budhiraja , F. Schneider , S. Toueg , and K. Marzullo . The primary-backup approach . In S. Mullender, editor, Distributed Systems . ACM Press - Addison Wesley , 1993 . N. Budhiraja, F. Schneider, S. Toueg, and K. Marzullo. The primary-backup approach. In S. Mullender, editor, Distributed Systems. ACM Press - Addison Wesley, 1993."},{"key":"e_1_2_1_4_1","volume-title":"NASA TM-110255","author":"Butler R. W.","year":"1996","unstructured":"R. W. Butler . An introduction to requirements capture using PVS: Specification of a simple autopilot. Technical report , NASA TM-110255 , May 1996 . R. W. Butler. An introduction to requirements capture using PVS: Specification of a simple autopilot. Technical report, NASA TM-110255, May 1996."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/358234.358258"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/2167692.2167705"},{"key":"e_1_2_1_7_1","volume-title":"The SAE AADL standard: A basis for model-based architecture-driven embedded systems engineering","author":"Feiler P. H.","year":"2002","unstructured":"P. H. Feiler , B. Lewis , and S. Vestal . The SAE AADL standard: A basis for model-based architecture-driven embedded systems engineering . 2002 . P. H. Feiler, B. Lewis, and S. Vestal. The SAE AADL standard: A basis for model-based architecture-driven embedded systems engineering. 2002."},{"key":"e_1_2_1_8_1","volume-title":"Odyssey Research Associates Ithaca New York NASA\/CR-1998-206915","author":"Fung F.","year":"1998","unstructured":"F. Fung and D. Jamsek . Formal specification of a flight guidance system. Technical report , Odyssey Research Associates Ithaca New York NASA\/CR-1998-206915 , Jan. 1998 . F. Fung and D. Jamsek. Formal specification of a flight guidance system. Technical report, Odyssey Research Associates Ithaca New York NASA\/CR-1998-206915, Jan. 1998."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/985135.985141"},{"key":"e_1_2_1_10_1","volume-title":"Rockwell Collins Cedar Rapids Iowa NASA\/CR-2003-212426","author":"Miller S. P.","year":"2003","unstructured":"S. P. Miller , A. C. Tribble , T. M. Carlson , and E. J. Danielson . Flight guidance system requirements specification. Technical report , Rockwell Collins Cedar Rapids Iowa NASA\/CR-2003-212426 , June 2003 . S. P. Miller, A. C. Tribble, T. M. Carlson, and E. J. Danielson. Flight guidance system requirements specification. Technical report, Rockwell Collins Cedar Rapids Iowa NASA\/CR-2003-212426, June 2003."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.v17:12"},{"key":"e_1_2_1_12_1","volume-title":"December","author":"Object Management Group","year":"2001","unstructured":"Object Management Group . The Common Object Request Broker: Architecture and specification, 2.6 edition. OMG Technical Committee Document formal\/2001-12-01 , December 2001 . Object Management Group. The Common Object Request Broker: Architecture and specification, 2.6 edition. OMG Technical Committee Document formal\/2001-12-01, December 2001."},{"key":"e_1_2_1_13_1","volume-title":"September","author":"Object Management Group","year":"2001","unstructured":"Object Management Group . Fault Tolerant CORBA. OMG Technical Committee Document formal\/2001-09-29 , September 2001 . Object Management Group. Fault Tolerant CORBA. OMG Technical Committee Document formal\/2001-09-29, September 2001."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0140-3664(97)00165-5"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/98163.98167"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/1060289.1060313"},{"key":"e_1_2_1_17_1","volume-title":"Architectural support for quality of service for CORBA objects. Theory and Practice of Object Systems, 3(1)","author":"Zinky J. A.","year":"1997","unstructured":"J. A. Zinky , D. E. Bakken , and R. E. Schantz . Architectural support for quality of service for CORBA objects. Theory and Practice of Object Systems, 3(1) , 1997 . J. A. Zinky, D. E. Bakken, and R. E. Schantz. Architectural support for quality of service for CORBA objects. Theory and Practice of Object Systems, 3(1), 1997."}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1082983.1083226","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1082983.1083226","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:08:06Z","timestamp":1750262886000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1082983.1083226"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,5,17]]},"references-count":17,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2005,7]]}},"alternative-id":["10.1145\/1082983.1083226"],"URL":"https:\/\/doi.org\/10.1145\/1082983.1083226","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1083217.1083226","asserted-by":"subject"}]},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[2005,5,17]]},"assertion":[{"value":"2005-05-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}