{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:40:55Z","timestamp":1740109255831,"version":"3.37.3"},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2017,12,16]],"date-time":"2017-12-16T00:00:00Z","timestamp":1513382400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,12,16]],"date-time":"2017-12-16T00:00:00Z","timestamp":1513382400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100000144","name":"Division of Computer and Network Systems","doi-asserted-by":"publisher","award":["1329807","1318678"],"award-info":[{"award-number":["1329807","1318678"]}],"id":[{"id":"10.13039\/100000144","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000144","name":"Division of Computer and Network System","doi-asserted-by":"publisher","award":["1533802"],"award-info":[{"award-number":["1533802"]}],"id":[{"id":"10.13039\/100000144","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Distrib. Comput."],"published-print":{"date-parts":[[2019,2]]},"DOI":"10.1007\/s00446-017-0319-x","type":"journal-article","created":{"date-parts":[[2017,12,16]],"date-time":"2017-12-16T07:49:36Z","timestamp":1513410576000},"page":"1-25","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Automation of fault-tolerant graceful degradation"],"prefix":"10.1007","volume":"32","author":[{"given":"Yiyan","family":"Lin","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7608-2116","authenticated-orcid":false,"given":"Sandeep","family":"Kulkarni","sequence":"additional","affiliation":[]},{"given":"Arshad","family":"Jhumka","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,12,16]]},"reference":[{"key":"319_CR1","doi-asserted-by":"crossref","unstructured":"Bonakdarpour, B., Kulkarni, S.S.: Exploiting symbolic techniques in automated synthesis of distributed programs. In: IEEE International Conference on Distributed Computing Systems, pp. 3\u201310 (2007)","DOI":"10.21236\/ADA460390"},{"key":"319_CR2","doi-asserted-by":"crossref","unstructured":"Abujarad, F., Kulkarni, S.: Constraint based automated synthesis of nonmasking and stabilizing fault-tolerance. In: Reliable Distributed Systems, 2009. SRDS \u201909. 28th IEEE International Symposium on, Sept. 2009, pp. 119 \u2013128 (2009)","DOI":"10.1109\/SRDS.2009.11"},{"key":"319_CR3","doi-asserted-by":"crossref","unstructured":"Bartocci, E., Grosu, R., Katsaros, P., Ramakrishnan, C.R., Smolka, S.A.: Model repair for probabilistic systems. In: TACAS, pp. 326\u2013340 (2011)","DOI":"10.1007\/978-3-642-19835-9_30"},{"issue":"1","key":"319_CR4","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1109\/71.80192","volume":"2","author":"M Herlihy","year":"1991","unstructured":"Herlihy, M., Wing, J.M.: Specifying graceful degradation. IEEE Trans. Parallel Distrib. Syst. 2(1), 93\u2013104 (1991)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"key":"319_CR5","doi-asserted-by":"crossref","unstructured":"Kulkarni, S.S., Arora, A.: Automating the addition of fault-tolerance. In: Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT), pp. 82\u201393 (2000)","DOI":"10.1007\/3-540-45352-0_9"},{"key":"319_CR6","doi-asserted-by":"publisher","unstructured":"Leal, W., McCreery, M., Faria, D.: The OCRC fuel cell lab safety system: a self-stabilizing safety-critical system. In: D\u00e9fago, X., Petit, F., Villain, V. (eds.) Stabilization, Safety, and Security of Distributed Systems, ser. Lecture Notes in Computer Science. Springer, Berlin, 2011, vol. 6976, pp. 326\u2013340. [Online]. \n                    https:\/\/doi.org\/10.1007\/978-3-642-24550-3_25\n                    \n                   (2011)","DOI":"10.1007\/978-3-642-24550-3_25"},{"issue":"4","key":"319_CR7","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0020-0190(85)90056-0","volume":"21","author":"B Alpern","year":"1985","unstructured":"Alpern, B., Schneider, F.B.: Defining liveness. Inf. Process. Lett. 21(4), 181\u2013185 (1985)","journal-title":"Inf. Process. Lett."},{"issue":"11","key":"319_CR8","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1145\/361179.361202","volume":"17","author":"EW Dijkstra","year":"1974","unstructured":"Dijkstra, E.W.: Self stabilizing systems in spite of distributed control. Commun. ACM 17(11), 643\u2013644 (1974)","journal-title":"Commun. ACM"},{"key":"319_CR9","doi-asserted-by":"crossref","unstructured":"Tahat, A., Ebnenasir, A.: A hybrid method for the verification and synthesis of parameterized self-stabilizing protocols. In: Proceedings LOPSTR, pp. 201\u2013218 (2014)","DOI":"10.1007\/978-3-319-17822-6_12"},{"key":"319_CR10","doi-asserted-by":"crossref","unstructured":"Klinkhamer, A., Ebnenasir, A.: Verifying livelock freedom on parameterized rings and chains. In: Proceedings Stabilization, Safety and Security of Distributed Systems, pp. 163\u2013177 (2013)","DOI":"10.1007\/978-3-319-03089-0_12"},{"key":"319_CR11","volume-title":"A Prioritized Real-TimeWireless Call Degradation Framework for Optimal Call Mix Selection","author":"GV Zruba","year":"2002","unstructured":"Zruba, G.V., Chlamtac, I., Das, S.K.: A Prioritized Real-TimeWireless Call Degradation Framework for Optimal Call Mix Selection. Kluwer, Dordrecht (2002)"},{"issue":"3","key":"319_CR12","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1109\/TDSC.2005.29","volume":"2","author":"SS Kulkarni","year":"2005","unstructured":"Kulkarni, S.S., Ebnenasir, A.: Complexity issues in automated synthesis of failsafe fault-tolerance. IEEE Trans. Dependable Secur. Comput. 2(3), 201\u2013215 (2005)","journal-title":"IEEE Trans. Dependable Secur. Comput."},{"key":"319_CR13","doi-asserted-by":"crossref","unstructured":"G\u00e4rtner, F.C., Jhumka, A.: Automating the addition of fail-safe fault-tolerance: Beyond fusion-closed specifications. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS\/FTRTFT, ser. Lecture Notes in Computer Science, vol. 3253. Springer, Berlin, pp. 183\u2013198 (2004)","DOI":"10.1007\/978-3-540-30206-3_14"},{"issue":"3","key":"319_CR14","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1145\/357172.357176","volume":"4","author":"L Lamport","year":"1982","unstructured":"Lamport, L., Shostak, R.E., Pease, M.C.: The byzantine generals problem. ACM Trans. Program. Lang. Syst. 4(3), 382\u2013401 (1982)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"319_CR15","doi-asserted-by":"crossref","unstructured":"Leal, W., McCreery, M., Faria, D.: The OCRC fuel cell lab safety system: a self-stabilizing safety-critical system. In: Proceedings of the 13th International Conference on Stabilization, Safety, and Security of Distributed Systems, ser. SSS\u201911. Berlin: Springer, pp. 326\u2013340. [Online]. \n                    http:\/\/dl.acm.org\/citation.cfm?id=2050613.2050638\n                    \n                   (2011)","DOI":"10.1007\/978-3-642-24550-3_25"},{"issue":"1","key":"319_CR16","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"PJ Ramadge","year":"1989","unstructured":"Ramadge, P.J., Wonham, W.M.: The control of discrete event systems. Proc. IEEE 77(1), 81\u201398 (1989)","journal-title":"Proc. IEEE"},{"issue":"2","key":"319_CR17","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1109\/70.681255","volume":"14","author":"KH Cho","year":"1998","unstructured":"Cho, K.H., Lim, J.T.: Synthesis of fault-tolerant supervisor for automated manufacturing systems: a case study on photolithography process. IEEE Trans. Robot. Autom. 14(2), 348\u2013351 (1998)","journal-title":"IEEE Trans. Robot. Autom."},{"issue":"2","key":"319_CR18","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/s10703-009-0084-y","volume":"35","author":"A Girault","year":"2009","unstructured":"Girault, A., Rutten, \u00c9.: Automating the addition of fault tolerance with discrete controller synthesis. Formal Methods Syst. Des. 35(2), 190\u2013225 (2009)","journal-title":"Formal Methods Syst. Des."},{"key":"319_CR19","doi-asserted-by":"crossref","unstructured":"Pnueli, A., Rosner, R.: On the synthesis of a reactive module. In: Principles of Programming Languages (POPL), pp. 179\u2013190 (1989)","DOI":"10.1145\/75277.75293"},{"key":"319_CR20","doi-asserted-by":"crossref","unstructured":"Jobstmann, B., Griesmayer, A., Bloem, R.: Program repair as a game. In: Conference on Computer Aided Verification (CAV), pp. 226\u2013238, LNCS 3576 (2005)","DOI":"10.1007\/11513988_23"},{"key":"319_CR21","doi-asserted-by":"crossref","unstructured":"Thomas, W.: On the synthesis of strategies in infinite games. In: Theoretical Aspects of Computer Science (STACS), pp. 1\u201313 (1995)","DOI":"10.1007\/3-540-59042-0_57"},{"key":"319_CR22","doi-asserted-by":"crossref","unstructured":"Thomas, W.: Handbook of Theoretical Computer Science: Chapter 4, Automata on Infinite Objects. Elsevier Science Publishers B.V. (1990)","DOI":"10.1016\/B978-0-444-88074-1.50009-3"},{"issue":"1","key":"319_CR23","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/s00446-011-0139-3","volume":"25","author":"B Bonakdarpour","year":"2012","unstructured":"Bonakdarpour, B., Abujarad, S., Kulkarni, S.S.: Symbolic synthesis of masking fault-tolerant distributed programs. Distrib. Comput. 25(1), 83\u2013108 (2012)","journal-title":"Distrib. Comput."},{"issue":"3","key":"319_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2767133","volume":"10","author":"F Faghih","year":"2015","unstructured":"Faghih, F., Bonakdarpour, B.: Smt-based synthesis of distributed self-stabilizing systems. Trans. Adapt. Auton. Syst. 10(3), 1\u201326 (2015)","journal-title":"Trans. Adapt. Auton. Syst."},{"issue":"1","key":"319_CR25","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/s00446-011-0139-3","volume":"25","author":"B Bonakdarpour","year":"2012","unstructured":"Bonakdarpour, B., Kulkarni, S., Abujarad, F.: Symbolic synthesis of masking fault-tolerant distributed programs. Distrib. Comput. 25(1), 83\u2013108 (2012)","journal-title":"Distrib. Comput."},{"key":"319_CR26","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/j.tcs.2012.10.005","volume":"496","author":"J Chen","year":"2013","unstructured":"Chen, J., Kulkarni, S.S.: Mr4um: a framework for adding fault tolerance to uml state diagrams. Theoret. Comput. Sci. 496, 17\u201333 (2013)","journal-title":"Theoret. Comput. Sci."},{"key":"319_CR27","doi-asserted-by":"crossref","unstructured":"Hajisheykhi, R., Ebnenasir, A., Kulkarni, S.S.: Evaluating the effect of faults in systemC TLM models using UPPAAL. In: Proceedings SEFM, pp. 175\u2013189 (2014)","DOI":"10.1007\/978-3-319-10431-7_13"},{"key":"319_CR28","doi-asserted-by":"crossref","unstructured":"Hajisheykhi, R., Ebnenasir, A., Kulkarni, S.S.: UFIT: A tool for modeling faults in UPPAAL timed automata. In: Proceedings NFM, pp. 429\u2013435 (2015)","DOI":"10.1007\/978-3-319-17524-9_32"},{"key":"319_CR29","doi-asserted-by":"publisher","unstructured":"Randell, B.: System structure for software fault tolerance. IEEE Trans. Softw. Eng., 1(2), 221\u2013232 (1975). [Online]. \n                    https:\/\/doi.org\/10.1109\/TSE.1975.6312842","DOI":"10.1109\/TSE.1975.6312842"},{"key":"319_CR30","doi-asserted-by":"publisher","unstructured":"Randell, B., Romanovsky, A., Rubira, C.M.F., Stroud, R.J., Wu, Z., Xu, J.: From recovery blocks to concurrent atomic actions. Springer, Berlin, pp. 87\u2013101. (1995) [Online]. \n                    https:\/\/doi.org\/10.1007\/978-3-642-79789-7_6","DOI":"10.1007\/978-3-642-79789-7_6"},{"issue":"1","key":"319_CR31","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2063239.2063240","volume":"21","author":"A Ebnenasir","year":"2011","unstructured":"Ebnenasir, A., Kulkarni, S.: Feasibility of stepwise design of multitolerant programs. ACM Trans. Softw. Eng. Methodol. 21(1), 1\u201349 (2011)","journal-title":"ACM Trans. Softw. Eng. Methodol."}],"container-title":["Distributed Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00446-017-0319-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00446-017-0319-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00446-017-0319-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,16]],"date-time":"2020-05-16T15:01:25Z","timestamp":1589641285000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00446-017-0319-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12,16]]},"references-count":31,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,2]]}},"alternative-id":["319"],"URL":"https:\/\/doi.org\/10.1007\/s00446-017-0319-x","relation":{},"ISSN":["0178-2770","1432-0452"],"issn-type":[{"type":"print","value":"0178-2770"},{"type":"electronic","value":"1432-0452"}],"subject":[],"published":{"date-parts":[[2017,12,16]]},"assertion":[{"value":"20 June 2016","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 December 2017","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 December 2017","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}