{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T11:33:33Z","timestamp":1783683213550,"version":"3.55.0"},"reference-count":58,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2013,7,28]],"date-time":"2013-07-28T00:00:00Z","timestamp":1374969600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1007\/s11334-013-0215-x","type":"journal-article","created":{"date-parts":[[2013,7,27]],"date-time":"2013-07-27T07:49:24Z","timestamp":1374911364000},"page":"293-318","source":"Crossref","is-referenced-by-count":6,"title":["Deliberative, search-based mitigation strategies for model-based software health management"],"prefix":"10.1007","volume":"9","author":[{"given":"Nagabhushan","family":"Mahadevan","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Abhishek","family":"Dubey","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Daniel","family":"Balasubramanian","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gabor","family":"Karsai","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2013,7,28]]},"reference":[{"issue":"2","key":"215_CR1","doi-asserted-by":"crossref","first-page":"240","DOI":"10.1109\/TIM.2008.2005958","volume":"58","author":"S Abdelwahed","year":"2009","unstructured":"Abdelwahed S, Karsai G, Mahadevan N, Ofsthun SC (2009) Practical considerations in systems diagnosis using timed failure propagation graph models. Instrum Meas IEEE Trans 58(2):240\u2013247","journal-title":"Instrum Meas IEEE Trans"},{"key":"215_CR2","unstructured":"ARINC (2010) ARINC specification 653p1-3: Avionics application software standard interface part 1 - required services. https:\/\/www.arinc.com\/"},{"key":"215_CR3","unstructured":"Australian Transport Safety Bureau (2005) In-flight upset; 240km NW Perth, WA; Boeing Co 777\u2013200, 9M-MRG. Tech. rep., http:\/\/www.atsb.gov.au\/publications\/investigation_reports\/2005\/aair\/aair200503722.aspx"},{"key":"215_CR4","unstructured":"Australian Transport Safety Bureau (2008) AO-2008-070: In-flight upset, 154 km west of Learmonth, WA, 7 October 2008, VH-QPA, Airbus A330\u2013303. Tech. rep., http:\/\/www.atsb.gov.au\/publications\/investigation_reports\/2008\/aair\/ao-2008-070.aspx"},{"key":"215_CR5","doi-asserted-by":"crossref","unstructured":"Bailleux O, Boufkhad Y (2003) Efficient cnf encoding of boolean cardinality constraints. In: Principles and practice of constraint programming-9th international conference (CP 2003), pp 108\u2013122","DOI":"10.1007\/978-3-540-45193-8_8"},{"key":"215_CR6","unstructured":"Barry M (2008) http:\/\/www.kestreltechnology.com\/downloads\/FailsafeOverview.pdf"},{"key":"215_CR7","doi-asserted-by":"crossref","unstructured":"Bengtsson J, Larsen K, Larsson F, Pettersson P, Yi W (1996) UPPAAL: a tool suite for automatic verification of real-time systems. In: Proceedings of the DIMACS\/SYCON workshop on Hybrid systems III\u2014 verification and control, Springer-Verlag New York, Inc., Secaucus, pp 232\u2013243","DOI":"10.1007\/BFb0020949"},{"key":"215_CR8","unstructured":"Bustard DW, Sterritt R (2006) A requirements engineering perspective on autonomic systems development. Autonomic computing. Concepts, infrastructure, and applications, pp 19\u201333"},{"key":"215_CR9","unstructured":"Butler R (2008) A primer on architectural level fault tolerance. Tech. rep., NASA scientific and technical information (STI) Program Office, Report No. NASA\/TM-2008-215108, available at http:\/\/shemesh.larc.nasa.gov\/fm\/papers\/Butler-TM-2008-215108-Primer-FT.pdf"},{"key":"215_CR10","unstructured":"Charette RN (2009) This car runs on code. IEEE Spectrum 46(3):3 http:\/\/www.spectrum.ieee.org\/feb09\/7649"},{"key":"215_CR11","doi-asserted-by":"crossref","unstructured":"Cheng BH (2009) Software engineering for self-adaptive systems. In: Chap software engineering for self-adaptive systems: a research roadmap. Springer-Verlag, Berlin, Heidelberg, pp 1\u201326, doi: 10.1007\/978-3-642-02161-9_1","DOI":"10.1007\/978-3-642-02161-9_1"},{"key":"215_CR12","unstructured":"Conmy P, McDermid J, Nicholson M (2002) Safety analysis and certification of open distributed systems. In: International system safety conference, Denver"},{"key":"215_CR13","doi-asserted-by":"crossref","unstructured":"Dashofy EM, van der Hoek A, Taylor RN (2002) Towards architecture-based self-healing systems. In: WOSS \u201902: Proceedings of the first workshop on Self-healing systems, ACM Press, New York, pp 21\u201326, doi: 10.1145\/582128.582133","DOI":"10.1145\/582128.582133"},{"issue":"12","key":"215_CR14","doi-asserted-by":"crossref","first-page":"1517","DOI":"10.1002\/spe.1083","volume":"41","author":"A Dubey","year":"2011","unstructured":"Dubey A, Karsai G, Mahadevan N (2011) A component model for hard real-time systems: CCM with ARINC-653. Softw Pract Exp 41(12):1517\u20131550. doi: 10.1002\/spe.1083","journal-title":"Softw Pract Exp"},{"key":"215_CR15","doi-asserted-by":"crossref","unstructured":"Dubey A, Karsai G, Mahadevan N (2011) Model-based software health management for real-time systems. In: Aerospace conference, 2011 IEEE, IEEE, pp 1\u201318","DOI":"10.1109\/AERO.2011.5747559"},{"key":"215_CR16","doi-asserted-by":"crossref","unstructured":"Dubey A, Mahadevan N, Karsai G (2012) A deliberative reasoner for model-based software health management. In: The eighth international conference on autonomic and autonomous systems, doi: 10.1109\/ISORC.2010.39","DOI":"10.1109\/ISORC.2010.39"},{"key":"215_CR17","unstructured":"Dubey A, Mahadevan N, Karsai G (2012) The inertial measurement unit example: a software health management case study. Tech. Rep. ISIS-12-101, Institute for Software Integrated Systems, Vanderbilt University, http:\/\/www.isis.vanderbilt.edu\/sites\/default\/files\/TechReport_IMU.pdf"},{"key":"215_CR18","doi-asserted-by":"crossref","unstructured":"Dubey A, Karsai G, Mahadevan N (2013) Fault-adaptivity in hard real-time component based systems. In: de Lemos R, Giese H, Muller HA, Shaw M (eds) Software engineering for self-adaptive systems II, no. 7475 in, Lecture Notes in Computer Science, Springer-Verlag, Berlin, pp 294\u2013323","DOI":"10.1007\/978-3-642-35813-5_12"},{"key":"215_CR19","unstructured":"E\u00e9n N, S\u00f6rensson N (2003) An extensible sat-solver. In: Theory and applications of satisfiability testing, 6th international conference (SAT 2003), pp 502\u2013518"},{"issue":"1\u20134","key":"215_CR20","first-page":"1","volume":"2","author":"N E\u00e9n","year":"2006","unstructured":"E\u00e9n N, S\u00f6rensson N (2006) Translating pseudo-boolean constraints into sat. JSAT 2(1\u20134):1\u201326","journal-title":"JSAT"},{"key":"215_CR21","unstructured":"Garlan D, Cheng SW, Schmerl B (2003) Architecting dependable systems. In: Chap increasing system dependability through architecture-based self-repair. Springer-Verlag, Berlin, pp 61\u201389, http:\/\/dl.acm.org\/citation.cfm?id=1768179.1768183"},{"key":"215_CR22","doi-asserted-by":"crossref","unstructured":"Goldberg A, Horvath G (2007) Software fault protection with ARINC 653. In: Proceeding of IEEE aerospace conference, Montana, pp 1\u201311","DOI":"10.1109\/AERO.2007.352946"},{"key":"215_CR23","unstructured":"Greenwell WS, Knight J, Knight JC (2003) What should aviation safety incidents teach us? Technical report, University of Virginia. http:\/\/dependability.cs.virginia.edu\/publications\/safecomp.2003.lessons.pdf"},{"key":"215_CR24","doi-asserted-by":"crossref","unstructured":"Jagadeesan LJ, Viswanathan R (2005) Passive mid-stream monitoring of real-time properties. In: EMSOFT \u201905: Proceedings of the 5th ACM international conference on Embedded software, ACM, New York, pp 343\u2013352, doi: 10.1145\/1086228.1086291","DOI":"10.1145\/1086228.1086291"},{"key":"215_CR25","doi-asserted-by":"crossref","DOI":"10.1002\/9781119994053","volume-title":"System health management: with aerospace applications","author":"SB Johnson","year":"2011","unstructured":"Johnson SB, Gormley TJ, Kessler SS, Mott CD, Patterson-Hine A, Reichard KM, Scandura PA (2011) System health management: with aerospace applications. Wiley, New York"},{"key":"215_CR26","doi-asserted-by":"crossref","unstructured":"Laprie JC (1995) Dependable computing and fault tolerance: concepts and terminology. In: Proceeding of twenty-fifth international symposium on fault-tolerant computing, \u2019 Highlights from Twenty-Five Years\u2019, p 2, http:\/\/ieeexplore.ieee.org\/iel3\/3846\/11214\/00532603.pdf?arnumber=532603","DOI":"10.1109\/FTCSH.1995.532603"},{"key":"215_CR27","unstructured":"Laprie JC, Arlat J, B\u2019eounes C, Kanoun K (1995) Architectural issues in software fault-tolerance, chapter 2. Software Fault Tolerance http:\/\/www.cse.cuhk.edu.hk\/lyu\/book\/sft\/pdf\/chap3.pdf"},{"issue":"1","key":"215_CR28","first-page":"71","volume":"3","author":"S Lightstone","year":"2007","unstructured":"Lightstone S (2007) Seven software engineering principles for autonomic computing development. ISSE 3(1):71\u201374","journal-title":"ISSE"},{"key":"215_CR29","unstructured":"Lyu MR (1995) Software fault tolerance, Wiley, New York http:\/\/www.cse.cuhk.edu.hk\/lyu\/book\/sft\/"},{"key":"215_CR30","doi-asserted-by":"crossref","unstructured":"Lyu MR (2007) Software reliability engineering: a roadmap. In: 2007 Future of software engineering, IEEE computer society, FOSE \u201907, Washington, pp 153\u2013170. doi: 10.1109\/FOSE.2007.24","DOI":"10.1109\/FOSE.2007.24"},{"key":"215_CR31","doi-asserted-by":"crossref","unstructured":"Mahadevan N, Dubey A, Karsai G (2011) Application of software health management techniques. In: Proceedings of the 6th international symposium on software engineering for adaptive and self-managing systems, SEAMS \u201911, ACM, New York, pp 1\u201310.doi: 10.1145\/1988008.1988010","DOI":"10.1145\/1988008.1988010"},{"key":"215_CR32","unstructured":"Mahadevan N, Dubey A, Balasubramaniam D, Karsai G (2013) Deliberative reasoning in software health management. Tech. Rep. ISIS-13-111, Institute for Software Integrated Systems, Vanderbilt University, http:\/\/www.isis.vanderbilt.edu\/sites\/default\/files\/TechReport2013.pdf"},{"key":"215_CR33","doi-asserted-by":"crossref","unstructured":"Marques-Silva J, Lynce I (2007) Towards robust cnf encodings of cardinality constraints. In: Bessi\u00e8re C (ed) Proceedings of 13th international conference on principles and practice of constraint programming (CP2007), LNCS, vol 4741. Springer, Heidelberg, pp 483\u2013497","DOI":"10.1007\/978-3-540-74970-7_35"},{"key":"215_CR34","unstructured":"Mcintyre MDW, Sebring DL (1994) Integrated fault-tolerant air data inertial reference system. Future of Software Engineering, pp 153\u2013170"},{"key":"215_CR35","doi-asserted-by":"crossref","unstructured":"Potocti de Montalk J (1991) Computer software in civil aircraft. In: Proceedings. IEEE\/AIAA 10th digital avionics systems conference, 1991. pp 324\u2013330, doi: 10.1109\/DASC.1991.177187","DOI":"10.1109\/DASC.1991.177187"},{"key":"215_CR36","doi-asserted-by":"crossref","unstructured":"de Moura LM, Bj\u00f8rner N (2008) Z3: An efficient smt solver. In: Tools and algorithms for the construction and analysis of systems (TACAS), New York, pp 337\u2013340","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"215_CR37","unstructured":"NASA (2000) Report on the loss of the mars polar lander and deep space 2 missions. Tech. rep., NASA, ftp:\/\/ftp.hq.nasa.gov\/pub\/pao\/reports\/2000\/2000_mpl_report_1.pdf"},{"key":"215_CR38","unstructured":"Nicholson M (2007) Health monitoring for reconfigurable integrated control systems. In: Constituents of modern system safety thinking proceedings of the thirteenth safety-critical systems symposium, vol 5, pp 149\u2013162"},{"issue":"3","key":"215_CR39","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1109\/MIM.2002.1028368","volume":"5","author":"S Ofsthun","year":"2002","unstructured":"Ofsthun S (2002) Integrated vehicle health management for aerospace platforms. Instrum Meas Mag IEEE 5(3):21\u201324. doi: 10.1109\/MIM.2002.1028368","journal-title":"Instrum Meas Mag IEEE"},{"key":"215_CR40","doi-asserted-by":"crossref","unstructured":"Pike L, Goodloe A, Morisset R, Niller S (2010) Copilot: a hard real-time runtime monitor. In: Runtime verification, Springer, pp 345\u2013359","DOI":"10.1007\/978-3-642-16612-9_26"},{"key":"215_CR41","volume-title":"Software fault tolerance techniques and implementation","author":"LL Pullum","year":"2001","unstructured":"Pullum LL (2001) Software fault tolerance techniques and implementation. Artech House, Inc., Norwood"},{"issue":"3","key":"215_CR42","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1145\/1118178.1118200","volume":"49","author":"P Robertson","year":"2006","unstructured":"Robertson P, Williams B (2006) Automatic recovery from software failure. Commun ACM 49(3):41\u201347. doi: 10.1145\/1118178.1118200","journal-title":"Commun ACM"},{"key":"215_CR43","unstructured":"Rohr M, Boskovic M, Giesecke S, Hasselbring W (2006) Models in software engineering, workshops, and symposia at models 2006. In: Proceedings of the workshop \u201cModels@run.time\u201d at the 9th international conference on model driven engineering languages and systems (MoDELS\/UML\u201906), vol 4364. University of Massachusetts, Boston"},{"key":"215_CR44","doi-asserted-by":"crossref","unstructured":"Sammapun U, Lee I, Sokolsky O (2005) Rt- Ma C: runtime monitoring and checking of quantitative and probabilistic properties. In: Proceeding of 11th IEEE international conference on embedded and real-time computing systems and applications, pp 147\u2013153. doi: 10.1109\/RTCSA.2005.84","DOI":"10.1109\/RTCSA.2005.84"},{"key":"215_CR45","doi-asserted-by":"crossref","unstructured":"Schumann J, Srivastava AN, Mengshoel OJ (2010) Who guards the guardians?: toward v &#v of health management software. In: Proceedings of the First international conference on Runtime verification, RV\u201910, Springer-Verlag, Heidelberg, pp 399\u2013404. http:\/\/dl.acm.org\/citation.cfm?id=1939399.1939432","DOI":"10.1007\/978-3-642-16612-9_30"},{"key":"215_CR46","unstructured":"Sha L (2006) The complexity challenge in modern avionics software. In: National Workshop on aviation software systems, design for certifiably dependable systems, Alexandria"},{"key":"215_CR47","doi-asserted-by":"crossref","unstructured":"Shaw M (2002) \u201cself-healing\u201d: softening precision to avoid brittleness: position paper for woss \u201902: workshop on self-healing systems. In: WOSS \u201902: Proceedings of the first workshop on self-healing systems, ACM Press, New York, pp 111\u2013114. doi: 10.1145\/582128.582152","DOI":"10.1145\/582128.582152"},{"key":"215_CR48","doi-asserted-by":"crossref","unstructured":"Sheffels M (1992) A fault-tolerant air data\/inertial reference unit. In: Proceedings of IEEE\/AIAA 11th digital avionics systems conference, 1992, pp 127\u2013131, doi: 10.1109\/DASC.1992.282171","DOI":"10.1109\/DASC.1992.282171"},{"key":"215_CR49","unstructured":"Srivastava A, Schumann J (2011) The case for software health management. In: Fourth IEEE international conference on space mission challenges for information technology, 2011. SMC-IT 2011, pp 3\u20139"},{"key":"215_CR50","doi-asserted-by":"crossref","unstructured":"Taleb-Bendiab A, Bustard DW, Sterritt R, Laws AG, Keenan F (2005) Model-based self-managing systems engineering. In: DEXA workshops, pp 155\u2013159","DOI":"10.1109\/DEXA.2005.137"},{"key":"215_CR51","unstructured":"Torres-pomales W (2000) Software fault tolerance: a tutorial. Tech. rep., NASA, http:\/\/citeseerx.ist.psu.edu\/viewdoc\/summary?doi=10.1.1.32.8307"},{"key":"215_CR52","first-page":"115","volume":"II","author":"GS Tseitin","year":"1968","unstructured":"Tseitin GS (1968) On the complexity of derivations in the propositional calculus. Stud Math Math Log Part II:115\u2013125","journal-title":"Stud Math Math Log Part"},{"key":"215_CR53","unstructured":"Wang N, Schmidt DC, O\u2019Ryan C (2001) Overview of the CORBA component model. In: Component-based software engineering: putting the pieces together, Addison-Wesley Longman Publishing Co., Inc., Boston, pp 557\u2013571"},{"key":"215_CR54","doi-asserted-by":"crossref","unstructured":"Wang S, Ayoub A, Sokolsky O, Lee I (2012) Runtime verification of traces under recording uncertainty. In: Proceedings of the second international conference on runtime verification, RV\u201911. Springer-Verlag, Berlin, pp 442\u2013456. doi: 10.1007\/978-3-642-29860-8_35","DOI":"10.1007\/978-3-642-29860-8_35"},{"issue":"1","key":"215_CR55","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1109\/JPROC.2002.805828","volume":"91","author":"B Williams","year":"2003","unstructured":"Williams B, Williams B, Ingham M, Chung S, Elliott P (2003) Model-based programming of intelligent embedded systems and robotic space explorers. Proc IEEE 91(1):212\u2013237. doi: 10.1109\/JPROC.2002.805828","journal-title":"Proc IEEE"},{"issue":"4","key":"215_CR56","first-page":"61","volume":"24","author":"BC Williams","year":"2004","unstructured":"Williams BC, Ingham M, Chung S, Elliott P, Hofbaur M, Sullivan GT (2004) Model-based programming of fault-aware systems. AI Mag 24(4):61\u201375","journal-title":"AI Mag"},{"key":"215_CR57","doi-asserted-by":"crossref","unstructured":"Zhang J, Cheng BHC (2005) Specifying adaptation semantics. In: WADS \u201905: Proceedings of the 2005 workshop on architecting dependable systems, ACM, New York, pp 1\u20137. doi: 10.1145\/1083217.1083220","DOI":"10.1145\/1083217.1083220"},{"key":"215_CR58","doi-asserted-by":"crossref","unstructured":"Zhang J, Cheng BHC (2006) Model-based development of dynamically adaptive software. In: ICSE \u201906: Proceeding of the 28th international conference on software engineering, ACM, New York, pp 371\u2013380, doi: 10.1145\/1134285.1134337","DOI":"10.1145\/1134285.1134337"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-013-0215-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11334-013-0215-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-013-0215-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,19]],"date-time":"2019-07-19T20:16:27Z","timestamp":1563567387000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11334-013-0215-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7,28]]},"references-count":58,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2013,12]]}},"alternative-id":["215"],"URL":"https:\/\/doi.org\/10.1007\/s11334-013-0215-x","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"value":"1614-5046","type":"print"},{"value":"1614-5054","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,7,28]]}}}