{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:50:51Z","timestamp":1740099051194,"version":"3.37.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319893624"},{"type":"electronic","value":"9783319893631"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-89363-1_6","type":"book-chapter","created":{"date-parts":[[2018,4,3]],"date-time":"2018-04-03T13:04:43Z","timestamp":1522760683000},"page":"94-110","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0929-4677","authenticated-orcid":false,"given":"Fotios","family":"Gioulekas","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8363-2008","authenticated-orcid":false,"given":"Peter","family":"Poplavko","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4309-5295","authenticated-orcid":false,"given":"Panagiotis","family":"Katsaros","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5753-2126","authenticated-orcid":false,"given":"Saddek","family":"Bensalem","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5393-1667","authenticated-orcid":false,"given":"Pedro","family":"Palomo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,4,4]]},"reference":[{"key":"6_CR1","unstructured":"GR-CPCI-LEON4-N2X: Quad-core LEON4 next generation microprocessor evaluation board. http:\/\/www.gaisler.com\/index.php\/products\/boards\/gr-cpci-leon4-n2x"},{"key":"6_CR2","unstructured":"Multicore code generation for time-critical applications. http:\/\/www-verimag.imag.fr\/Multicore-Time-Critical-Code,470.html"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Abdellatif, T., Combaz, J., Sifakis, J.: Model-based implementation of real-time applications. In: EMSOFT 2010 (2010)","DOI":"10.1145\/1879021.1879052"},{"key":"6_CR4","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":"6_CR5","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)"},{"issue":"1","key":"6_CR6","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1109\/JPROC.2002.805829","volume":"91","author":"J Eker","year":"2003","unstructured":"Eker, J., Janneck, J.W., Lee, E.A., Liu, J., Liu, X., Ludvig, J., Neuendorffer, S., Sachs, S., Xiong, Y.: Taming heterogeneity - the Ptolemy approach. Proc. IEEE 91(1), 127\u2013144 (2003)","journal-title":"Proc. IEEE"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Feiler, P., Gluch, D., Hudak, J.: The architecture analysis & design language (AADL): an introduction. Technical report CMU\/SEI-2006-TN-011, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA (2006). http:\/\/resources.sei.cmu.edu\/library\/asset-view.cfm?AssetID=7879","DOI":"10.21236\/ADA455842"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Geilen, M., Basten, T.: Reactive process networks. In: EMSOFT 2004, pp. 137\u2013146. ACM (2004)","DOI":"10.1145\/1017753.1017778"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Ghamarian, A.H.: Timing analysis of synchronous dataflow graphs. Ph.D. thesis, Eindhoven University of Technology (2008)","DOI":"10.1109\/DATE.2008.4484672"},{"key":"6_CR10","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., Dinechin, B.D.d.: DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems. Technical report (2016)"},{"issue":"3","key":"6_CR11","first-page":"24:1","volume":"12","author":"S Ha","year":"2008","unstructured":"Ha, S., Kim, S., Lee, C., Yi, Y., Kwon, S., Joo, Y.P.: PeaCE: a hardware-software codesign environment for multimedia embedded systems. ACM Trans. Des. Autom. Electron. Syst. 12(3), 24:1\u201324:25 (2008)","journal-title":"ACM Trans. Des. Autom. Electron. Syst."},{"key":"6_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2231-4","volume-title":"Synchronous Programming of Reactive Systems","author":"N Halbwachs","year":"2010","unstructured":"Halbwachs, N.: Synchronous Programming of Reactive Systems. Springer, Berlin (2010). https:\/\/doi.org\/10.1007\/978-1-4757-2231-4"},{"issue":"1","key":"6_CR13","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)"},{"issue":"4","key":"6_CR14","doi-asserted-by":"crossref","first-page":"42:1","DOI":"10.1145\/1376804.1376810","volume":"7","author":"J Hugues","year":"2008","unstructured":"Hugues, J., Zalila, B., Pautet, L., Kordon, F.: From the prototype to the final embedded system using the Ocarina AADL tool suite. ACM Trans. Embed. Comput. Syst. 7(4), 42:1\u201342:25 (2008)","journal-title":"ACM Trans. Embed. Comput. Syst."},{"issue":"1","key":"6_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1013208.1013209","volume":"36","author":"WM Johnston","year":"2004","unstructured":"Johnston, W.M., Hanna, J.R.P., Millar, R.J.: Advances in dataflow programming languages. ACM Comput. Surv. 36(1), 1\u201334 (2004)","journal-title":"ACM Comput. Surv."},{"key":"6_CR16","first-page":"471","volume-title":"Information Processing 1974: Proceedings of the IFIP Congress","author":"G Kahn","year":"1974","unstructured":"Kahn, G.: The semantics of a simple language for parallel programming. In: Rosenfeld, J.L. (ed.) Information Processing 1974: Proceedings of the IFIP Congress, pp. 471\u2013475. North-Holland, New York (1974)"},{"issue":"1","key":"6_CR17","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1109\/TC.1987.5009446","volume":"C\u201336","author":"EA Lee","year":"1987","unstructured":"Lee, E.A., Messerschmitt, D.G.: Static scheduling of synchronous data flow programs for digital signal processing. IEEE Trans. Comput. C\u201336(1), 24\u201335 (1987)","journal-title":"IEEE Trans. Comput."},{"issue":"9","key":"6_CR18","doi-asserted-by":"crossref","first-page":"1235","DOI":"10.1109\/PROC.1987.13876","volume":"75","author":"EA Lee","year":"1987","unstructured":"Lee, E.A., Messerschmitt, D.G.: Synchronous data flow. Proc. IEEE 75(9), 1235\u20131245 (1987)","journal-title":"Proc. IEEE"},{"key":"6_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/978-3-642-25264-8_4","volume-title":"SDL 2011: Integrating System and Software Modeling","author":"M Perrotin","year":"2011","unstructured":"Perrotin, M., Conquet, E., Delange, J., Schiele, A., Tsiodras, T.: TASTE: a real-time software engineering tool-chain overview, status, and future. In: Ober, I., Ober, I. (eds.) SDL 2011. LNCS, vol. 7083, pp. 26\u201337. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-25264-8_4"},{"key":"6_CR20","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, pp. 1665\u20131670. IEEE, March 2015","DOI":"10.7873\/DATE.2015.0302"},{"key":"6_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"605","DOI":"10.1007\/978-3-319-47166-2_42","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques","author":"P Poplavko","year":"2016","unstructured":"Poplavko, P., Kahil, R., Socci, D., Bensalem, S., Bozga, M.: Mixed-critical systems design with coarse-grained multi-core interference. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9952, pp. 605\u2013621. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47166-2_42"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Socci, D., Poplavko, P., Bensalem, S., Bozga, M.: A timed-automata based middleware for time-critical multicore applications. In: SEUS 2015, pp. 1\u20138. IEEE (2015)","DOI":"10.1109\/ISORCW.2015.55"},{"key":"6_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/978-3-642-37057-1_18","volume-title":"Fundamental Approaches to Software Engineering","author":"A Triki","year":"2013","unstructured":"Triki, A., Combaz, J., Bensalem, S., Sifakis, J.: Model-based implementation of parallel real-time systems. In: Cortellessa, V., Varr\u00f3, D. (eds.) FASE 2013. LNCS, vol. 7793, pp. 235\u2013249. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-37057-1_18"},{"key":"6_CR24","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.cosrev.2013.05.001","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. Comput. Sci. Rev. 9, 1\u201326 (2013)","journal-title":"Comput. Sci. Rev."}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-89363-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,30]],"date-time":"2020-10-30T23:00:18Z","timestamp":1604098818000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-89363-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319893624","9783319893631"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-89363-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}