{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:40:07Z","timestamp":1750200007304,"version":"3.41.0"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319576657"},{"type":"electronic","value":"9783319576664"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","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":[[2017]]},"DOI":"10.1007\/978-3-319-57666-4_10","type":"book-chapter","created":{"date-parts":[[2017,4,12]],"date-time":"2017-04-12T12:18:42Z","timestamp":1491999522000},"page":"153-171","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems"],"prefix":"10.1007","author":[{"given":"Boris","family":"Madzar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jalil","family":"Boudjadar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juergen","family":"Dingel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas E.","family":"Fuhrman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Ramesh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,4,13]]},"reference":[{"unstructured":"ISO 26262-1:2011D Road vehicles-Functional safety. Technical report, ISO (2011)","key":"10_CR1"},{"doi-asserted-by":"crossref","unstructured":"Bebelis, V., Fradet, P., Girault, A., Lavigueur, B.: BPDF: a statically analyzable dataflow model with integer and boolean parameters. In: EMSOFT 2013, pp. 3:1\u20133:10. IEEE Press (2013)","key":"10_CR2","DOI":"10.1109\/EMSOFT.2013.6658581"},{"doi-asserted-by":"crossref","unstructured":"Bondarev, E., Chaudron, M., de With, P.: Compositional performance analysis of component-based systems on heterogeneous multiprocessor platforms. In: SEAA 2006, pp. 81\u201391, August 2006","key":"10_CR3","DOI":"10.1109\/EUROMICRO.2006.31"},{"key":"10_CR4","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-319-29510-7_4","volume-title":"Formal Techniques for Safety-Critical Systems","author":"A Boudjadar","year":"2016","unstructured":"Boudjadar, A., Dingel, J., Madzar, B., Kim, J.H.: Compositional predictability analysis of mixed critical real time systems. In: Artho, C., \u00d6lveczky, P.C. (eds.) FTSCS 2015. CCIS, vol. 596, pp. 69\u201384. Springer, Cham (2016). doi: 10.1007\/978-3-319-29510-7_4"},{"unstructured":"Boudjadar, A., Kim, J.H., Larsen, K.G., Nyman, U.: Compositional schedulability analysis of an avionics system using UPPAAL. In: Proceedings of ICAASE 2014, pp. 140\u2013147 (2014)","key":"10_CR5"},{"doi-asserted-by":"crossref","unstructured":"Chabrol, D., Aussagues, C., David, V.: A spatial and temporal partitioning approach for dependable automotive systems. In: IEEE Conference on Emerging Technologies Factory Automation, pp. 1\u20138 (2009)","key":"10_CR6","DOI":"10.1109\/ETFA.2009.5347125"},{"doi-asserted-by":"crossref","unstructured":"de Niz, D., Lakshmanan, K., Rajkumar, R.: On the scheduling of mixed-criticality real-time task sets. In: RTSS 2009, pp. 291\u2013300 (2009)","key":"10_CR7","DOI":"10.1109\/RTSS.2009.46"},{"doi-asserted-by":"crossref","unstructured":"Feiler, P., Lewis, B., Vestal, S.: Improving predictability in embedded real-time systems. Technical report CMU\/SEI-2000-SR-011, December 2000","key":"10_CR8","DOI":"10.21236\/ADA387086"},{"unstructured":"Fredriksson, J.: Improving predictability and resource utilization in component-based embedded real-time systems. Ph.D. thesis, M\u00e4lardalen University (2008)","key":"10_CR9"},{"unstructured":"Garousi, V., Briand, L., Labiche, Y.: A unified approach for predictability analysis of real-time systems using UML-based control flow information. In: G\u00e9rard, S., Graf, S., Haugen, O., Selic, B. (eds.) MARTES 2005, Workshop on Modelling and Analysis of Real Time and Embedded Systems, with MODELS (2005). http:\/\/link.springer.com\/chapter\/10.1007\/11663430_7","key":"10_CR10"},{"key":"10_CR11","doi-asserted-by":"publisher","first-page":"3727","DOI":"10.1098\/rsta.2008.0141","volume":"366","author":"TA Henzinger","year":"2008","unstructured":"Henzinger, T.A.: Two challenges in embedded systems design: predictability and robustness. Philos. Trans. R. Soc. A Math. Phys. Eng. Sci. 366, 3727\u20133736 (2008)","journal-title":"Philos. Trans. R. Soc. A Math. Phys. Eng. Sci."},{"key":"10_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/3-540-45449-7_12","volume-title":"Embedded Software","author":"TA Henzinger","year":"2001","unstructured":"Henzinger, T.A., Horowitz, B., Kirsch, C.M.: Giotto: a time-triggered language for embedded programming. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol. 2211, pp. 166\u2013184. Springer, Heidelberg (2001). doi: 10.1007\/3-540-45449-7_12"},{"key":"10_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/BFb0031995","volume-title":"Real-Time: Theory in Practice","author":"TA Henzinger","year":"1992","unstructured":"Henzinger, T.A., Manna, Z., Pnueli, A.: Timed transition systems. In: Bakker, J.W., Huizing, C., Roever, W.P., Rozenberg, G. (eds.) REX 1991. LNCS, vol. 600, pp. 226\u2013251. Springer, Heidelberg (1992). doi: 10.1007\/BFb0031995"},{"unstructured":"Madzar, B.: Modelling and verification of predictable data flow in real-time systems, M. Sc thesis. Queen\u2019s University Canada (2015)","key":"10_CR14"},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-319-39083-3_2","volume-title":"Reliable Software Technologies \u2013 Ada-Europe 2016","author":"M Mohaqeqi","year":"2016","unstructured":"Mohaqeqi, M., Abdullah, J., Yi, W.: Modeling and analysis of data flow graphs using the digraph real-time task model. In: Bertogna, M., Pinho, L.M., Qui\u00f1ones, E. (eds.) Ada-Europe 2016. LNCS, vol. 9695, pp. 15\u201329. Springer, Cham (2016). doi: 10.1007\/978-3-319-39083-3_2"},{"doi-asserted-by":"crossref","unstructured":"Pellizzoni, R., Betti, E., Bak, S., Yao, G., Criswell, J., Caccamo, M., Kegley, R.: A predictable execution model for COTS-based embedded systems. In: RTAS 2011","key":"10_CR16","DOI":"10.1109\/RTAS.2011.33"},{"doi-asserted-by":"crossref","unstructured":"Yau, S., Zhou, X.: Schedulability in model-based software development for distributed real-time systems. In: WORDS 2002, pp. 45\u201352 (2002)","key":"10_CR17","DOI":"10.1109\/WORDS.2002.1000035"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-57666-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:04:42Z","timestamp":1750197882000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-57666-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319576657","9783319576664"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-57666-4_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"13 April 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FACS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Formal Aspects of Component Software","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Besan\u00e7on","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 October 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 October 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"facs2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/events.femto-st.fr\/facs2016\/en","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}