{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T08:08:30Z","timestamp":1743062910897,"version":"3.40.3"},"publisher-location":"Cham","reference-count":42,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031663383"},{"type":"electronic","value":"9783031663390"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-66339-0_1","type":"book-chapter","created":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:02:10Z","timestamp":1725562930000},"page":"3-28","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Hierarchical Design Tool for\u00a0SystemC AMS"],"prefix":"10.1007","author":[{"given":"Daniela","family":"Genius","sequence":"first","affiliation":[]},{"given":"Ludovic","family":"Apvrille","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,9,6]]},"reference":[{"key":"1_CR1","unstructured":"Accellera Systems Initiative: SystemC AMS extensions Users Guide, Version 1.0 (2010)"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Andrade, L., Maehne, T., Vachoux, A., Ben\u00a0Aoun, C., P\u00eacheux, F., Lou\u00ebrat, M.M.: Pre-simulation formal analysis of synchronization issues between discrete event and timed data flow models of computation. In: Design, Automation and Test in Europe, DATE Conference (2015)","DOI":"10.7873\/DATE.2015.0758"},{"key":"1_CR3","unstructured":"Apvrille, L.: TTool, an open-source toolkit for the modeling and verification of embedded systems (2011). http:\/\/ttool.telecom-paristech.fr\/"},{"key":"1_CR4","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: 2006 13th IEEE International Conference on Electronics, Circuits and Systems, pp. 1272\u20131275. IEEE (2006)","DOI":"10.1109\/ICECS.2006.379694"},{"key":"1_CR5","unstructured":"Beyond Dreams Consortium: Beyond Dreams (Design Refinement of Embedded Analogue and Mixed-Signal Systems) (2008\u20132011). projects.eas.iis.fraunhofer.de\/beyonddreams"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Blochwitz, T., et\u00a0al.: The functional mockup interface for tool independent exchange of simulation models. In: 8th International Modelica Conference, Dresden, Germany, pp. 105\u2013114 (2011)","DOI":"10.3384\/ecp11063105"},{"issue":"2","key":"1_CR7","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1109\/32.4640","volume":"14","author":"AI Concepcion","year":"1988","unstructured":"Concepcion, A.I., Zeigler, B.P.: DEVS formalism: a framework for hierarchical model development. IEEE Trans. Softw. Eng. 14(2), 228\u2013241 (1988)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Cort\u00e9s Porto, R., Genius, D., Apvrille, L.: Handling causality and schedulability when designing and prototyping cyber-physical systems. Softw. Syst. Model. 1\u201317 (2021)","DOI":"10.1007\/s10270-021-00866-1"},{"key":"1_CR9","unstructured":"Davare, A., et al.: A next-generation design framework for platform-based design. In: DVCon, vol.\u00a0152 (2007)"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Demathieu, S., Thomas, F., Andr\u00e9, C., G\u00e9rard, S., Terrier, F.: First experiments using the uml profile for marte, pp. 50\u201357. IEEE (2008)","DOI":"10.1109\/ISORC.2008.36"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/978-3-030-16722-6_22","volume-title":"Fundamental Approaches to Software Engineering","author":"P Dubrulle","year":"2019","unstructured":"Dubrulle, P., Gaston, C., Kosmatov, N., Lapitre, A., Louise, S.: A data flow model with frequency arithmetic. In: H\u00e4hnle, R., van der Aalst, W. (eds.) FASE 2019. LNCS, vol. 11424, pp. 369\u2013385. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-16722-6_22"},{"key":"1_CR12","unstructured":"Einwich, K.: Coside (2016). https:\/\/www.coseda-tech.com"},{"key":"1_CR13","unstructured":"Einwich, K.: SystemC AMS PoC2.1 Library, COSEDA, Dresden (2016)"},{"issue":"4","key":"1_CR14","doi-asserted-by":"publisher","first-page":"726","DOI":"10.1017\/S0960129512000242","volume":"23","author":"JS Fitzgerald","year":"2013","unstructured":"Fitzgerald, J.S., Larsen, P.G., Pierce, K.G., Verhoef, M.H.G.: A formal approach to collaborative modelling and co-simulation for embedded systems. Math. Struct. Comput. Sci. 23(4), 726\u2013750 (2013)","journal-title":"Math. Struct. Comput. Sci."},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BFb0054087","volume-title":"ECOOP\u201998 \u2014 Object-Oriented Programming","author":"P Fritzson","year":"1998","unstructured":"Fritzson, P., Engelson, V.: Modelica\u2014a unified object-oriented language for system modeling and simulation. In: Jul, E. (ed.) ECOOP 1998. LNCS, vol. 1445, pp. 67\u201390. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/BFb0054087"},{"issue":"4","key":"1_CR16","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/2043662.2043663","volume":"10","author":"A Gamati\u00e9","year":"2011","unstructured":"Gamati\u00e9, A., et al.: A model-driven design framework for massively parallel embedded systems. ACM Trans. Embedded Comput. Syst 10(4), 39 (2011)","journal-title":"ACM Trans. Embedded Comput. Syst"},{"key":"1_CR17","unstructured":"Genius, D., Apvrille, L.: Virtual yet precise prototyping: an automotive case study. In: ERTSS\u20192016, Toulouse (2016)"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Genius, D., Apvrille, L.: Hierarchical design of cyber-physical systems. In: Modelsward (2023)","DOI":"10.5220\/0011654400003402"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Genius, D., Bournias, I., Apvrille, L., Chotin, R.: High-level partitioning and design space exploration for cyber physical systems. In: MODELSWARD (2020)","DOI":"10.5220\/0009171600840091"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"Genius, D., Cort\u00e9s Porto, R., Apvrille, L., P\u00eacheux, F.: A tool for high-level modeling of analog\/mixed signal embedded systems. In: MODELSWARD (2019)","DOI":"10.5220\/0007520804350442"},{"key":"1_CR21","unstructured":"Gylling, V., Olsson, R.: Implementation of a 200 msps 12-bit sar adc (2015)"},{"key":"1_CR22","unstructured":"H-Inception Consortium: Heterogeneous Inception Project (2012\u20132015). https:\/\/www-soc.lip6.fr\/trac\/hinception"},{"issue":"3","key":"1_CR23","first-page":"22","volume":"12","author":"F Herrera","year":"2007","unstructured":"Herrera, F., Villar, E.: A framework for heterogeneous specification and design of electronic embedded systems in systemc. ACM Trans. Des. Autom. Electron. Syst. (TODAES) 12(3), 22 (2007)","journal-title":"ACM Trans. Des. Autom. Electron. Syst. (TODAES)"},{"key":"1_CR24","unstructured":"IEEE: IEEE Standard VHDL Language Reference Manual (1987)"},{"key":"1_CR25","unstructured":"IEEE: SystemC. IEEE Standard 1666\u20132011 (2011)"},{"key":"1_CR26","volume-title":"Modeling Embedded Systems and SoC\u2019s: Concurrency and Time in Models of Computation","author":"A Jantsch","year":"2003","unstructured":"Jantsch, A.: Modeling Embedded Systems and SoC\u2019s: Concurrency and Time in Models of Computation. Elsevier, Amsterdam (2003)"},{"key":"1_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/978-3-642-16129-2_20","volume-title":"Model Driven Engineering Languages and Systems","author":"EA Lee","year":"2010","unstructured":"Lee, E.A.: Disciplined heterogeneous modeling. In: Petriu, D.C., Rouquette, N., Haugen, \u00d8. (eds.) MODELS 2010. LNCS, vol. 6395, pp. 273\u2013287. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-16129-2_20"},{"issue":"9","key":"1_CR28","doi-asserted-by":"publisher","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":"1_CR29","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-319-94764-8_3","volume-title":"Model-Driven Engineering and Software Development","author":"LW Li","year":"2018","unstructured":"Li, L.W., Genius, D., Apvrille, L.: Formal and virtual multi-level design space exploration. In: Pires, L.F., Hammoudi, S., Selic, B. (eds.) MODELSWARD 2017. CCIS, vol. 880, pp. 47\u201371. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-94764-8_3"},{"key":"1_CR30","unstructured":"Lou\u00ebrat, M.M., Porte, J.: scalable sar adc, technicat report, chips4makers.io (2022)"},{"key":"1_CR31","unstructured":"Niaki, S.H.A., Jakobsen, M.K., Sulonen, T., Sander, I.: Formal heterogeneous system modeling with systemc. In: 2012 Forum on Specification and Design Languages (FDL), pp. 160\u2013167. IEEE (2012)"},{"issue":"8","key":"1_CR32","first-page":"1261","volume":"24","author":"HD Patel","year":"2005","unstructured":"Patel, H.D., Shukla, S.K.: Towards a heterogeneous simulation kernel for system-level models: a systemc kernel for SDF models. TCAD 24(8), 1261\u20131271 (2005)","journal-title":"TCAD"},{"key":"1_CR33","unstructured":"Porte, J.: Oceane: Software tool for analog design and education (2008). https:\/\/www-soc.lip6.fr\/en\/team-cian\/softwares\/oceane\/"},{"key":"1_CR34","unstructured":"Quarles, T., Pederson, D., Newton, R., Sangiovanni-Vincentelli, A., Wayne, C.: Spice home page (2003). https:\/\/bwrc.eecs.berkeley.edu\/Classes\/IcBook\/SPICE\/"},{"key":"1_CR35","unstructured":"Quillevere, H.: Gtk Analog Wave viewer (2019). http:\/\/www.rvq.fr\/linux\/gaw.php"},{"key":"1_CR36","volume-title":"Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE: Developing Cyber-Physical Systems","author":"B Selic","year":"2013","unstructured":"Selic, B., G\u00e9rard, S.: Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE: Developing Cyber-Physical Systems. Elsevier, Amsterdam (2013)"},{"issue":"1","key":"1_CR37","first-page":"51","volume":"65","author":"Y Shen","year":"2017","unstructured":"Shen, Y., Zhu, Z., Liu, S., Yang, Y.: A reconfigurable 10-to-12-b 80-to-20-ms\/s bandwidth scalable sar adc. IEEE Trans. Circ. Syst. I 65(1), 51\u201360 (2017)","journal-title":"IEEE Trans. Circ. Syst. I"},{"key":"1_CR38","unstructured":"SocLib consortium: The SoCLib project: An Integrated System-on-Chip Modelling and Simulation Platform (2003). www.soclib.fr"},{"key":"1_CR39","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-642-15234-4_5","volume-title":"Distributed, Parallel and Biologically Inspired Systems","author":"S Taha","year":"2010","unstructured":"Taha, S., Radermacher, A., G\u00e9rard, S.: An entirely model-based framework for hardware design and simulation. In: Hinchey, M., et al. (eds.) BICC\/DIPES -2010. IAICT, vol. 329, pp. 31\u201342. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15234-4_5"},{"key":"1_CR40","doi-asserted-by":"crossref","unstructured":"Vachoux, A., Grimm, C., Einwich, K.: Analog and mixed signal modelling with SystemC-AMS. In: ISCAS (3), pp. 914\u2013917. IEEE (2003). http:\/\/ieeexplore.ieee.org\/xpl\/mostRecentIssue.jsp?punumber=8570","DOI":"10.1109\/ISCAS.2003.1205169"},{"key":"1_CR41","doi-asserted-by":"crossref","unstructured":"Zhao, C., Kazmierski, T.J.: An extension to SystemC-A to support mixed-technology systems with distributed components. In: DATE, pp.\u00a01\u20136. IEEE (2011)","DOI":"10.1109\/DATE.2011.5763205"},{"key":"1_CR42","unstructured":"Zhu, J., Sander, I., Jantsch, A.: Hetmoc: Heterogeneous modelling in systemc. In: 2010 Forum on Specification & Design Languages (FDL 2010), pp.\u00a01\u20136. IET (2010)"}],"container-title":["Communications in Computer and Information Science","Model-Driven Engineering and Software Development"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-66339-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,27]],"date-time":"2024-11-27T20:39:53Z","timestamp":1732739993000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-66339-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031663383","9783031663390"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-66339-0_1","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"6 September 2024","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":"Lisbon","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":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 February 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 February 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"modelsward2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}