{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T16:59:10Z","timestamp":1761929950551,"version":"3.37.3"},"reference-count":70,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2018,6,1]],"date-time":"2018-06-01T00:00:00Z","timestamp":1527811200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"EU FP7","award":["288175"],"award-info":[{"award-number":["288175"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Des Autom Embed Syst"],"published-print":{"date-parts":[[2018,6]]},"DOI":"10.1007\/s10617-018-9206-3","type":"journal-article","created":{"date-parts":[[2018,6,2]],"date-time":"2018-06-02T03:52:43Z","timestamp":1527911563000},"page":"141-181","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems"],"prefix":"10.1007","volume":"22","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8739-3051","authenticated-orcid":false,"given":"Georgia","family":"Giannopoulou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Poplavko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dario","family":"Socci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pengcheng","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nikolay","family":"Stoimenov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paraskevas","family":"Bourgos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lothar","family":"Thiele","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marius","family":"Bozga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Saddek","family":"Bensalem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sylvain","family":"Girbal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Madeleine","family":"Faugere","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Romain","family":"Soulat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Beno\u00eet Dupont","family":"de Dinechin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,6,2]]},"reference":[{"key":"9206_CR1","doi-asserted-by":"crossref","unstructured":"Abdellatif T, Combaz J, Sifakis J (2010) Model-based implementation of real-time applications. In: EMSOFT \u201910","DOI":"10.1145\/1879021.1879052"},{"key":"9206_CR2","unstructured":"AbsInt (2015) aiT worst-case execution time analyzers. \n                    https:\/\/www.absint.com\/ait\/"},{"key":"9206_CR3","doi-asserted-by":"crossref","unstructured":"Alur R, Dill DL (1990) Automata for modeling real-time systems. In: Paterson M (ed) Proceedings of the 17th international colloquium on automata, languages and programming (ICALP), LNCS, vol 443, Springer, pp 322\u2013335","DOI":"10.1007\/BFb0032042"},{"key":"9206_CR4","doi-asserted-by":"crossref","unstructured":"Amnell T, Fersman E, Mokrushin L, Pettersson P, Yi W (2002) TIMES\u2014a tool for modelling and implementation of embedded systems. In: Proceedings of tools and algorithms for the construction and analysis of systems, Springer, pp 460\u2013464","DOI":"10.1007\/3-540-46002-0_32"},{"key":"9206_CR5","unstructured":"Anderson J, Baruah S, Brandenburg B (2009) Multicore operating-system support for mixed criticality. In: Workshop on mixed criticality: roadmap to evolving UAV certification"},{"key":"9206_CR6","unstructured":"ARINC. ARINC 653-1 Avionics application software standard interface. Technical report"},{"key":"9206_CR7","unstructured":"Barhorst J, Belote T, Binns P, Hoffman J, Paunicka J, Sarathy P, Stanfill J, Stuart D, Urzi R (2009) White paper: a research agenda for mixed-criticality systems, CPS Week 2009. \n                    http:\/\/www.cse.wustl.edu\/~cdgill\/CPSWEEK09_MCAR"},{"key":"9206_CR8","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/s11241-013-9184-2","volume":"50","author":"S Baruah","year":"2014","unstructured":"Baruah S, Chattopadhyay B, Li H, Shin I (2014) Mixed-criticality scheduling on multiprocessors. Real Time Syst 50:142\u2013177","journal-title":"Real Time Syst"},{"key":"9206_CR9","doi-asserted-by":"crossref","unstructured":"Bourgos P, Basu A, Bozga M, Bensalem S, Sifakis J, Huang K (2011) Rigorous system level modeling and analysis of mixed HW\/SW systems. In: Proceedings of international conference on formal methods and models for codesign, MEMOCODE 2011, pp 11\u201320","DOI":"10.1109\/MEMCOD.2011.5970506"},{"key":"9206_CR10","unstructured":"Burns A, Baruah S (2013) Towards a more practical model for mixed criticality systems. Workshop on mixed criticality, pp 1\u20136"},{"key":"9206_CR11","unstructured":"Burns A, Davis R (2015) Mixed criticality systems: a review. \n                    https:\/\/www-users.cs.york.ac.uk\/burns\/review.pdf"},{"key":"9206_CR12","doi-asserted-by":"crossref","unstructured":"Burns A, Fleming T, Baruah S (2015) Cyclic executives, multi-core platforms and mixed criticality applications. In: Euromicro conference on real-time systems (ECRTS), pp 3\u201312","DOI":"10.1109\/ECRTS.2015.8"},{"key":"9206_CR13","doi-asserted-by":"crossref","unstructured":"Calandrino J, Leontyev H, Block A, Devi U, Anderson J (2006) LITMUS RT: a testbed for empirically comparing real-time multiprocessor schedulers. In: RTSS, pp 111\u2013126","DOI":"10.1109\/RTSS.2006.27"},{"key":"9206_CR14","doi-asserted-by":"crossref","unstructured":"de\u00a0Dinechin B\u00a0D, van Amstel D, Poulhi\u00e8s M, Lager G (2014) Time-critical computing on a single-chip massively parallel processor. In: DATE\u201914, EDAA","DOI":"10.7873\/DATE.2014.110"},{"key":"9206_CR15","doi-asserted-by":"crossref","unstructured":"de\u00a0Niz D, Phan LTX (2014) Partitioned scheduling of multi-modal mixed-criticality real-time systems on multiprocessor platforms. In: RTAS, pp 111\u2013122","DOI":"10.1109\/RTAS.2014.6925995"},{"key":"9206_CR16","unstructured":"DO-178C. RTCA\/DO-178C, Software considerations in airborne systems and equipment certification (2012)"},{"key":"9206_CR17","unstructured":"DOL-Critical (2014) Distributed operation layer for mixed-criticality applications. \n                    http:\/\/www.tik.ee.ethz.ch\/~certainty\/dolc.html"},{"key":"9206_CR18","unstructured":"Durrieu G, Faug\u00e8re M, Girbal S, G. P\u00e9rez D, Pagetti C, Puffitsch W (2014) Predictable flight management system implementation on a multicore processor. In: ERTSS\u201914"},{"key":"9206_CR19","doi-asserted-by":"crossref","unstructured":"Easwaran A (2013) Demand-based scheduling of mixed-criticality sporadic tasks on one processor. In: RTSS\u201913","DOI":"10.1109\/RTSS.2013.16"},{"key":"9206_CR20","unstructured":"Ekberg P, Yi W (2012) Bounding and shaping the demand of mixed-criticality sporadic tasks. In: ECRTS\u201912"},{"issue":"8","key":"9206_CR21","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, Krc\u00e1l P, Pettersson P, Yi W (2007) Task automata: schedulability, decidability and undecidability. Inf Comput 205(8):1149\u20131172","journal-title":"Inf Comput"},{"key":"9206_CR22","doi-asserted-by":"crossref","unstructured":"Flodin J, Lampka K, Yi W (2014) Dynamic budgeting for settling DRAM contention of co-running hard and soft real-time tasks. In: 2014 9th IEEE international symposium on Industrial embedded systems (SIES), pp 151\u2013159","DOI":"10.1109\/SIES.2014.6871199"},{"key":"9206_CR23","doi-asserted-by":"crossref","unstructured":"Giannopoulou G, Lampka K, Stoimenov N, Thiele L (2012) Timed model checking with abstractions: towards worst-case response time analysis in resource-sharing manycore systems. In: EMSOFT\u201912","DOI":"10.1145\/2380356.2380372"},{"key":"9206_CR24","doi-asserted-by":"crossref","unstructured":"Giannopoulou G, Stoimenov N, Huang P, Thiele L (2013) Scheduling of mixed-criticality applications on resource-sharing multicore systems. In: EMSOFT\u201913","DOI":"10.1109\/EMSOFT.2013.6658595"},{"key":"9206_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11241-014-9214-8","volume":"51","author":"G Giannopoulou","year":"2015","unstructured":"Giannopoulou G, Stoimenov N, Huang P, Thiele L, de Dinechin B (2015) Mixed-criticality scheduling on cluster-based manycores with shared communication and storage resources. Real Time Syst 51:1\u201351","journal-title":"Real Time Syst"},{"key":"9206_CR26","doi-asserted-by":"crossref","unstructured":"Goossens S, Akesson B, Goossens K (2013) Conservative open-page policy for mixed time-criticality memory controllers. In: DATE\u201913","DOI":"10.7873\/DATE.2013.118"},{"issue":"1","key":"9206_CR27","first-page":"2","volume":"14","author":"A Hansson","year":"2009","unstructured":"Hansson A, Goossens K, Bekooij M, Huisken J (2009) CompSoC: a template for composable and predictable multi-processor system on chips. ACM Trans Des Autom Electron Syst (TODAES) 14(1):2","journal-title":"ACM Trans Des Autom Electron Syst (TODAES)"},{"key":"9206_CR28","doi-asserted-by":"crossref","unstructured":"Hassan M, Patel H, Pellizzoni R (2015) A framework for scheduling DRAM memory accesses for multi-core mixed-time critical systems. In: RTAS, pp 307\u2013316","DOI":"10.1109\/RTAS.2015.7108454"},{"key":"9206_CR29","doi-asserted-by":"crossref","unstructured":"Herman J, Kenna C, Mollison M, Anderson J, Johnson D (2012) RTOS support for multicore mixed-criticality systems. In: RTAS, pp 197\u2013208","DOI":"10.1109\/RTAS.2012.24"},{"issue":"4s","key":"9206_CR30","doi-asserted-by":"publisher","first-page":"126:1","DOI":"10.1145\/2584612","volume":"13","author":"H-M Huang","year":"2014","unstructured":"Huang H-M, Gill C, Lu C (2014) Implementation and evaluation of mixed-criticality scheduling approaches for sporadic tasks. ACM Trans Embed Comput Syst 13(4s):126:1\u2013126:25","journal-title":"ACM Trans Embed Comput Syst"},{"issue":"1","key":"9206_CR31","first-page":"8","volume":"11","author":"K Huang","year":"2012","unstructured":"Huang K, Haid W, Bacivarov I, Keller M, Thiele L (2012) Embedding formal performance analysis into the design cycle of MPSoCs for real-time streaming applications. ACM Trans Embed Comput Syst (TECS) 11(1):8","journal-title":"ACM Trans Embed Comput Syst (TECS)"},{"key":"9206_CR32","doi-asserted-by":"crossref","unstructured":"Huang P, Giannopoulou G, Ahmed R, Bartolini DB, Thiele L (2015) An isolation scheduling model for multicores. In: RTSS, San Antonio, TX, USA","DOI":"10.1109\/RTSS.2015.21"},{"key":"9206_CR33","doi-asserted-by":"crossref","unstructured":"Huang P, Giannopoulou G, Stoimenov N, Thiele L (2014) Service adaptions for mixed-criticality systems. In: ASP-DAC\u201914","DOI":"10.1109\/ASPDAC.2014.6742877"},{"key":"9206_CR34","unstructured":"ISO 26262 (2011) Road vehicles\u2014functional safety. \n                    https:\/\/www.iso.org\/standard\/43464.html"},{"key":"9206_CR35","unstructured":"Kahn G (1974) The semantics of a simple language for parallel programming. In: Proceedings of IFIP congress on information processing, vol 74, pp 471\u2013475"},{"key":"9206_CR36","doi-asserted-by":"crossref","unstructured":"Kienhuis B, Deprettere E, Vissers K, van der Wolf P (1997) An approach for quantitative analysis of application-specific dataflow architectures. In: Internatioanl coference on application-specific systems, architectures and processors (ASAP), pp 338\u2013349","DOI":"10.1109\/ASAP.1997.606839"},{"key":"9206_CR37","doi-asserted-by":"crossref","unstructured":"Kim N, Ward BC, Chisholm M, Fu CY et\u00a0al (2016) Attacking the one-out-of-m multicore problem by combining hardware management with mixed-criticality provisioning. In: RTAS","DOI":"10.1109\/RTAS.2016.7461323"},{"key":"9206_CR38","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1126\/science.220.4598.671","volume":"220","author":"S Kirkpatrick","year":"1983","unstructured":"Kirkpatrick S, Gelatt CD, Vecchi MP (1983) Optimization by simulated annealing. Science 220:671\u2013680","journal-title":"Science"},{"key":"9206_CR39","unstructured":"Kotaba O, Nowotsch J, Paulitsch M, Petters SM, Theiling H (2014) Multicore in real-time systems\u2013temporal isolation challenges due to shared resources. In: Workshop on industry-driven approaches for cost-effective certification of safety-critical, mixed-criticality systems"},{"key":"9206_CR40","doi-asserted-by":"crossref","unstructured":"Lee J, Phan K-M, Gu X, Lee J, Easwaran A, Shin I, Lee I (2014) MC-fluid: fluid model-based mixed-criticality scheduling on multiprocessors. In: RTSS, pp 41\u201352","DOI":"10.1109\/RTSS.2014.32"},{"key":"9206_CR41","doi-asserted-by":"crossref","unstructured":"Li H, Baruah S (2010) Load-based schedulability analysis of certifiable mixed-criticality systems. In: International conference on embedded software, EMSOFT\u201910","DOI":"10.1145\/1879021.1879035"},{"key":"9206_CR42","doi-asserted-by":"crossref","unstructured":"Melpignano D, Benini L, Flamand E, Jego B, Lepley T, Haugou G, Clermidy F, Dutoit D (2012) Platform 2012, a many-core computing accelerator for embedded SoCs: performance evaluation of visual analytics applications. In: DAC\u201912","DOI":"10.1145\/2228360.2228568"},{"key":"9206_CR43","volume-title":"Computers and intractability: a guide to the theory of NP-completeness","author":"RG Michael","year":"1979","unstructured":"Michael RG, David SJ (1979) Computers and intractability: a guide to the theory of NP-completeness. WH Freeman & Co., San Francisco"},{"key":"9206_CR44","doi-asserted-by":"crossref","unstructured":"Mollison MS, Erickson JP, Anderson JH, Baruah SK, Scoredos JA (2010) Mixed-criticality real-time scheduling for multicore systems. In: International conference on computer and information technology, CIT\u201910, IEEE, pp 1864\u20131871","DOI":"10.1109\/CIT.2010.320"},{"key":"9206_CR45","doi-asserted-by":"crossref","unstructured":"Paolieri M, Qui\u00f1ones E, Cazorla FJ, Bernat G, Valero M (2009) Hardware support for WCET analysis of hard real-time multicore systems. In: ISCA, pp 57\u201368","DOI":"10.1145\/1555754.1555764"},{"key":"9206_CR46","doi-asserted-by":"crossref","unstructured":"Pathan R (2012) Schedulability analysis of mixed-criticality systems on multiprocessors. In: ECRTS\u201912","DOI":"10.1109\/ECRTS.2012.29"},{"key":"9206_CR47","doi-asserted-by":"crossref","unstructured":"Pellizzoni R, Bui BD, Caccamo M, Sha L (2008) Coscheduling of CPU and I\/O transactions in COTS-based embedded systems. In: RTSS\u201908","DOI":"10.1109\/RTSS.2008.42"},{"key":"9206_CR48","unstructured":"Perrotin M, Conquet E, Dissaux P, Tsiodras T, Hugues J (2010) The TASTE Toolset: turning human designed heterogeneous systems into computer built homogeneous software. In: Proceedings of embedded real-time software and systems conference"},{"key":"9206_CR49","unstructured":"Poplavko P, Bourgos P, Socci D, Bensalem S, Bozga M (2015) Multicore code generation for time-critical applications (Tool). \n                    http:\/\/www-verimag.imag.fr\/Multicore-Time-Critical-Code,470.html"},{"key":"9206_CR50","doi-asserted-by":"crossref","unstructured":"Poplavko P, Socci D, Bourgos P, Bensalem S, Bozga M (2015) Models for deterministic execution of real-time multiprocessor applications. In: DATE","DOI":"10.7873\/DATE.2015.0302"},{"key":"9206_CR51","doi-asserted-by":"crossref","unstructured":"Reineke J, Liu I, Patel HD, Kim S, Lee EA (2011) PRET DRAM controller: bank privatization for predictability and temporal isolation. In: Proceedings of the seventh IEEE\/ACM\/IFIP international conference on Hardware\/software codesign and system synthesis, pp 99\u2013108","DOI":"10.1145\/2039370.2039388"},{"key":"9206_CR52","doi-asserted-by":"crossref","unstructured":"Santy F, George L, Thierry P, Goossens J (2012) Relaxing mixed-criticality scheduling strictness for task sets scheduled with FP. In: ECRTS, IEEE, pp 155\u2013165","DOI":"10.1109\/ECRTS.2012.39"},{"key":"9206_CR53","unstructured":"Sha L, Caccamo M, Mancuso R, Kim J-E, Yoon M-K, Pellizzoni R, Yun H et\u00a0al (2014) Single core equivalent virtual machines for hard real-time computing on multicore processors. Technical report, University of Illinois at Urbana-Champaign"},{"key":"9206_CR54","doi-asserted-by":"crossref","unstructured":"Sigrist L, Giannopoulou G, Huang P, Gomez A, Thiele L (2015) Mixed-criticality runtime mechanisms and evaluation on multicores. In: RTAS\u201915","DOI":"10.1109\/RTAS.2015.7108442"},{"key":"9206_CR55","unstructured":"Socci D, Poplavko P, Bensalem S, Bozga M (2013) Modeling mixed-critical systems in real-time BIP. In: ReTiMiCs\u20192013"},{"key":"9206_CR56","doi-asserted-by":"crossref","unstructured":"Socci D, Poplavko P, Bourgos P, Bensalem S, Bozga M (2015) A timed-automata based middleware for time-critical multicore applications. In: Extended version of SEUS\u201915 workshop paper. Report TR-2015-12, Verimag","DOI":"10.1109\/ISORCW.2015.55"},{"key":"9206_CR57","doi-asserted-by":"publisher","DOI":"10.1201\/9781420048025","volume-title":"Embedded multiprocessors: scheduling and synchronization. Signal processing and communications","author":"S Sriram","year":"2009","unstructured":"Sriram S, Bhattacharyya S (2009) Embedded multiprocessors: scheduling and synchronization. Signal processing and communications, 2nd edn. Taylor & Francis, Abington","edition":"2"},{"key":"9206_CR58","doi-asserted-by":"crossref","unstructured":"Su H, Zhu D (2013) An elastic mixed-criticality task model and its scheduling algorithm. In: DATE, pp 147\u2013152","DOI":"10.7873\/DATE.2013.043"},{"key":"9206_CR59","doi-asserted-by":"crossref","unstructured":"Tamas-Selicean D, Pop P (2011) Design optimization of mixed-criticality real-time applications on cost-constrained partitioned architectures. In: RTSS\u201911","DOI":"10.1109\/RTSS.2011.11"},{"key":"9206_CR60","doi-asserted-by":"crossref","unstructured":"Thiele L, Bacivarov I, Haid W, Huang K (2007) Mapping applications to tiled multiprocessor embedded systems. In: ACSD\u201907","DOI":"10.1109\/ACSD.2007.53"},{"key":"9206_CR61","unstructured":"Thiele L, Chakraborty S, Naedele M (2000) Real-time calculus for scheduling hard real-time systems. In: ISCAS"},{"key":"9206_CR62","doi-asserted-by":"crossref","unstructured":"Tobuschat S, Axer P, Ernst R, Diemer J (2013) IDAMC: a NoC for mixed criticality systems. In: RTCSA, pp 149\u2013156","DOI":"10.1109\/RTCSA.2013.6732214"},{"key":"9206_CR63","doi-asserted-by":"crossref","unstructured":"Triki A, Combaz J, Bensalem S, Sifakis J (2013) Model-based implementation of parallel real-time systems. In: FASE\u201913, Springer","DOI":"10.1007\/978-3-642-37057-1_18"},{"key":"9206_CR64","doi-asserted-by":"crossref","unstructured":"Vestal S (2007) Preemptive scheduling of multi-criticality systems with varying degrees of execution time assurance. In: RTSS\u201907","DOI":"10.1109\/RTSS.2007.47"},{"key":"9206_CR65","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.cosrev.2013.05.001","volume":"9","author":"MTB Waez","year":"2013","unstructured":"Waez MTB, Dingel J, Rudie K (2013) A survey of timed automata for the development of real-time systems. Comput Sci Rev 9:1\u201326","journal-title":"Comput Sci Rev"},{"issue":"7","key":"9206_CR66","doi-asserted-by":"publisher","first-page":"966","DOI":"10.1109\/TCAD.2009.2013287","volume":"28","author":"R Wilhelm","year":"2009","unstructured":"Wilhelm R, Grund D, Reineke J, Schlickling M, Pister M, Ferdinand C (2009) Memory hierarchies, pipelines, and buses for future architectures in time-critical embedded systems. IEEE Trans Comput Aid Des Integr Circuits Syst 28(7):966\u2013978","journal-title":"IEEE Trans Comput Aid Des Integr Circuits Syst"},{"key":"9206_CR67","unstructured":"Wu ZP, Krish Y, Pellizzoni R (2013) Worst case analysis of DRAM latency in multi-requestor systems. In: RTSS, pp 372\u2013383"},{"key":"9206_CR68","doi-asserted-by":"crossref","unstructured":"Yan G, Zhu X, Yan R, Li G (2014) Formal throughput and response time analysis of MARTE models. In: Proceedings of formal methods and software engineering, pp 430\u2013445","DOI":"10.1007\/978-3-319-11737-9_28"},{"key":"9206_CR69","doi-asserted-by":"crossref","unstructured":"Yun H, Mancuso R, Wu Z-P, Pellizzoni R (2014) PALLOC: DRAM bank-aware memory allocator for performance isolation on multicore platforms. In: 2014 IEEE 20th, real-time and embedded technology and applications symposium (RTAS), pp 155\u2013166","DOI":"10.1109\/RTAS.2014.6925999"},{"key":"9206_CR70","doi-asserted-by":"crossref","unstructured":"Yun H, Yao G, Pellizzoni R, Caccamo M, Sha L (2012) Memory access control in multiprocessor for real-time systems with mixed criticality. In: ECRTS\u201912","DOI":"10.1109\/ECRTS.2012.32"}],"container-title":["Design Automation for Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10617-018-9206-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-018-9206-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-018-9206-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,2]],"date-time":"2019-06-02T01:48:46Z","timestamp":1559440126000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10617-018-9206-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6]]},"references-count":70,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2018,6]]}},"alternative-id":["9206"],"URL":"https:\/\/doi.org\/10.1007\/s10617-018-9206-3","relation":{},"ISSN":["0929-5585","1572-8080"],"issn-type":[{"type":"print","value":"0929-5585"},{"type":"electronic","value":"1572-8080"}],"subject":[],"published":{"date-parts":[[2018,6]]},"assertion":[{"value":"27 November 2015","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 April 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 June 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}