{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T09:17:20Z","timestamp":1742980640584,"version":"3.40.3"},"publisher-location":"Cham","reference-count":44,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030378721"},{"type":"electronic","value":"9783030378738"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"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":[[2020]]},"DOI":"10.1007\/978-3-030-37873-8_5","type":"book-chapter","created":{"date-parts":[[2020,1,2]],"date-time":"2020-01-02T20:03:00Z","timestamp":1577995380000},"page":"101-126","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Static Data-Flow Analysis of UML\/SysML Functional Views for Signal and Image Processing Applications"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Enrici","sequence":"first","affiliation":[]},{"given":"Ludovic","family":"Apvrille","sequence":"additional","affiliation":[]},{"given":"Renaud","family":"Pacalet","sequence":"additional","affiliation":[]},{"given":"Minh Hiep","family":"Pham","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,1,3]]},"reference":[{"key":"5_CR1","unstructured":"Khronos OpenCL: the open standard for parallel programming of heterogeneous systems. \nhttps:\/\/www.khronos.org\/opencl"},{"key":"5_CR2","unstructured":"MathWorks Simulink. \nhttps:\/\/www.mathworks.com\/products\/simulink"},{"key":"5_CR3","unstructured":"Message Passing Interface (MPI). \nhttps:\/\/www.mpi-forum.org\/"},{"key":"5_CR4","unstructured":"nVidia CUDA: General-purpose parallel computing architecture. \nhttps:\/\/www.nvidia.com\/cuda"},{"key":"5_CR5","unstructured":"OpenMP: API specification for parallel programming. \nhttps:\/\/www.openmp.org\/"},{"key":"5_CR6","unstructured":"Spectrum and Energy efficiency through multi-band Cognitive Radio: D6.3. Report on the implementation of selected algorithms. \nhttps:\/\/cordis.europa.eu\/project\/rcn\/93076\/reporting\/fr"},{"key":"5_CR7","unstructured":"The Go programming language. \nhttps:\/\/golang.org\/"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Apvrille, L., Muhammad, W., Ameur-Boulifa, R., Coudert, S., Pacalet, R.: A UML-based environment for system design space exploration. In: ICECS, pp. 1272\u20131275 (2006)","DOI":"10.1109\/ICECS.2006.379694"},{"key":"5_CR9","unstructured":"Atkinson, D.C., Griswold, W.G.: Implementation techniques for efficient data-flow analysis of large programs. In: ICSM, pp. 52\u201361 (2001)"},{"key":"5_CR10","unstructured":"Baldomero, J.: Message passing under MATLAB. In: HPC, pp. 73\u201382 (2001)"},{"key":"5_CR11","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1007\/978-3-319-10575-8_16","volume-title":"Handbook of Model Checking","author":"D Beyer","year":"2018","unstructured":"Beyer, D., Gulwani, S., Schmidt, D.A.: Combining model checking and data-flow analysis. In: Clarke, E., Henzinger, T., Veith, H., Bloem, R. (eds.) Handbook of Model Checking, pp. 493\u2013540. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-10575-8_16"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Bodden, E., Pun, V.K.I., Steffen, M., Stolz, V., Wickert, A.: Information flow analysis for go. In: ISOLA, pp. 431\u2013445 (2016)","DOI":"10.1007\/978-3-319-47166-2_30"},{"key":"5_CR13","unstructured":"Briand, L.C., Labiche, Y., Lin, Q.: Improving statechart testing criteria using data flow information. In: ISSRE, pp. 104\u2013114 (2005)"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Charfi, A., Mraidha, C., Boulet, P.: An optimized compilation of UML state machines. In: ISORC, pp. 172\u2013179 (2012)","DOI":"10.1109\/ISORC.2012.30"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Charfi, A., Mraidha, C., G\u00e9rard, S., Terrier, F., Boulet, P.: Toward optimized code generation through model-based optimization. In: DATE, pp. 1313\u20131316 (2010)","DOI":"10.1109\/DATE.2010.5457010"},{"issue":"1","key":"5_CR16","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1109\/COMST.2014.2355255","volume":"17","author":"A Checko","year":"2015","unstructured":"Checko, A., et al.: Cloud RAN for mobile networks - a technology overview. IEEE Commun. Surv. Tutor. 17(1), 405\u2013426 (2015)","journal-title":"IEEE Commun. Surv. Tutor."},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Desnos, K., Pelcat, M., Nezan, J.F., Aridhi, S.: Distributed memory allocation technique for synchronous dataflow graphs. In: SiPS 2016 (2016)","DOI":"10.1109\/SiPS.2016.16"},{"key":"5_CR18","volume-title":"The Go Programming Language","author":"A Donovan","year":"2015","unstructured":"Donovan, A., Kernighan, B.: The Go Programming Language. Addison-Wesley, Boston (2015)"},{"key":"5_CR19","unstructured":"Eclipse CDT. \nhttp:\/\/www.eclipse.org\/cdt\/"},{"key":"5_CR20","unstructured":"EE Times: Embedded Software Stuck at C. Technical report, November 2007"},{"key":"5_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1007\/978-3-319-11653-2_23","volume-title":"Model-Driven Engineering Languages and Systems","author":"A Enrici","year":"2014","unstructured":"Enrici, A., Apvrille, L., Pacalet, R.: A UML model-driven approach to efficiently allocate complex communication schemes. In: Dingel, J., Schulte, W., Ramos, I., Abrah\u00e3o, S., Insfran, E. (eds.) MODELS 2014. LNCS, vol. 8767, pp. 370\u2013385. Springer, Cham (2014). \nhttps:\/\/doi.org\/10.1007\/978-3-319-11653-2_23"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Enrici, A., Apvrille, L., Pacalet, R.: Efficient data-flow analysis of UML\/SysML diagrams for optimized model compilation of hardware-software systems. In: MODELSWARD, pp. 86\u201397 (2019)","DOI":"10.5220\/0007377900860097"},{"key":"5_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1007\/11581741_13","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"V Garousi","year":"2005","unstructured":"Garousi, V., Briand, L.C., Labiche, Y.: Control flow analysis of UML 2.0 sequence diagrams. In: Hartman, A., Kreische, D. (eds.) ECMDA-FA 2005. LNCS, vol. 3748, pp. 160\u2013174. Springer, Heidelberg (2005). \nhttps:\/\/doi.org\/10.1007\/11581741_13"},{"issue":"8","key":"5_CR24","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C Hoare","year":"1978","unstructured":"Hoare, C.: Communicating sequential processes. Communun. ACM 21(8), 666\u2013677 (1978)","journal-title":"Communun. ACM"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Jhala, R., Majumdar, R.: Interprocedural analysis of asynchronous programs. In: POPL, pp. 339\u2013350 (2007)","DOI":"10.1145\/1190215.1190266"},{"key":"5_CR26","volume-title":"Programming in Occam2","author":"G Jones","year":"1988","unstructured":"Jones, G., Goldsmith, M.: Programming in Occam2. Prentice-Hall International, Upper Saddle River (1988)"},{"key":"5_CR27","unstructured":"Kahn, G.: The semantics of a simple language for parallel programming. In: IFIP Congress, pp. 471\u2013475 (1974)"},{"issue":"8","key":"5_CR28","doi-asserted-by":"publisher","first-page":"997","DOI":"10.1016\/j.jpdc.2004.03.018","volume":"64","author":"J Kepner","year":"2004","unstructured":"Kepner, J.: MatlabMPI. J. Parallel Distrib. Comput. 64(8), 997\u20131005 (2004)","journal-title":"J. Parallel Distrib. Comput."},{"issue":"4","key":"5_CR29","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1049\/ip-sen:19990602","volume":"146","author":"YG Kim","year":"1999","unstructured":"Kim, Y.G., Hong, H.S., Bae, D.H., Cha, S.D.: Test cases generation from UML state diagrams. IEE Proc.-Softw. 146(4), 187\u2013192 (1999)","journal-title":"IEE Proc.-Softw."},{"issue":"39","key":"5_CR30","first-page":"39:1","volume":"13","author":"S Kwon","year":"2008","unstructured":"Kwon, S., Kim, Y., Jeun, W., Ha, S., Paek, Y.: A retargetable parallel programming framework for MPSoC. TODAES 13(39), 39:1\u201339:18 (2008)","journal-title":"TODAES"},{"issue":"5","key":"5_CR31","doi-asserted-by":"publisher","first-page":"1235","DOI":"10.1109\/5.381846","volume":"83","author":"EA Lee","year":"1995","unstructured":"Lee, E.A., Parks, T.M.: Dataflow process network. Proc. IEEE 83(5), 1235\u20131245 (1995)","journal-title":"Proc. IEEE"},{"key":"5_CR32","doi-asserted-by":"publisher","first-page":"917","DOI":"10.1007\/978-94-017-7267-9_2","volume-title":"Handbook of Hardware\/Software Codesign","author":"R Leupers","year":"2017","unstructured":"Leupers, R., Aguilar, M.A., Eusse, J.F., Castrillon, J., Sheng, W.: MAPS: a software development environment for embedded multicore applications. In: Ha, S., Teich, J. (eds.) Handbook of Hardware\/Software Codesign, pp. 917\u2013949. Springer, Dordrecht (2017). \nhttps:\/\/doi.org\/10.1007\/978-94-017-7267-9_2"},{"key":"5_CR33","volume-title":"Executable UML: A Foundation for Model-Driven Architectures","author":"SJ Mellor","year":"2002","unstructured":"Mellor, S.J., Balcer, M.: Executable UML: A Foundation for Model-Driven Architectures. Addison-Wesley Longman Publishing Co., Inc., Boston (2002)"},{"key":"5_CR34","volume-title":"Principles of Program Analysis","author":"F Nielson","year":"2010","unstructured":"Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis. Springer, Heidelberg (2010)"},{"issue":"6","key":"5_CR35","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1109\/MSP.2009.934122","volume":"26","author":"H Park","year":"2009","unstructured":"Park, H., Oh, H., Ha, S.: Multiprocessor SoC design methods and tools. IEEE Sig. Process. Mag. 26(6), 72\u201379 (2009)","journal-title":"IEEE Sig. Process. Mag."},{"key":"5_CR36","doi-asserted-by":"crossref","unstructured":"Reps, T., Horwitz, S., Sagiv, M.: Precise interprocedural dataflow analysis via graph reachability. In: POPL, pp. 49\u201361 (1995)","DOI":"10.1145\/199448.199462"},{"key":"5_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"707","DOI":"10.1007\/978-3-642-41533-3_43","volume-title":"Model-Driven Engineering Languages and Systems","author":"C Saad","year":"2013","unstructured":"Saad, C., Bauer, B.: Data-flow based model analysis and its applications. In: Moreira, A., Sch\u00e4tz, B., Gray, J., Vallecillo, A., Clarke, P. (eds.) MODELS 2013. LNCS, vol. 8107, pp. 707\u2013723. Springer, Heidelberg (2013). \nhttps:\/\/doi.org\/10.1007\/978-3-642-41533-3_43"},{"issue":"2","key":"5_CR38","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/MC.2006.58","volume":"39","author":"DC Schmidt","year":"2006","unstructured":"Schmidt, D.C.: Model-driven engineering. IEEE Comput. 39(2), 25\u201331 (2006)","journal-title":"IEEE Comput."},{"issue":"5","key":"5_CR39","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1109\/MS.2003.1231146","volume":"20","author":"B Selic","year":"2003","unstructured":"Selic, B.: The pragmatics of model-driven development. IEEE Softw. 20(5), 19\u201325 (2003)","journal-title":"IEEE Softw."},{"key":"5_CR40","volume-title":"Engineering a Compiler","author":"L Torczon","year":"2007","unstructured":"Torczon, L., Cooper, K.: Engineering a Compiler, 2nd edn. Morgan Kaufmann Publishers Inc., San Francisco (2007)","edition":"2"},{"key":"5_CR41","unstructured":"TTool (2006). \nhttp:\/\/ttool.telecom-paristech.fr"},{"key":"5_CR42","unstructured":"TTool\/DIPLODOCUS (2006). \nhttp:\/\/ttool.telecom-paristech.fr\/diplodocus.html"},{"key":"5_CR43","unstructured":"VERIMAG: IF: Intermediate Format and Verification Tool set (2018). \nhttp:\/\/www-verimag.imag.fr\/article58.html?lang=en"},{"key":"5_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-540-69100-6_6","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"T Waheed","year":"2008","unstructured":"Waheed, T., Iqbal, M.Z.Z., Malik, Z.I.: Data flow analysis of UML action semantics for executable models. In: Schieferdecker, I., Hartman, A. (eds.) ECMDA-FA 2008. LNCS, vol. 5095, pp. 79\u201393. Springer, Heidelberg (2008). \nhttps:\/\/doi.org\/10.1007\/978-3-540-69100-6_6"}],"container-title":["Communications in Computer and Information Science","Model-Driven Engineering and Software Development"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-37873-8_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,3]],"date-time":"2020-01-03T01:12:30Z","timestamp":1578013950000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-37873-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030378721","9783030378738"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-37873-8_5","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"3 January 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"MODELSWARD","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Model-Driven Engineering and Software Development","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Prague","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Czech Republic","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 February 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 February 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"modelsward2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.modelsward.org\/?y=2019","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"PRIMORIS","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"76","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"16","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"25","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"21% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}