{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:19:50Z","timestamp":1759331990181,"version":"3.37.3"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2021,2,27]],"date-time":"2021-02-27T00:00:00Z","timestamp":1614384000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,2,27]],"date-time":"2021-02-27T00:00:00Z","timestamp":1614384000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2021,6]]},"DOI":"10.1007\/s10270-021-00866-1","type":"journal-article","created":{"date-parts":[[2021,2,27]],"date-time":"2021-02-27T17:03:11Z","timestamp":1614445391000},"page":"667-683","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Handling causality and schedulability when designing and prototyping cyber-physical systems"],"prefix":"10.1007","volume":"20","author":[{"given":"Rodrigo","family":"Cort\u00e9s\u00a0Porto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9410-6716","authenticated-orcid":false,"given":"Daniela","family":"Genius","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ludovic","family":"Apvrille","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,2,27]]},"reference":[{"key":"866_CR1","unstructured":"Accellera Systems Initiative: SystemC AMS extensions Users Guide, Version 1.0 (2010)"},{"key":"866_CR2","doi-asserted-by":"crossref","unstructured":"Andrade, L., Maehne, T., Vachoux, A., Aoun, C.B., P\u00eacheux, F., Lou\u00ebrat, M.M.: Pre-simulation symbolic analysis of synchronization issues between discrete event and timed data flow models of computation. In: Design, Automation & Test in Europe Conference & Exhibition (DATE), pp. 1671\u20131676. Grenoble, France (2015)","DOI":"10.7873\/DATE.2015.0758"},{"key":"866_CR3","unstructured":"Andrade\u00a0Porras, L.: Principles and Implementation of a Generic Synchronization Interface Between SystemC AMS Models of Computation for the Virtual Prototyping of Multi-disciplinary Systems. Ph.D. thesis, UPMC (2016)"},{"key":"866_CR4","unstructured":"Apvrille, L.: TTool, an Open-source UML and SysML Toolkit. http:\/\/ttool.telecom-paris.fr\/"},{"key":"866_CR5","unstructured":"Ben\u00a0Aoun, C.: Principles and Realization of a Virtual Prototyping Environment for Composable Heterogeneous Systems. Ph.D. thesis, UPMC (2017)"},{"key":"866_CR6","doi-asserted-by":"crossref","unstructured":"Bengtsson, J., Yi., W.: Timed automata: semantics, algorithms and tools. In: Reisig, W., Rozenberg, G. (Eds.) Lecture Notes on Concurrency and Petri Nets, pp. 87\u2013124. LNCS 3098. Springer, Berlin (2004)","DOI":"10.1007\/978-3-540-27755-2_3"},{"key":"866_CR7","doi-asserted-by":"crossref","unstructured":"Benveniste, A., Bourke, T., Caillaud, B., Pagano, B., Pouzet, M.: A type-based analysis of causality loops in hybrid modelers. In: 17th International Conference on Hybrid Systems: Computation and Control (HSCC\u201914). pp. 71\u201382. Berlin, Germany (2014). http:\/\/zelus.di.ens.fr\/hscc2014\/fullpaper.pdf","DOI":"10.1145\/2562059.2562125"},{"issue":"1","key":"866_CR8","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/JPROC.2002.805826","volume":"91","author":"A Benveniste","year":"2003","unstructured":"Benveniste, A., Caspi, P., Edwards, S.A., Halbwachs, N., Le Guernic, P., De Simone, R.: The synchronous languages 12 years later. Proc. IEEE 91(1), 64\u201383 (2003)","journal-title":"Proc. IEEE"},{"key":"866_CR9","unstructured":"Beyond Dreams: (Design Refinement of Embedded Analogue and Mixed-Signal Systems) (2008\u20132011). http:\/\/projects.eas.iis.fraunhofer.de\/beyonddreams"},{"key":"866_CR10","doi-asserted-by":"crossref","unstructured":"Blochwitz, T., Otter, M., Arnold, M., Bausch, C., Elmqvist, H., Junghanns, A., Mau\u00df, J., Monteiro, M., Neidhold, T., Neumerkel, D., et\u00a0al.: The functional mockup interface for tool independent exchange of simulation models. In: Proceedings of the 8th International Modelica Conference; March 20th\u201322nd; Technical University Dresden, Germany. Link\u00f6ping University Electronic Press (2011)","DOI":"10.3384\/ecp11063105"},{"key":"866_CR11","doi-asserted-by":"publisher","unstructured":"Boulanger, F., Jacquet, C., Hardebolle, C., Prodan, I.: Tesl: a language for reconciling heterogeneous execution traces. In: 2014 Twelfth ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), pp. 114\u2013123. Lausanne, Switzerland (2014). https:\/\/doi.org\/10.1109\/MEMCOD.2014.6961849","DOI":"10.1109\/MEMCOD.2014.6961849"},{"issue":"2","key":"866_CR12","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":"866_CR13","unstructured":"Cort\u00e9s\u00a0Porto, R.: Integration of SystemC-AMS Simulation Platforms into TTool. Master\u2019s thesis, Kaiserslautern (2018). www-soc.lip6.fr\/~genius\/research"},{"key":"866_CR14","doi-asserted-by":"crossref","unstructured":"Cort\u00e9s Porto, R., Genius, D., Apvrille, L.: Modeling and virtual prototyping for embedded systems on mixed-signal multicores. In: RAPIDO (2019)","DOI":"10.1145\/3300189.3300193"},{"key":"866_CR15","doi-asserted-by":"crossref","unstructured":"Damm, M., Grimm, C., Haas, J., Herrholz, A., Nebel, W.: Connecting SystemC-AMS models with OSCI TLM 2.0 models using temporal decoupling. In: FDL, pp. 25\u201330 (2008)","DOI":"10.1109\/FDL.2008.4641416"},{"key":"866_CR16","unstructured":"Davare, A., Densmore, D., Meyerowitz, T., Pinto, A., Sangiovanni-Vincentelli, A., Yang, G., Zeng, H., Zhu, Q.: A next-generation design framework for platform-based design. In: Conference on Using Hardware Design and Verification Languages (DVCon), vol.\u00a0152 (2007)"},{"key":"866_CR17","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. In: 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), pp. 50\u201357. IEEE (2008)","DOI":"10.1109\/ISORC.2008.36"},{"key":"866_CR18","unstructured":"Einwich, K.: SystemC AMS PoC2.1 Library (2016)"},{"key":"866_CR19","doi-asserted-by":"crossref","unstructured":"Fritzson, P., Engelson, V.: Modelica\u2014a unified object-oriented language for system modeling and simulation. In: European Conference on Object-Oriented Programming, pp. 67\u201390. Springer, Berlin (1998)","DOI":"10.1007\/BFb0054087"},{"key":"866_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. Scitepress (2019)","DOI":"10.5220\/0007520804330440"},{"key":"866_CR21","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: MODELSWARD. SCITEPRESS (2017)","DOI":"10.5220\/0006140600780089"},{"key":"866_CR22","unstructured":"H-Inception Consortium: Heterogeneous Inception Project (2012\u20132015). https:\/\/www-soc.lip6.fr\/trac\/hinception"},{"issue":"3","key":"866_CR23","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1145\/1255456.1255459","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 TODAES 12(3), 22 (2007)","journal-title":"ACM TODAES"},{"key":"866_CR24","unstructured":"IEEE: SystemC. IEEE Standard 1666-2011 (2011)"},{"key":"866_CR25","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":"866_CR26","doi-asserted-by":"crossref","unstructured":"Jensen, K., Kristensen, L.M.: Coloured Petri Nets. Modelling and Validation of Concurrent Systems. Springer, Berlin (2009)","DOI":"10.1007\/b95112"},{"key":"866_CR27","doi-asserted-by":"crossref","unstructured":"Lee, E.A.: Disciplined heterogeneous modeling. In: Petriu, D., Rouquette, N., Haugen, O. (Eds.) MODELS, Springer LNCS 6395, pp. 273\u2013287 (2010)","DOI":"10.1007\/978-3-642-16129-2_20"},{"key":"866_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, 1235\u20131245 (1987)","journal-title":"Proc. IEEE"},{"key":"866_CR29","doi-asserted-by":"publisher","unstructured":"Lee, E.A., Messerschmitt, D.G.: Static scheduling of synchronous data flow programs for digital signal processing. IEEE Trans. Comp. 36(1), 24\u201335 (1987). https:\/\/doi.org\/10.1109\/TC.1987.5009446","DOI":"10.1109\/TC.1987.5009446"},{"key":"866_CR30","first-page":"66","volume":"880","author":"LW Li","year":"2018","unstructured":"Li, L.W., Genius, D., Apvrille, L.: Formal and virtual multi-level design space exploration. Springer Commun. Comput. Inf. Sci. 880, 66 (2018)","journal-title":"Springer Commun. Comput. Inf. Sci."},{"issue":"3","key":"866_CR31","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/s11334-008-0055-2","volume":"4","author":"F Mallet","year":"2008","unstructured":"Mallet, F.: Clock constraint specification language: specifying clock constraints with UML\/MARTE. Innov. Syst. Softw. Eng. 4(3), 309\u2013314 (2008)","journal-title":"Innov. Syst. Softw. Eng."},{"key":"866_CR32","unstructured":"Niaki, S.H.A., Jakobsen, M.K., Sulonen, T., Sander, I.: Formal heterogeneous system modeling with SystemC. In: FDL, pp. 160\u2013167. IEEE (2012)"},{"issue":"8","key":"866_CR33","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":"866_CR34","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)"},{"key":"866_CR35","unstructured":"SocLib consortium: The SoCLib project: an integrated system-on-chip modelling and simulation platform. Tech. rep., CNRS (2003). www.soclib.fr"},{"key":"866_CR36","doi-asserted-by":"crossref","unstructured":"Syriani, E., Gray, J., Vangheluwe, H.: Modeling a model transformation language. In: Domain Engineering, pp. 211\u2013237. Springer, Berlin (2013)","DOI":"10.1007\/978-3-642-36654-3_9"},{"key":"866_CR37","doi-asserted-by":"crossref","unstructured":"Taha, S., Radermacher, A., G\u00e9rard, S.: An entirely model-based framework for hardware design and simulation. In: Distributed, Parallel and Biologically Inspired Systems\u20147th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference (BICC 2010), Held as Part of WCC 2010, Brisbane, Australia, September 20\u201323, 2010. Proceedings of the IFIP Advances in Information and Communication Technology, vol.\u00a0329, pp. 31\u201342. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-15234-4_5"},{"key":"866_CR38","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"},{"key":"866_CR39","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)"},{"key":"866_CR40","unstructured":"Zhu, J., Sander, I., Jantsch, A.: Hetmoc: Heterogeneous modelling in SystemC. In: FDL, pp.\u00a01\u20136. IET (2010)"}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-021-00866-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-021-00866-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-021-00866-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,16]],"date-time":"2021-06-16T08:08:49Z","timestamp":1623830929000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-021-00866-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,2,27]]},"references-count":40,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2021,6]]}},"alternative-id":["866"],"URL":"https:\/\/doi.org\/10.1007\/s10270-021-00866-1","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2021,2,27]]},"assertion":[{"value":"27 February 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 October 2020","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 January 2021","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 February 2021","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}