{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T17:02:15Z","timestamp":1648918935280},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2015,11,5]],"date-time":"2015-11-05T00:00:00Z","timestamp":1446681600000},"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":["J Sign Process Syst"],"published-print":{"date-parts":[[2016,9]]},"DOI":"10.1007\/s11265-015-1073-6","type":"journal-article","created":{"date-parts":[[2015,11,5]],"date-time":"2015-11-05T02:32:43Z","timestamp":1446690763000},"page":"383-397","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Instrumentation-Driven Validation of Dataflow Applications"],"prefix":"10.1007","volume":"84","author":[{"given":"Ilya","family":"Chukhman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yang","family":"Jiao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haifa Ben","family":"Salem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shuvra S.","family":"Bhattacharyya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,5]]},"reference":[{"key":"1073_CR1","doi-asserted-by":"publisher","unstructured":"Bezati, E., Mattavelli, M., & Janneck, J. (2013). High-level synthesis of dataflow programs for signal processing systems. In 2013 8th International Symposium on Image and Signal Processing and Analysis (ISPA) (pp. 750\u2013754). doi: 10.1109\/ISPA.2013.6703837 .","DOI":"10.1109\/ISPA.2013.6703837"},{"key":"1073_CR2","unstructured":"Bhattacharyya, S.S., Brebner, G., Eker, J., Janneck, J.W., Mattavelli, M., von Platen, C., & Raulet, M. (2008). OpenDF\u2014a dataflow toolset for reconfigurable hardware and multicore systems. In Proceedings of the Swedish Workshop on Multi-Core Computing (pp. 43\u201349). Ronneby, Sweden."},{"key":"1073_CR3","doi-asserted-by":"crossref","unstructured":"Bhattacharyya, S.S., Deprettere, E., Leupers, R., & Takala, J. (Eds.) (2010). Handbook of signal processing systems. Berlin: Springer.","DOI":"10.1007\/978-1-4419-6345-1"},{"issue":"2","key":"1073_CR4","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/s11265-009-0399-3","volume":"63","author":"SS Bhattacharyya","year":"2011","unstructured":"Bhattacharyya, S.S., Eker, J., Janneck, J.W., Lucarz, C., Mattavelli, M., & Raulet, M. (2011). Overview of the MPEG reconfigurable video coding framework. Journal of Signal Processing Systems, 63(2), 251\u2013263.","journal-title":"Journal of Signal Processing Systems"},{"issue":"2","key":"1073_CR5","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1109\/78.485935","volume":"44","author":"G Bilsen","year":"1996","unstructured":"Bilsen, G., Engels, M., Lauwereins, R., & Peperstraete, J.A. (1996). Cyclo-static dataflow. IEEE Transactions on Signal Processing, 44(2), 397\u2013408.","journal-title":"IEEE Transactions on Signal Processing"},{"key":"1073_CR6","unstructured":"Buck, J.T., & Lee, E.A. (1993). Scheduling dynamic dataflow graphs using the token flow model. In Proceedings of the international conference on acoustics, speech, and signal processing."},{"key":"1073_CR7","unstructured":"Casale-Brunet, S., Alberti, C., Mattavelli, M., & Janneck, J. (2013). Turnus: a unified dataflow design space exploration framework for heterogeneous parallel systems. In 2013 conference on design and architectures for signal and image processing (DASIP) (pp. 47\u201354)."},{"key":"1073_CR8","doi-asserted-by":"publisher","unstructured":"Chukhman, I., & Bhattacharyya, S.S. (2014). Instrumentation-driven framework for validation of dataflow applications. In 2014 IEEE workshop on signal processing systems (SiPS) (pp. 1\u20136). doi: 10.1109\/SiPS.2014.6986053 .","DOI":"10.1109\/SiPS.2014.6986053"},{"key":"1073_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4018\/jertcs.2013010101","volume":"4","author":"I Chukhman","year":"2013","unstructured":"Chukhman, I., Lin, S., Plishker, W., Shen, C., & Bhattacharyya, S.S. (2013). Instrumentation-driven model detection and actor partitioning for dataflow graphs. International Journal of Embedded and Real-Time Communication Systems, 4, 1\u201321.","journal-title":"International Journal of Embedded and Real-Time Communication Systems"},{"key":"1073_CR10","doi-asserted-by":"crossref","unstructured":"Cleaveland, R., Smolka, S.A., & Sims, S.T. (2008). An instrumentation-based approach to controller model validation. In Lecture Notes in Computer Science, vol. 4922 LNCS (pp. 84\u201397). San Diego.","DOI":"10.1007\/978-3-540-70930-5_6"},{"key":"1073_CR11","unstructured":"Damarla, T., Mehmood, A., & Sabatier, J. (2011). Detection of people and animals using non-imaging sensors. In Proceedings of the International Conference on Information Fusion (pp. 1\u20138)."},{"key":"1073_CR12","unstructured":"Eker, J., & Janneck, J.W. (2003). CAL language report, language version 1.0\u2014document edition 1. Tech. Rep. UCB\/ERL M03\/48. Electronics Research Laboratory. University of California at Berkeley."},{"issue":"1","key":"1073_CR13","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/s11265-009-0445-1","volume":"63","author":"R Gu","year":"2011","unstructured":"Gu, R., Janneck, J.W., Raulet, M., & Bhattacharyya, S.S. (2011). Exploiting statically schedulable regions in dataflow programs. Journal of Signal Processing Systems, 63(1), 129\u2013142.","journal-title":"Journal of Signal Processing Systems"},{"key":"1073_CR14","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1142\/S0218126603000763","volume":"12","author":"PL Guernic","year":"2002","unstructured":"Guernic, P.L., pierre Talpin, J., & christophe Le Lann, J. (2002). Polychrony for system design. Journal for Circuits, Systems and Computers, 12, 261\u2013304.","journal-title":"Journal for Circuits, Systems and Computers"},{"key":"1073_CR15","doi-asserted-by":"publisher","unstructured":"Henzinger, T., Liu, X., Qadeer, S., & Rajamani, S. (1999). Formal specification and verification of a dataflow processor array. In 1999 IEEE\/ACM International Conference on Computer-Aided Design, 1999. Digest of Technical Papers (pp. 494\u2013499). doi: 10.1109\/ICCAD.1999.810700 .","DOI":"10.1109\/ICCAD.1999.810700"},{"issue":"2","key":"1073_CR16","doi-asserted-by":"publisher","first-page":"9:1","DOI":"10.1145\/1459352.1459354","volume":"41","author":"RM Hierons","year":"2009","unstructured":"Hierons, R.M., Bogdanov, K., Bowen, J.P., Cleaveland, R., Derrick, J., Dick, J., Gheorghe, M., Harman, M., Kapoor, K., Krause, P., L\u00fcttgen, G., Simons, A.J.H., Vilkomir, S., Woodward, M.R., & Zedan, H. (2009). Using formal specifications to support testing. ACM Computing Surveys, 41(2), 9:1\u20139:76. doi: 10.1145\/1459352.1459354 .","journal-title":"ACM Computing Surveys"},{"key":"1073_CR17","doi-asserted-by":"publisher","unstructured":"Janneck, J., Miller, I., & Parlour, D. (2008). Profiling dataflow programs. In 2008 IEEE international conference on multimedia and expo (pp. 1065\u20131068). doi: 10.1109\/ICME.2008.4607622 .","DOI":"10.1109\/ICME.2008.4607622"},{"key":"1073_CR18","doi-asserted-by":"crossref","unstructured":"Jerbi, K., Wipliez, M., Raulet, M., Deforges, O., Babel, M., & Abid, M. (2010). Fast hardware implementation of an Hadamard transform using RVC-CAL dataflow programming. In Proceedings of the 2010 5th International Conference on Embedded and Multimedia Computing (EMC 2010). Piscataway.","DOI":"10.1109\/EMC.2010.5575731"},{"issue":"4","key":"1073_CR19","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1007\/BF01211297","volume":"9","author":"R Kneuper","year":"1997","unstructured":"Kneuper, R. (1997). Limits of formal methods. Formal Aspects of Computing, 9(4), 379\u2013394.","journal-title":"Formal Aspects of Computing"},{"issue":"2","key":"1073_CR20","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/s11265-007-0114-1","volume":"50","author":"M Ko","year":"2008","unstructured":"Ko, M., Shen, C., & Bhattacharyya, S.S. (2008). Memory-constrained block processing for DSP software optimization. Journal of Signal Processing Systems, 50(2), 163\u2013177.","journal-title":"Journal of Signal Processing Systems"},{"key":"1073_CR21","doi-asserted-by":"publisher","unstructured":"Lee, G.G., Chen, C.F., & Lin, H.Y. (2013). Algorithmic complexity analysis on data transfer rate and data storage for multidimensional signal processing. In: 2013 IEEE Workshop on Signal Processing Systems (SiPS) (pp. 171\u2013176). doi: 10.1109\/SiPS.2013.6674500 .","DOI":"10.1109\/SiPS.2013.6674500"},{"key":"1073_CR22","doi-asserted-by":"publisher","unstructured":"Ma, Y., Yu, H., Gautier, T., Le Guernic, P., Talpin, J.P., Besnard, L., & Heitz, M. (2013). Toward polychronous analysis and validation for timed software architectures in aadl. In Design, Automation Test in Europe Conference Exhibition (DATE), 2013 (pp. 1173\u20131178). doi: 10.7873\/DATE.2013.244 .","DOI":"10.7873\/DATE.2013.244"},{"key":"1073_CR23","doi-asserted-by":"crossref","unstructured":"Phadke, S., Limaye, R., Verma, S., & Subramanian, K. (2004). On design and implementation of an embedded automatic speech recognition system. In Proceedings of the international conference on VLSI Design (pp. 27\u2013132).","DOI":"10.1109\/ICVD.2004.1260914"},{"key":"1073_CR24","doi-asserted-by":"crossref","unstructured":"Plishker, W., Sane, N., Kiemb, M., Anand, K., & Bhattacharyya, S.S. (2008). Functional DIF for rapid prototyping. In Proceedings of the International Symposium on Rapid System Prototyping (pp. 17\u201323). Monterey.","DOI":"10.1109\/RSP.2008.32"},{"key":"1073_CR25","unstructured":"Potop-Butucaru, D., Edwards, S.A., & Berry, G. (2007). Compiling Esterel, 1st edn: Springer Publishing Company, Incorporated."},{"key":"1073_CR26","unstructured":"Rainsberger, J.B. (2004). JUnit Recipes: Practical Methods for Programmer Testing: Manning Publications."},{"issue":"5","key":"1073_CR27","doi-asserted-by":"publisher","first-page":"673","DOI":"10.1109\/TCSVT.2005.846414","volume":"15","author":"M Ravasi","year":"2005","unstructured":"Ravasi, M., & Mattavelli, M. (2005). High-abstraction level complexity analysis and memory architecture simulations of multimedia algorithms. IEEE Transactions on Circuits and Systems for Video Technology, 15(5), 673\u2013684. doi: 10.1109\/TCSVT.2005.846414 .","journal-title":"IEEE Transactions on Circuits and Systems for Video Technology"},{"key":"1073_CR28","doi-asserted-by":"publisher","unstructured":"Ray, A., Morschhaeuser, I., Ackermann, C., Cleaveland, R., Shelton, C., & Martin, C. (2009). Validating automotive control software using instrumentation-based verification. In Proceedings of 24th IEEE\/ACM conference on automated software engineering (pp. 15\u201325). doi: 10.1109\/ASE.2009.98 .","DOI":"10.1109\/ASE.2009.98"},{"key":"1073_CR29","doi-asserted-by":"crossref","unstructured":"Ritz, S., Pankert, M., & Meyr, H. (1993). Optimum vectorization of scalable synchronous dataflow graphs. In Proceedings of the international conference on application specific array processors.","DOI":"10.1109\/ASAP.1993.397152"},{"key":"1073_CR30","doi-asserted-by":"publisher","unstructured":"Sarkar, V., & Hennessy, J. (1986). Partitioning parallel programs for macro-dataflow. In Proceedings of the 1986 ACM conference on LISP and functional programming, LFP \u201986 (pp. 202\u2013211). ACM, New York. doi: 10.1145\/319838.319863 .","DOI":"10.1145\/319838.319863"},{"key":"1073_CR31","volume-title":"Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE","author":"B Seli\u0107","year":"2014","unstructured":"Seli\u0107, B., & G\u00e9rard, S. (2014). Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE. Boston: Morgan Kaufmann."},{"key":"1073_CR32","unstructured":"Shen, C., Wang, L., Cho, I., Kim, S., Won, S., Plishker, W., & Bhattacharyya, S.S. (2011). The DSPCAD lightweight dataflow environment: Introduction to LIDE version 0.1. Tech. Rep. UMIACS-TR-2011-17, Institute for Advanced Computer Studies. University of Maryland at College Park."},{"key":"1073_CR33","doi-asserted-by":"publisher","unstructured":"Yviquel, H., Lorence, A., Jerbi, K., Cocherel, G., Sanchez, A., & Raulet, M. (2013). Orcc: Multimedia development made easy. In Proceedings of the 21st ACM international conference on multimedia, MM \u201913 (pp. 863\u2013866). ACM. doi: 10.1145\/2502081.2502231 .","DOI":"10.1145\/2502081.2502231"}],"container-title":["Journal of Signal Processing Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11265-015-1073-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11265-015-1073-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11265-015-1073-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T12:22:29Z","timestamp":1559391749000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11265-015-1073-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11,5]]},"references-count":33,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2016,9]]}},"alternative-id":["1073"],"URL":"https:\/\/doi.org\/10.1007\/s11265-015-1073-6","relation":{},"ISSN":["1939-8018","1939-8115"],"issn-type":[{"value":"1939-8018","type":"print"},{"value":"1939-8115","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,11,5]]}}}