{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,13]],"date-time":"2025-01-13T05:40:01Z","timestamp":1736746801896,"version":"3.32.0"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2007,1,24]],"date-time":"2007-01-24T00:00:00Z","timestamp":1169596800000},"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":[[2007,2,12]]},"DOI":"10.1007\/s11334-006-0015-7","type":"journal-article","created":{"date-parts":[[2007,1,23]],"date-time":"2007-01-23T14:31:35Z","timestamp":1169562695000},"page":"33-52","source":"Crossref","is-referenced-by-count":12,"title":["Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems"],"prefix":"10.1007","volume":"3","author":[{"given":"Abhishek","family":"Dubey","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steve","family":"Nordstrom","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Turker","family":"Keskinpala","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sandeep","family":"Neema","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ted","family":"Bapty","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabor","family":"Karsai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,1,24]]},"reference":[{"issue":"2","key":"15_CR1","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1023\/A:1008241818642","volume":"8","author":"A Aghasaryan","year":"1998","unstructured":"Aghasaryan A, Fabre E, Benveniste A, Boubour R, Jard C (1998) Fault detection and diagnosis in distributed systems: an approach by partially stochastic petri nets. Discrete Event Dyn Syst 8(2):203\u2013231","journal-title":"Discrete Event Dyn Syst"},{"issue":"3","key":"15_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1121802.1121804","volume":"2","author":"S Ahuja","year":"2005","unstructured":"Ahuja S, Bapty T, Cheung H, Haney M, Kalbarczyk Z, Khanna A, Kowalkowski J, Messie D, Mosse D, Neema S, Nordstrom S, Oh J, Sheldon P, Shetty S, Wang L, Yao D (2005) RTES demo system2004. SIGBED Rev 2(3):1\u20136","journal-title":"SIGBED Rev"},{"issue":"2","key":"15_CR3","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur R, Dill DL (1994) A theory of timed automata. Theor Comput Sci 126(2):183\u2013235","journal-title":"Theor Comput Sci"},{"doi-asserted-by":"crossref","unstructured":"Behrmann G, David A, Larsen KG (2004) A tutorial on uppaal. In: SFM, pp 200\u2013236","key":"15_CR4","DOI":"10.1007\/978-3-540-30080-9_7"},{"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: verification and control. Springer-Verlag, New York, Inc., Secaucus, pp 232\u2013243","key":"15_CR5","DOI":"10.1007\/BFb0020949"},{"key":"15_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/0-387-27578-9","volume-title":"Hard real-time computing systems: predictable scheduling algorithms and applications","author":"GC Buttazzo","year":"2005","unstructured":"Buttazzo GC (2005) Hard real-time computing systems: predictable scheduling algorithms and applications. Kluwer, Norwell"},{"key":"15_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-4070-7","volume-title":"Introduction to discrete event systems","author":"CG Cassandras","year":"1999","unstructured":"Cassandras CG, Lafortune S (1999) Introduction to discrete event systems. Kluwer, Norwell"},{"key":"15_CR8","volume-title":"Model checking","author":"EM Clarke","year":"2000","unstructured":"Clarke EM, Grumberg O, Peled DA (2000) Model checking. MIT Press, Cambridge"},{"issue":"1","key":"15_CR9","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J de Kleer","year":"1987","unstructured":"de Kleer J, Williams BC (1987) Diagnosing multiple faults. Artif Intell 32(1):97\u2013130","journal-title":"Artif Intell"},{"doi-asserted-by":"crossref","unstructured":"Dubey A, Nordstrom S, Keskinpala T, Neema S, Bapty T (2006) Verifying autonomic fault mitigation strategies in large scale real-time systems. In: EASE, pp 129\u2013140","key":"15_CR10","DOI":"10.1109\/EASE.2006.24"},{"issue":"3","key":"15_CR11","doi-asserted-by":"crossref","first-page":"459","DOI":"10.1016\/0005-1098(90)90018-D","volume":"26","author":"PM Frank","year":"1990","unstructured":"Frank PM (1990) Fault diagnosis in dynamic systems using analytical and knowledge-based redundancy a survey and some new results. Automatica 26(3):459\u2013474","journal-title":"Automatica"},{"key":"15_CR12","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/3-540-45177-3_3","volume-title":"Architecting dependable systems","author":"D Garlan","year":"2003","unstructured":"Garlan D, Cheng SW, Schmerl B (2003) Increasing system dependability through architecture-based self-repair. In: de Lemos R, Gacek C, Romanorsky A (eds) Architecting dependable systems. Springer, Berlin, pp 61\u201389"},{"key":"15_CR13","volume-title":"Fault detection and diagnosis in engineering systems","author":"J Gertler","year":"1998","unstructured":"Gertler J (1998) Fault detection and diagnosis in engineering systems. Marcel Dekker, New York"},{"unstructured":"Gutleber J et\u00a0al (2001) Clustered data acquisition for the CMS experiment. In: International conference on computing in high energy and nuclear physics","key":"15_CR14"},{"doi-asserted-by":"crossref","unstructured":"Haney M, Ahuja S, Bapty T, Cheung H, Kalbarczyk Z, Khanna A, Kowalkowski J, Messie D, Mosse D, Neema S, Nordstrom S, Oh J, Sheldon P, Shetty S, Volper D, Wang L, Yao D (2005) The RTES project \u2013 btev, and beyond. In: Real time conference, 2005, 14th IEEE-NPSS, pp 143\u2013146","key":"15_CR15","DOI":"10.1109\/RTC.2005.1547464"},{"issue":"2","key":"15_CR16","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1006\/inco.1994.1045","volume":"111","author":"T Henzinger","year":"1994","unstructured":"Henzinger T, Nicollin X, Sifakis J, Yovine S (1994) Symbolic model checking for real time systems. Inf Comput 111(2):193\u2013244","journal-title":"Inf Comput"},{"key":"15_CR17","volume-title":"Logic in computer science: modelling and reasoning about systems","author":"M Huth","year":"2000","unstructured":"Huth M, Ryan M (2000) Logic in computer science: modelling and reasoning about systems, 2nd edn. Cambridge University Press, Cambridge","edition":"2"},{"unstructured":"Krc\u00e1l P, Yi W (2004) Decidable and undecidable problems in schedulability analysis using timed automata. In: TACAS, pp 236\u2013250","key":"15_CR18"},{"unstructured":"Kwan S (2002) The btev pixel detector and trigger system. In: FERMILAB-Conf-02\/313","key":"15_CR19"},{"issue":"1\u20132","key":"15_CR20","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/S0004-3702(02)00123-6","volume":"137","author":"G Lamperti","year":"2002","unstructured":"Lamperti G, Zanella M (2002) Diagnosis of discrete event systems from uncertain temporal observations. Artif Intell 137(1\u20132):91\u2013163","journal-title":"Artif Intell"},{"unstructured":"Lerner U, Parr R, Koller D, Biswas G (2000) Bayesian fault detection and diagnosis in dynamic systems. In: Proceedings of the 17th National conference on artificial intelligence and 12th conference on innovative applications of artificial intelligence. The MIT Press, Cambridge, pp 531\u2013537","key":"15_CR21"},{"issue":"3","key":"15_CR22","doi-asserted-by":"crossref","first-page":"322","DOI":"10.1109\/3468.844356","volume":"30","author":"J Lunze","year":"2000","unstructured":"Lunze J (2000) Diagnosis of quantized systems based on a timed discrete-event model. IEEE Trans Syst Man Cybern A 30(3):322\u2013335","journal-title":"IEEE Trans Syst Man Cybern A"},{"doi-asserted-by":"crossref","unstructured":"Madl G, Abdelwahed S, Karsai G (2004) Automatic verification of component-based real-time corba applications. In: RTSS, pp 231\u2013240","key":"15_CR23","DOI":"10.1109\/REAL.2004.13"},{"unstructured":"Nordstrom S, Bapty T, Neema S, Dubey A, Keskinpala T (2006a) A guided explorative approach for autonomic healing of model based systems. In: Second IEEE conference on space mission challenges for information technology (SMC-IT)","key":"15_CR24"},{"doi-asserted-by":"crossref","unstructured":"Nordstrom S, Dubey A, Keskinpala T, Bapty T, Neema S (2006b) Ghost: guided healing and optimization search technique for healing large-scale embedded systems. In: 3rd IEEE international workshop on engineering of autonomic and autonomous systems (EASE\u201906)","key":"15_CR25","DOI":"10.1109\/EASE.2006.8"},{"issue":"3","key":"15_CR26","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1109\/TSMCC.2006.871597","volume":"36","author":"S Nordstrom","year":"2006","unstructured":"Nordstrom S, Shetty S, Neema SK, Bapty TA (2006) Modeling reflex-healing autonomy for large scale embedded systems. IEEE Trans Syst Man Cybern C 36(3):292\u2013303","journal-title":"IEEE Trans Syst Man Cybern C"},{"unstructured":"Parashar M, Hariri S (2004) Autonomic computing: an overview. In: UPP, pp 257\u2013269","key":"15_CR27"},{"unstructured":"Patton RJ, Frank PM, Clarke RN (eds) (1989) Fault diagnosis in dynamic systems: theory and application. Prentice-Hall, Inc., Upper Saddle River","key":"15_CR28"},{"doi-asserted-by":"crossref","unstructured":"Rafea AA, Desouki AE, El-Moniem S (1990) Combined model expert system for electronics fault diagnosis. In: IEA\/AIE \u201990: Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems. ACM Press, New York, pp 23\u201331.DOI http:\/\/doi.acm.org\/10.1145\/98784.98793","key":"15_CR29","DOI":"10.1145\/98784.98793"},{"issue":"1","key":"15_CR30","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"P Ramadge","year":"1987","unstructured":"Ramadge P, Wonham W (1987) Supervisory control of a class of discrete event processes. Siam J Control Optim 25(1):206\u2013230","journal-title":"Siam J Control Optim"},{"key":"15_CR31","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1007\/978-1-4612-1414-4_5","volume-title":"Modeling and simulation in science and mathematics education","author":"M Resnick","year":"1999","unstructured":"Resnick M (1999) Decentralized modeling and decentralized thinking. In: Feurzeig W, Roberts N (eds) Modeling and simulation in science and mathematics education. Springer, New York, pp 114\u2013137"},{"key":"15_CR32","first-page":"75","volume-title":"Artificial intelligence, simulation and modeling","author":"J Rothenberg","year":"1989","unstructured":"Rothenberg J (1989) The nature of modeling. In: Widman LE, Loparo KA, Nielsen NR (eds) Artificial intelligence, simulation and modeling. Wiley, New York, pp 75\u201392"},{"issue":"2","key":"15_CR33","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1109\/87.486338","volume":"4","author":"M Sampath","year":"1996","unstructured":"Sampath M, Sengupta R, Lafortune S, Sinnamohideen K, Teneketzis D (1996) Failure diagnosis using discrete-event models. IEEE Trans Control Syst Technol 4(2):105\u2013124","journal-title":"IEEE Trans Control Syst Technol"},{"doi-asserted-by":"crossref","unstructured":"Shetty S, Nordstrom S, Ahuja S, Yao D, Bapty T, Neema S (2005) Systems integration of large scale autonomic systems using multiple domain specific modeling languages. In: ECBS, pp 481\u2013489","key":"15_CR34","DOI":"10.1109\/ECBS.2005.65"},{"issue":"1","key":"15_CR35","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/s11334-005-0001-5","volume":"1","author":"R Sterritt","year":"2005","unstructured":"Sterritt R (2005) Autonomic computing. Innovations in Syst Softw Eng 1(1):79\u201388","journal-title":"Innovations in Syst Softw Eng"},{"doi-asserted-by":"crossref","unstructured":"Sterritt R, Hinchey MG (2005) Autonomic computing \u2013 panacea or poppycock? In: ECBS, pp 535\u2013539","key":"15_CR36","DOI":"10.1109\/ECBS.2005.22"},{"issue":"3","key":"15_CR37","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1109\/TSMCC.2006.871600","volume":"36","author":"WF Truszkowski","year":"2006","unstructured":"Truszkowski WF, Hinchey MG, Rash JL, Rouff CA (2006) Autonomous and autonomic systems: a paradigm for future space exploration missions. IEEE Trans Syst Man Cybern C 36(3):279\u2013291","journal-title":"IEEE Trans Syst Man Cybern C"},{"key":"15_CR38","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1109\/24.52615","volume":"39","author":"RD Vries","year":"1990","unstructured":"Vries RD (1990) An automated methodology for generating a fault tree. IEEE Trans Reliab 39:76\u201386","journal-title":"IEEE Trans Reliab"},{"unstructured":"Yao D, Neema S, Nordstrom S, Shetty S, Ahuja S, Bapty T (2005) Specification and implementation of autonomic large-scale system behaviors using domain specific modeling language tools. In: Proceedings of international conference on software engineering and practice","key":"15_CR39"},{"key":"15_CR40","first-page":"110","volume":"126","author":"S Yovine","year":"1997","unstructured":"Yovine S (1997) Kronos: a verification tool for real-time systems. Int J Softw Tools Technol Transfer 126:110\u2013122","journal-title":"Int J Softw Tools Technol Transfer"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-006-0015-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11334-006-0015-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-006-0015-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,13]],"date-time":"2025-01-13T04:31:01Z","timestamp":1736742661000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11334-006-0015-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,1,24]]},"references-count":40,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2007,2,12]]}},"alternative-id":["15"],"URL":"https:\/\/doi.org\/10.1007\/s11334-006-0015-7","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"type":"print","value":"1614-5046"},{"type":"electronic","value":"1614-5054"}],"subject":[],"published":{"date-parts":[[2007,1,24]]}}}