{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:19:10Z","timestamp":1759331950816,"version":"3.41.0"},"publisher-location":"Cham","reference-count":43,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319947631"},{"type":"electronic","value":"9783319947648"}],"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:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-94764-8_3","type":"book-chapter","created":{"date-parts":[[2018,7,7]],"date-time":"2018-07-07T13:03:35Z","timestamp":1530968615000},"page":"47-71","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Formal and Virtual Multi-level Design Space Exploration"],"prefix":"10.1007","author":[{"given":"Letitia W.","family":"Li","sequence":"first","affiliation":[]},{"given":"Daniela","family":"Genius","sequence":"additional","affiliation":[]},{"given":"Ludovic","family":"Apvrille","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,7,8]]},"reference":[{"key":"3_CR1","unstructured":"Apvrille, L.: Webpage of TTool (2015). http:\/\/ttool.telecom-paristech.fr\/"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Genius, D., Li, L.W., Apvrille, L.: Model-driven performance evaluation and formal verification for multi-level embedded system design. In: Conference on Model-Driven Engineering and Software Development (Modelsward 2017), Porto, Portugal (2017)","DOI":"10.5220\/0006140600780089"},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1016\/B978-155860702-6\/50048-X","volume-title":"Readings in Hardware\/Software Co-Design","author":"Joseph Buck","year":"2002","unstructured":"Buck, J., Ha, S., Lee, E.A., Messerschmitt, D.G.: Ptolemy: a framework for simulating and prototyping heterogeneous systems. In: Readings in Hardware\/Software Co-design, pp. 527\u2013543 (2002)"},{"key":"3_CR4","volume-title":"System Design, Modeling, and Simulation: Using Ptolemy II","author":"C Ptolemaeus","year":"2014","unstructured":"Ptolemaeus, C.: System Design, Modeling, and Simulation: Using Ptolemy II. Ptolemy.org, Berkeley (2014)"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Kim, H., Guo, L., Lee, E.A., Sangiovanni-Vincentelli, A.: A tool integration approach for architectural exploration of aircraft electric power systems. In: IEEE Proceedings of the 1st International Conference on Cyber-Physical Systems, Networks, and Applications, pp. 38\u201343. IEEE (2013)","DOI":"10.1109\/CPSNA.2013.6614244"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Zimmermann, J., Stattelmann, S., Viehl, A., Bringmann, O., Rosenstiel, W.: Model-driven virtual prototyping for real-time simulation of distributed embedded systems. In: SIES, pp. 201\u2013210. IEEE (2012)","DOI":"10.1109\/SIES.2012.6356586"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Roth, C., Bucher, H., Reder, S., Buciuman, F., Sander, O., Becker, J.: A SystemC modeling and simulation methodology for fast and accurate parallel MPSoC simulation. In: 2013 26th Symposium on Integrated Circuits and Systems Design (SBCCI), pp. 1\u20136. IEEE (2013)","DOI":"10.1109\/SBCCI.2013.6644853"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Real, M.M., Wehner, P., Rettkowski, J., Migliore, V., Lapotre, V., G\u00f6hringer, D., Gogniat, G.: MPSoCSim extension: an OVP simulator for the evaluation of cluster-based multi and many-core architectures. In: Proceedings of the 4th Workshop on Virtual Prototyping of Parallel and Embedded Systems (ViPES) as Part of the International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XVI), Samos, Greece (2016)","DOI":"10.1109\/SAMOS.2016.7818370"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Buchmann, R., Greiner, A.: A fully static scheduling approach for fast cycle accurate SystemC simulation of MPSoCs. In: Proceedings of the ICEEC, Cairo, Egypt, pp. 35\u201339. IEEE (2007)","DOI":"10.1109\/ICM.2007.4497671"},{"key":"3_CR10","unstructured":"Polarsys: ARCADIA\/CAPELLA (2008). https:\/\/www.polarsys.org\/capella\/arcadia.html"},{"key":"3_CR11","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1023\/A:1012231429554","volume":"29","author":"P Lieverse","year":"2001","unstructured":"Lieverse, P., van der Wolf, P., Vissers, K.A., Deprettere, E.F.: A methodology for architecture exploration of heterogeneous signal processing systems. VLSI Signal Process. 29, 197\u2013207 (2001)","journal-title":"VLSI Signal Process."},{"key":"3_CR12","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1109\/MC.2003.1193228","volume":"36","author":"F Balarin","year":"2003","unstructured":"Balarin, F., Watanabe, Y., Hsieh, H., Lavagno, L., Passerone, C., Sangiovanni-Vincentelli, A.L.: Metropolis: an integrated electronic system design environment. IEEE Comput. 36, 45\u201352 (2003)","journal-title":"IEEE Comput."},{"key":"3_CR13","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1109\/TEVC.2005.860766","volume":"10","author":"C Erbas","year":"2006","unstructured":"Erbas, C., Cerav-Erbas, S., Pimentel, A.D.: Multiobjective optimization and evolutionary algorithms for the application mapping problem in multiprocessor system-on-chip design. IEEE Trans. Evol. Comput. 10, 358\u2013374 (2006)","journal-title":"IEEE Trans. Evol. Comput."},{"key":"3_CR14","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)"},{"key":"3_CR15","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1109\/2.963445","volume":"34","author":"AD Pimentel","year":"2001","unstructured":"Pimentel, A.D., Hertzberger, L.O., Lieverse, P., van der Wolf, P., Deprettere, E.F.: Exploring embedded-systems architectures with Artemis. IEEE Comput. 34, 57\u201363 (2001)","journal-title":"IEEE Comput."},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/3-540-45874-3_2","volume-title":"Embedded Processor Design Challenges","author":"B Kienhuis","year":"2002","unstructured":"Kienhuis, B., Deprettere, E.F., van der Wolf, P., Vissers, K.: A methodology to design programmable embedded systems. In: Deprettere, E.F., Teich, J., Vassiliadis, S. (eds.) SAMOS 2001. LNCS, vol. 2268, pp. 18\u201337. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45874-3_2"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Vidal, J., de Lamotte, F., Gogniat, G., Soulard, P., Diguet, J.P.: A co-design approach for embedded system modeling and code generation with UML and MARTE. In: DATE 2009, pp. 226\u2013231 (2009)","DOI":"10.1109\/DATE.2009.5090662"},{"key":"3_CR18","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/2043662.2043663","volume":"10","author":"A Gamati\u00e9","year":"2011","unstructured":"Gamati\u00e9, A., Beux, S.L., Piel, \u00c9., Atitallah, R.B., Etien, A., Marquet, P., Dekeyser, J.L.: A model-driven design framework for massively parallel embedded systems. ACM Trans. Embed. Comput. Syst 10, 39 (2011)","journal-title":"ACM Trans. Embed. Comput. Syst"},{"key":"3_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-642-16145-2_4","volume-title":"Model Driven Engineering Languages and Systems","author":"T Saxena","year":"2010","unstructured":"Saxena, T., Karsai, G.: MDE-based approach for generalizing design space exploration. In: Petriu, D.C., Rouquette, N., Haugen, \u00d8. (eds.) MODELS 2010. LNCS, vol. 6394, pp. 46\u201360. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-16145-2_4"},{"key":"3_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/978-3-642-16277-0_6","volume-title":"Model-Based Engineering of Embedded Real-Time Systems","author":"S G\u00e9rard","year":"2010","unstructured":"G\u00e9rard, S., Espinoza, H., Terrier, F., Selic, B.: 6 modeling languages for real-time and embedded systems. In: Giese, H., Karsai, G., Lee, E., Rumpe, B., Sch\u00e4tz, B. (eds.) MBEERTS 2007. LNCS, vol. 6100, pp. 129\u2013154. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-16277-0_6"},{"key":"3_CR21","unstructured":"IBM Corporation: Rational Rhapsody. https:\/\/www.ibm.com\/us-en\/marketplace\/rational-rhapsody"},{"key":"3_CR22","unstructured":"Sodius Corporation: MDGen for SystemC. http:\/\/sodius.com\/products-overview\/systemc"},{"key":"3_CR23","series-title":"IFIP The International Federation for Information Processing","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/0-387-24590-1_1","volume-title":"Architecture Description Languages","author":"PH Feiler","year":"2004","unstructured":"Feiler, P.H., Lewis, B.A., Vestal, S., Colbert, E.: An overview of the SAE architecture analysis & design language (AADL) standard: a basis for model-based architecture-driven embedded systems engineering. In: Dissaux, P., Filali-Amine, M., Michel, P., Vernadat, F. (eds.) IFIP WCC TC2 2004. IFIP The International Federation for Information Processing, vol. 176, pp. 3\u201315. Springer, Boston (2004). https:\/\/doi.org\/10.1007\/0-387-24590-1_1"},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"Yu, H., Joshi, P., Talpin, J.P., Shukla, S.K., Shiraishi, S.: The challenge of interoperability: model-based integration for automotive control software. In: DAC, pp. 58:1\u201358:6. ACM (2015)","DOI":"10.1145\/2744769.2747945"},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"Bombieri, N., Fummi, F., Vinco, S., Quaglia, D.: Automatic interface generation for component reuse in HW-SW partitioning. In: 2011 14th Euromicro Conference on Digital System Design, pp. 793\u2013796 (2011)","DOI":"10.1109\/DSD.2011.105"},{"key":"3_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1007\/978-3-540-75209-7_22","volume-title":"Model Driven Engineering Languages and Systems","author":"G Batori","year":"2007","unstructured":"Batori, G., Theisz, Z., Asztalos, D.: Domain specific modeling methodology for reconfigurable networked systems. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 316\u2013330. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-75209-7_22"},{"key":"3_CR27","unstructured":"Genius, D., Apvrille, L.: Virtual yet precise prototyping: an automotive case study. In: ERTSS 2016, Toulouse (2016)"},{"key":"3_CR28","unstructured":"Genius, D., Apvrille, L.: System-level design for communication-centric task farm applications. In: 12th International Symposium on Reconfigurable Communication-centric Systems-on-Chip, pp. 1\u20138. IEEE (2017). https:\/\/ieeexplore.ieee.org\/document\/8016145\/"},{"key":"3_CR29","unstructured":"Schweppe, H., Roudier, Y., Weyl, B., Apvrille, L., Scheuermann, D.: C2x communication: securing the last meter. In: The 4th IEEE International Symposium on Wireless Vehicular Communications, WIVEC 2011, San Francisco, USA (2011)"},{"key":"3_CR30","unstructured":"SoCLib Consortium: SoCLib: an open platform for virtual prototyping of multi-processors system on chip. http:\/\/www.soclib.fr (2010)"},{"key":"3_CR31","unstructured":"VSI Alliance: Virtual component interface standard (OCB 2 2.0). Technical report, VSI Alliance (2000)"},{"key":"3_CR32","doi-asserted-by":"crossref","unstructured":"Genius, D., Pouillon, N.: Monitoring communication channels on a shared memory multi-processor system on chip. In: ReCoSoC, pp. 1\u20138. IEEE (2011)","DOI":"10.1109\/ReCoSoC.2011.5981502"},{"key":"3_CR33","series-title":"Lecture Notes in Electrical Engineering","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-90-481-9965-5_3","volume-title":"Algorithm-Architecture Matching for Signal and Image Processing","author":"D Genius","year":"2011","unstructured":"Genius, D., Faure, E., Pouillon, N.: Mapping a telecommunication application on a multiprocessor system-on-chip. In: Gogniat, G., Milojevic, D., Morawiec, A., Erdogan, A. (eds.) Algorithm-Architecture Matching for Signal and Image Processing. LNEE, vol. 73, pp. 53\u201377. Springer, Dordrecht (2011). https:\/\/doi.org\/10.1007\/978-90-481-9965-5_3"},{"key":"3_CR34","doi-asserted-by":"crossref","unstructured":"Genius, D.: Measuring memory access latency for software objects in a NUMA system-on-chip architecture. In: ReCoSoC, pp. 1\u20138. IEEE (2013)","DOI":"10.1109\/ReCoSoC.2013.6581525"},{"key":"3_CR35","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1002\/cpe.2802","volume":"25","author":"D Knorreck","year":"2013","unstructured":"Knorreck, D., Apvrille, L., Pacalet, R.: Formal system-level design space exploration. Concurr. Comput.: Pract. Exp. 25, 250\u2013264 (2013)","journal-title":"Concurr. Comput.: Pract. Exp."},{"key":"3_CR36","doi-asserted-by":"publisher","first-page":"34:1","DOI":"10.1145\/2999537","volume":"22","author":"A Enrici","year":"2017","unstructured":"Enrici, A., Apvrille, L., Pacalet, R.: A model-driven engineering methodology to design parallel and distributed embedded systems. ACM Trans. Des. Autom. Electron. Syst. 22, 34:1\u201334:25 (2017)","journal-title":"ACM Trans. Des. Autom. Electron. Syst."},{"key":"3_CR37","doi-asserted-by":"crossref","unstructured":"Pedroza, G., Knorreck, D., Apvrille, L.: AVATAR: a SysML environment for the formal verification of safety and security properties. In: The 11th IEEE Conference on Distributed Systems and New Technologies (NOTERE 2011), Paris, France (2011)","DOI":"10.1109\/NOTERE.2011.5957992"},{"key":"3_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-540-27755-2_3","volume-title":"Lectures on Concurrency and Petri Nets","author":"J Bengtsson","year":"2004","unstructured":"Bengtsson, J., Yi, W.: Timed automata: semantics, algorithms and tools. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol. 3098, pp. 87\u2013124. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-27755-2_3"},{"key":"3_CR39","doi-asserted-by":"crossref","unstructured":"Blanchet, B.: An efficient cryptographic protocol verifier based on prolog rules. In: Proceedings of the 14th IEEE Workshop on Computer Security Foundations, CSFW 2001, Washington, D.C., USA, p. 82. IEEE Computer Society (2001)","DOI":"10.1109\/CSFW.2001.930138"},{"key":"3_CR40","doi-asserted-by":"crossref","unstructured":"Li, L.W., Lugou, F., Apvrille, L.: Security-aware modeling and analysis for HW\/SW partitioning. In: Conference on Model-Driven Engineering and Software Development (Modelsward 2017), Porto, Portugal (2017)","DOI":"10.5220\/0006119603020311"},{"key":"3_CR41","doi-asserted-by":"crossref","unstructured":"Lugou, F., Li, L.W., Apvrille, L., Ameur-Boulifa, R.: SysML models and model transformation for security. In: Conference on Model-Driven Engineering and Software Development (Modelsward 2016), Rome, Italy (2016)","DOI":"10.5220\/0005748703310338"},{"key":"3_CR42","unstructured":"Etienne Faure: Communications mat\u00e9rielles-logicielles dans les syst\u00e8mes sur puce orient\u00e9s t\u00e9l\u00e9communications (HW\/SW communications in telecommunication oriented MPSoC). Ph.D. thesis, UPMC (2007)"},{"key":"3_CR43","unstructured":"Becoulet, A.: MutekH. http:\/\/www.mutekh.org"}],"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-319-94764-8_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,5]],"date-time":"2025-07-05T16:52:01Z","timestamp":1751734321000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-94764-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319947631","9783319947648"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-94764-8_3","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"8 July 2018","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":"Porto","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 February 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 February 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"modelsward2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.modelsward.org\/?y=2017","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}