{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,5]],"date-time":"2025-08-05T12:38:14Z","timestamp":1754397494903,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319153162"},{"type":"electronic","value":"9783319153179"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-15317-9_10","type":"book-chapter","created":{"date-parts":[[2015,1,29]],"date-time":"2015-01-29T06:05:37Z","timestamp":1422511537000},"page":"162-180","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Synthesis of a Reconfiguration Service for Mixed-Criticality Multi-Core Systems: An\u00a0Experience Report"],"prefix":"10.1007","author":[{"given":"Md Tawhid Bin","family":"Waez","sequence":"first","affiliation":[]},{"given":"Andrzej","family":"W\u0105sowski","sequence":"additional","affiliation":[]},{"given":"Juergen","family":"Dingel","sequence":"additional","affiliation":[]},{"given":"Karen","family":"Rudie","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,1,30]]},"reference":[{"issue":"2","key":"10_CR1","first-page":"229","volume":"32","author":"Y Zhang","year":"2008","unstructured":"Zhang, Y., Jiang, J.: Bibliographical review on reconfigurable fault-tolerant control systems. ARC 32(2), 229\u2013252 (2008)","journal-title":"ARC"},{"issue":"3","key":"10_CR2","doi-asserted-by":"publisher","first-page":"636","DOI":"10.1109\/TCST.2009.2026285","volume":"18","author":"I Hwang","year":"2010","unstructured":"Hwang, I., Kim, S., Kim, Y., Seah, C.E.: A survey of fault detection, isolation, and reconfiguration methods. IEEE Trans. Control Syst. Technol. 18(3), 636\u2013653 (2010)","journal-title":"IEEE Trans. Control Syst. Technol."},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/3-540-59042-0_76","volume-title":"STACS 95","author":"O Maler","year":"1995","unstructured":"Maler, O., Pnueli, A., Sifakis, J.: On the synthesis of discrete controllers for timed systems. In: Mayr, E.W., Puech, C. (eds.) STACS 1995. LNCS, vol. 900, pp. 229\u2013242. Springer, Heidelberg (1995)"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Asarin, E., Maler, O., Pnueli, A., Sifakis, J.: Controller synthesis for timed automata. In: SSC (1998)","DOI":"10.1016\/S1474-6670(17)42032-5"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/978-3-540-45187-7_9","volume-title":"CONCUR 2003 - Concurrency Theory","author":"L de Alfaro","year":"2003","unstructured":"de Alfaro, L., Faella, M., Henzinger, T.A., Majumdar, R., Stoelinga, M.: The element of surprise in timed games. In: Amadio, R.M., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol. 2761, pp. 144\u2013158. Springer, Heidelberg (2003)"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-540-73368-3_14","volume-title":"Computer Aided Verification","author":"G Behrmann","year":"2007","unstructured":"Behrmann, G., Cougnard, A., David, A., Fleury, E., Larsen, K.G., Lime, D.: UPPAAL-Tiga: time for playing games!. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol. 4590, pp. 121\u2013125. Springer, Heidelberg (2007)"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1007\/978-3-642-22110-1_52","volume-title":"Computer Aided Verification","author":"H-J Peter","year":"2011","unstructured":"Peter, H.-J., Ehlers, R., Mattm\u00fcller, R.: Synthia: verification and synthesis for timed automata. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 649\u2013655. Springer, Heidelberg (2011)"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1007\/978-3-642-25271-6_18","volume-title":"Formal Methods for Components and Objects","author":"A David","year":"2011","unstructured":"David, A., Grunnet, J.D., Jessen, J.J., Larsen, K.G., Rasmussen, J.I.: Application of model-checking technology to controller synthesis. In: Aichernig, B.K., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2010. LNCS, vol. 6957, pp. 336\u2013351. Springer, Heidelberg (2011)"},{"key":"10_CR9","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. TCS 126, 183\u2013235 (1994)","journal-title":"TCS"},{"key":"10_CR10","first-page":"1","volume":"9","author":"MTB Waez","year":"2013","unstructured":"Waez, M.T.B., Dingel, J., Rudie, K.: A survey of timed automata for the development of real-time systems. CSR 9, 1\u201326 (2013)","journal-title":"CSR"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/3-540-45739-9_14","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"S Tripakis","year":"2002","unstructured":"Tripakis, S.: Fault diagnosis for timed automata. In: Damm, W., Olderog, E.-R. (eds.) FTRTFT 2002. LNCS, vol. 2469, pp. 205\u2013221. Springer, Heidelberg (2002)"},{"key":"10_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/978-3-540-31982-5_14","volume-title":"Foundations of Software Science and Computational Structures","author":"P Bouyer","year":"2005","unstructured":"Bouyer, P., Chevalier, F., D\u2019Souza, D.: Fault diagnosis using timed automata. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol. 3441, pp. 219\u2013233. Springer, Heidelberg (2005)"},{"key":"10_CR13","doi-asserted-by":"publisher","first-page":"1678","DOI":"10.1016\/j.jss.2009.04.042","volume":"82","author":"L Waszniowski","year":"2009","unstructured":"Waszniowski, L., Kr\u00e1kora, J., Hanz\u00e1lek, Z.: Case study on distributed and fault tolerant system modeling based on timed automata. J. Syst. Softw. 82, 1678\u20131694 (2009)","journal-title":"J. Syst. Softw."},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Lv, M., Yi, W., Guan, N., Yu, G.: Combining abstract interpretation with model checking for timing analysis of multicore software. In: RTSS (2010)","DOI":"10.1109\/RTSS.2010.30"},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-642-33365-1_8","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"AE Dalsgaard","year":"2012","unstructured":"Dalsgaard, A.E., Laarman, A., Larsen, K.G., Olesen, M.C., van de Pol, J.: Multi-core reachability for timed automata. In: Jurdzi\u0144ski, M., Ni\u010dkovi\u0107, D. (eds.) FORMATS 2012. LNCS, vol. 7595, pp. 91\u2013106. Springer, Heidelberg (2012)"},{"key":"10_CR16","doi-asserted-by":"publisher","first-page":"1149","DOI":"10.1016\/j.ic.2007.01.009","volume":"205","author":"E Fersman","year":"2007","unstructured":"Fersman, E., Kr\u010d\u00e1l, P., Pettersson, P., Yi, W.: Task automata: schedulability, decidability and undecidability. Inf. Comput. 205, 1149\u20131172 (2007)","journal-title":"Inf. Comput."},{"key":"10_CR17","unstructured":"Socci, D., Poplavko, P., Bensalem, S., Bozga, M.: Modeling mixed-critical systems in real-time BIP. In: ReTiMiCS (2013)"},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Kaynar, D.K., Lynch, N.A., Segala, R., Vaandrager, F.W.: The theory of timed I\/O automata. In: SLCS (2006)","DOI":"10.1007\/978-3-031-01794-0"},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"David, A., Larsen, K.G., Legay, A., Nyman, U., W\u0105sowski, A.: Timed I\/O automata: a complete specification theory for real-time systems. In: HSCC (2010)","DOI":"10.1145\/1755952.1755967"},{"key":"10_CR20","unstructured":"Waez, M.T.B., W\u0105sowski, A., Dingel, J., Rudie, K.: Synthesis of a reconfiguration service for mixed-criticality multi-core systems. Technical Report 2014\u2013619, Queen\u2019s University, ON (2014). http:\/\/research.cs.queensu.ca\/TechReports\/Reports\/2014-619.pdf"},{"key":"10_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/978-3-662-46081-8_9","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"MTB Waez","year":"2015","unstructured":"Waez, M.T.B., W\u0105sowski, A., Dingel, J., Rudie, K.: A model for industrial real-time systems. In: D\u2019Souza, D., Lal, A., Larsen, K.G. (eds.) VMCAI 2015. LNCS, vol. 8931, pp. 153\u2013171. Springer, Heidelberg (2015)"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-15317-9_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T20:03:59Z","timestamp":1676923439000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-15317-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319153162","9783319153179"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-15317-9_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"30 January 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}