{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T17:57:43Z","timestamp":1725731863415},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642388521"},{"type":"electronic","value":"9783642388538"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38853-8_19","type":"book-chapter","created":{"date-parts":[[2013,6,13]],"date-time":"2013-06-13T10:39:00Z","timestamp":1371119940000},"page":"205-217","source":"Crossref","is-referenced-by-count":1,"title":["Exploiting Segregation in Bus-Based MPSoCs to Improve Scalability of Model-Checking-Based Performance Analysis for SDFAs"],"prefix":"10.1007","author":[{"given":"Maher","family":"Fakih","sequence":"first","affiliation":[]},{"given":"Kim","family":"Gr\u00fcttner","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Fr\u00e4nzle","sequence":"additional","affiliation":[]},{"given":"Achim","family":"Rettberg","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"Aeronautical Radio, I.: Arinc 653: Avionics application software standard interface. Technical report, ARINC, 2551 Riva Road Annapolis, MD 21401, U.S.A (2003)","key":"19_CR1"},{"doi-asserted-by":"crossref","unstructured":"Fakih, M., Gr\u00fcttner, K., Fr\u00e4nzle, M., Rettberg, A.: Towards performance analysis of SDFGs mapped to shared\u2013bus architectures using model\u2013checking. In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2013, Leuven, Belgium, European Design and Automation Association (March 2013)","key":"19_CR2","DOI":"10.7873\/DATE.2013.243"},{"unstructured":"Sriram, S., Bhattacharyya, S.S.: Embedded Multiprocessors: Scheduling and Synchronization, 1 edn. CRC Press (March 2000)","key":"19_CR3"},{"doi-asserted-by":"crossref","unstructured":"Lv, M., Yi, W., Guan, N., Yu, G.: Combining Abstract Interpretation with Model Checking for Timing Analysis of Multicore Software. In: 2010 31st IEEE Real-Time Systems Symposium, pp. 339\u2013349 (2010)","key":"19_CR4","DOI":"10.1109\/RTSS.2010.30"},{"unstructured":"Gustavsson, A., Ermedahl, A., Lisper, B., Pettersson, P.: Towards WCET Analysis of Multicore Architectures Using UPPAAL. In: 10th, pp. 101\u2013112 (2011)","key":"19_CR5"},{"doi-asserted-by":"crossref","unstructured":"Giannopoulou, G., Lampka, K., Stoimenov, N., Thiele, L.: Timed model checking with abstractions: Towards worst-case response time analysis in resource-sharing manycore systems. In: Proc. International Conference on Embedded Software (EMSOFT), Tampere, Finland, pp. 63\u201372. ACM (October 2012)","key":"19_CR6","DOI":"10.1145\/2380356.2380372"},{"doi-asserted-by":"crossref","unstructured":"Dong-il, C., Hyung, C., Jan, M.: System-Level Verification of Multi-Core Embedded Systems Using Timed-Automata, pp. 9302\u20139307 (July 2008)","key":"19_CR7","DOI":"10.3182\/20080706-5-KR-1001.01572"},{"doi-asserted-by":"crossref","unstructured":"Ghamarian, A.: Timing Analysis of Synchronous Data Flow Graphs. PhD thesis, Eindhoven University of Technology (2008)","key":"19_CR8","DOI":"10.1109\/DATE.2008.4484672"},{"unstructured":"Moonen, A.: Predictable Embedded Multiprocessor Architecture for Streaming Applications. PhD thesis, Eindhoven University of Technology (2009)","key":"19_CR9"},{"unstructured":"Kumar, A.: Analysis, Design and Management of Multimedia Multiprocessor Systems. PhD thesis, Ph. D. thesis, Eindhoven University of Technology (2009)","key":"19_CR10"},{"unstructured":"Yang, Y., Geilen, M., Basten, T., Stuijk, S., Corporaal, H.: Automated bottleneck-driven design-space exploration of media processing systems. In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2010, Leuven, Belgium, pp. 1041\u20131046. European Design and Automation Association (2010)","key":"19_CR11"},{"issue":"7","key":"19_CR12","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1016\/j.sysarc.2010.03.007","volume":"56","author":"A. Shabbir","year":"2010","unstructured":"Shabbir, A., Kumar, A., Stuijk, S., Mesman, B., Corporaal, H.: CA-MPSoC: An Automated Design Flow for Predictable Multi-processor Architectures for Multiple Applications. Journal of Systems Architecture\u00a056(7), 265\u2013277 (2010)","journal-title":"Journal of Systems Architecture"},{"doi-asserted-by":"crossref","unstructured":"Kumar, A., Mesman, B., Theelen, B., Corporaal, H., Ha, Y.: Analyzing composability of applications on MPSoC platforms. J. Syst. Archit.\u00a054(3-4) (March 2008)","key":"19_CR13","DOI":"10.1016\/j.sysarc.2007.10.002"},{"issue":"10","key":"19_CR14","doi-asserted-by":"publisher","first-page":"1517","DOI":"10.1109\/TCAD.2009.2026356","volume":"28","author":"A. Gerstlauer","year":"2009","unstructured":"Gerstlauer, A., Haubelt, C., Pimentel, A., Stefanov, T., Gajski, D., Teich, J.: Electronic System-Level Synthesis Methodologies. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems\u00a028(10), 1517\u20131530 (2009)","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"unstructured":"Stuijk, S.: Predictable Mapping of Streaming Applications on Multiprocessors, vol.\u00a068. University Microfilms International, P. O. Box 1764, Ann Arbor, MI, 48106, USA (2007)","key":"19_CR15"},{"doi-asserted-by":"crossref","unstructured":"Cai, L., Gajski, D.: Transaction Level Modeling: an Overview. In: First IEEE\/ACM\/IFIP International Conference on Hardware\/Software Codesign and System Synthesis, pp. 19\u201324 (October 2003)","key":"19_CR16","DOI":"10.1145\/944650.944651"}],"container-title":["IFIP Advances in Information and Communication Technology","Embedded Systems: Design, Analysis and Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38853-8_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T23:52:06Z","timestamp":1557791526000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38853-8_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642388521","9783642388538"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38853-8_19","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2013]]}}}