{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:32:05Z","timestamp":1742913125630,"version":"3.40.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319471655"},{"type":"electronic","value":"9783319471662"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-47166-2_42","type":"book-chapter","created":{"date-parts":[[2016,10,4]],"date-time":"2016-10-04T18:07:34Z","timestamp":1475604454000},"page":"605-621","source":"Crossref","is-referenced-by-count":7,"title":["Mixed-Critical Systems Design with Coarse-Grained Multi-core Interference"],"prefix":"10.1007","author":[{"given":"Peter","family":"Poplavko","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rany","family":"Kahil","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dario","family":"Socci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Saddek","family":"Bensalem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marius","family":"Bozga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,10,5]]},"reference":[{"key":"42_CR1","doi-asserted-by":"crossref","unstructured":"Abdellatif, T., Combaz, J., Sifakis, J.: Model-based implementation of real-time applications. In: Proceedings of the Tenth ACM International Conference on Embedded Software, EMSOFT 2010. ACM (2010)","DOI":"10.1145\/1879021.1879052"},{"key":"42_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-642-40184-8_3","volume-title":"CONCUR 2013 \u2013 Concurrency Theory","author":"A Abel","year":"2013","unstructured":"Abel, A., Benz, F., Doerfert, J., D\u00f6rr, B., Hahn, S., Haupenthal, F., Jacobs, M., Moin, A.H., Reineke, J., Schommer, B., Wilhelm, R.: Impact of resource sharing on performance and performance prediction: a survey. In: D\u2019Argenio, P.R., Melgratti, H. (eds.) CONCUR 2013. LNCS, vol. 8052, pp. 25\u201343. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-40184-8_3"},{"key":"42_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"460","DOI":"10.1007\/3-540-46002-0_32","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T Amnell","year":"2002","unstructured":"Amnell, T., Fersman, E., Mokrushin, L., Pettersson, P., Yi, W.: TIMES - a tool for modelling and implementation of embedded systems. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol. 2280, pp. 460\u2013464. Springer, Heidelberg (2002)"},{"key":"42_CR4","doi-asserted-by":"crossref","unstructured":"Baruah, S.: Semantics-preserving implementation of multirate mixed-criticality synchronous programs. In: RTNS 2012, pp. 11\u201319. ACM (2012)","DOI":"10.1145\/2392987.2392989"},{"key":"42_CR5","doi-asserted-by":"crossref","unstructured":"Baruah, S., Fohler, G.: Certification-cognizant time-triggered scheduling of mixed-criticality systems. In: RTSS 2011, pp. 3\u201312. IEEE (2011)","DOI":"10.1109\/RTSS.2011.9"},{"key":"42_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/978-3-662-45234-9_13","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change","author":"S Bensalem","year":"2014","unstructured":"Bensalem, S., Bozga, M., Combaz, J., Triki, A.: Rigorous system design flow for autonomous systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014. LNCS, vol. 8802, pp. 184\u2013198. Springer, Heidelberg (2014). doi: 10.1007\/978-3-662-45234-9_13"},{"key":"42_CR7","unstructured":"Chaki, S., Kyle, D.: DMPL: programming and verifying distributed mixed-synchrony and mixed-critical software. Technical report, Carnegie Mellon University (2016). http:\/\/www.andrew.cmu.edu\/user\/schaki\/misc\/dmpl-extended.pdf"},{"key":"42_CR8","unstructured":"Cordovilla, M., Boniol, F., Forget, J., Noulard, E., Pagetti, C.: Developing critical embedded systems on multicore architectures: the Prelude-SchedMCore toolset. In: RTNS (2011)"},{"key":"42_CR9","doi-asserted-by":"crossref","unstructured":"de Dinechin, B.D., van Amstel, D., Poulhi\u00e8s, M., Lager, G.: Time-critical computing on a single-chip massively parallel processor. In: DATE 2014. EDAA (2014)","DOI":"10.7873\/DATE2014.110"},{"issue":"8","key":"42_CR10","doi-asserted-by":"crossref","first-page":"1149","DOI":"10.1016\/j.ic.2007.01.009","volume":"205","author":"E Fersman","year":"2007","unstructured":"Fersman, E., Krcl, P., Pettersson, P., Yi, W.: Task automata: schedulability, decidability and undecidability. Inf. Comput. 205(8), 1149\u20131172 (2007)","journal-title":"Inf. Comput."},{"key":"42_CR11","unstructured":"Giannopoulou, G., Poplavko, P., Socci, D., Huang, P., Stoimenov, N., Bourgos, P., Thiele, L., Bozga, M., Bensalem, S., Girbal, S., Faugere, M., Soulat, R., de Dinechin, B.D.: DOL-BIP-critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems. Technical report 363, ETH Zurich, Laboratory TIK, April 2016"},{"issue":"1","key":"42_CR12","first-page":"2","volume":"14","author":"A Hansson","year":"2009","unstructured":"Hansson, A., Goossens, K., Bekooij, M., Huisken, J.: CoMPSoc: a template for composable and predictable multi-processor system on chips. ACM Trans. Des. Autom. Electron. Syst. (TODAES) 14(1), 2 (2009)","journal-title":"ACM Trans. Des. Autom. Electron. Syst. (TODAES)"},{"key":"42_CR13","unstructured":"Heijligers, M.: The application of genetic algorithms to high-level synthesis. Ph.D. thesis, University of Eindhoven (1996)"},{"issue":"9","key":"42_CR14","doi-asserted-by":"crossref","first-page":"1235","DOI":"10.1109\/PROC.1987.13876","volume":"75","author":"E Lee","year":"1987","unstructured":"Lee, E., Messerschmitt, D.: Synchronous data flow. Proc. IEEE 75(9), 1235\u20131245 (1987)","journal-title":"Proc. IEEE"},{"key":"42_CR15","doi-asserted-by":"crossref","unstructured":"Pellizzoni, R., Bui, B.D., Caccamo, M., Sha, L.: Coscheduling of CPU and I\/O transactions in cots-based embedded systems. In: RTSS 2008, pp. 221\u2013231 (2008)","DOI":"10.1109\/RTSS.2008.42"},{"key":"42_CR16","unstructured":"Perrotin, M., Conquet, E., Dissaux, P., Tsiodras, T., Hugues, J.: The TASTE toolset: turning human designed heterogeneous systems into computer built homogeneous software. In: ERTSS 2010 (2010)"},{"key":"42_CR17","doi-asserted-by":"crossref","unstructured":"Poplavko, P., Kahil, R., Socci, D., Bensalem, S., Bozga, M.: Mixed-critical systems design with coarse-grained multi-core interference. Technical report, TR-2016-4, Verimag (2016)","DOI":"10.1007\/978-3-319-47166-2_42"},{"key":"42_CR18","doi-asserted-by":"crossref","unstructured":"Poplavko, P., Socci, D., Bourgos, P., Bensalem, S., Bozga, M.: Models for deterministic execution of real-time multiprocessor applications. In: DATE 2015 (2015)","DOI":"10.7873\/DATE.2015.0302"},{"key":"42_CR19","doi-asserted-by":"crossref","unstructured":"Shah, H., Coombes, A., Raabe, A., Huang, K., Knoll, A.: Measurement based wcet analysis for multi-core architectures. In: RTNS 2014. ACM (2014)","DOI":"10.1145\/2659787.2659819"},{"key":"42_CR20","unstructured":"Socci, D., Poplavko, P., Bensalem, S., Bozga, M.: Modeling mixed-critical systems in real-time BIP. In: ReTiMiCs 2013 (2013)"},{"key":"42_CR21","doi-asserted-by":"crossref","unstructured":"Socci, D., Poplavko, P., Bensalem, S., Bozga, M.: Multiprocessor scheduling of precedence-constrained mixed-critical jobs. In: ISORC 2015, pp. 198\u2013207. IEEE (2015)","DOI":"10.1109\/ISORC.2015.18"},{"key":"42_CR22","doi-asserted-by":"crossref","unstructured":"Socci, D., Poplavko, P., Bensalem, S., Bozga, M.: Time-triggered mixed-critical scheduler on single- and multi-processor platforms (revised version). Technical report, TR-2015-8, Verimag (2015)","DOI":"10.1109\/HPCC-CSS-ICESS.2015.321"},{"key":"42_CR23","doi-asserted-by":"crossref","unstructured":"Socci, D., Poplavko, P., Bensalem, S., Bozga, M.: A timed-automata based middleware for time-critical multicore applications. In: Proceedings of SEUS 2015. IEEE (2015)","DOI":"10.1109\/ISORCW.2015.55"},{"issue":"3","key":"42_CR24","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1023\/A:1007956226232","volume":"15","author":"S Sriram","year":"1997","unstructured":"Sriram, S., Lee, E.A.: Determining the order of processor transactions in statically scheduled multiprocessors. VLSI Signal Process. 15(3), 207\u2013220 (1997)","journal-title":"VLSI Signal Process."},{"key":"42_CR25","doi-asserted-by":"crossref","unstructured":"Stuijk, S., Geilen, M., Theelen, B.D., Basten, T.: Scenario-aware dataflow: modeling, analysis and implementation of dynamic applications. In: SAMOS 2011. IEEE (2011)","DOI":"10.1109\/SAMOS.2011.6045491"},{"key":"42_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-35887-6_1","volume-title":"Formal Methods for Components and Objects","author":"M Wirsing","year":"2013","unstructured":"Wirsing, M., H\u00f6lzl, M., Tribastone, M., Zambonelli, F.: ASCENS: engineering autonomic service-component ensembles. In: Beckert, B., Damiani, F., Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2011. LNCS, vol. 7542, pp. 1\u201324. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-35887-6_1"},{"key":"42_CR27","doi-asserted-by":"crossref","unstructured":"Zerzelidis, A., Wellings, A.J.: A framework for flexible scheduling in the RTSJ. ACM Trans. Embedded Comput. Syst. 10(1), Article no. 3 (2010)","DOI":"10.1145\/1814539.1814542"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47166-2_42","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,14]],"date-time":"2019-09-14T04:10:25Z","timestamp":1568434225000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47166-2_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471655","9783319471662"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47166-2_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}