{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,31]],"date-time":"2024-07-31T05:51:31Z","timestamp":1722405091301},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2015,1,28]],"date-time":"2015-01-28T00:00:00Z","timestamp":1422403200000},"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":["Des Autom Embed Syst"],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1007\/s10617-014-9156-3","type":"journal-article","created":{"date-parts":[[2015,1,27]],"date-time":"2015-01-27T12:26:32Z","timestamp":1422361592000},"page":"243-275","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["A generic conceptual framework based on formal representation for the design of continuous\/discrete co-simulation tools"],"prefix":"10.1007","volume":"19","author":[{"given":"Luiza Gheorghe","family":"Iugan","sequence":"first","affiliation":[]},{"given":"Hanifa","family":"Boucheneb","sequence":"additional","affiliation":[]},{"given":"Gabriela","family":"Nicolescu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,1,28]]},"reference":[{"key":"9156_CR1","unstructured":"ITRS (2010) http:\/\/public.itrs.net\/"},{"key":"9156_CR2","doi-asserted-by":"crossref","unstructured":"Nicolescu G, Sungjoo Y, Bouchhima A, Jerraya AA (2002) Validation in a component-based design flow for multicore SoCs. In: Proceedings of the 15th ISSS (ISSS\u201902) Kyoto","DOI":"10.1145\/581199.581236"},{"key":"9156_CR3","unstructured":"Romitti S, Santoni C, Francois P (1997) A design methodology and a prototyping tool dedicated to adaptive interface generation. In: Proceedings of the 3rd ERCIM workshop on user interfaces for all"},{"key":"9156_CR4","unstructured":"Cadence http:\/\/www.cadence.com"},{"key":"9156_CR5","unstructured":"Mentor Graphics. Seamless CVE. http:\/\/www.mentorg.com\/seamless"},{"key":"9156_CR6","doi-asserted-by":"crossref","unstructured":"Frey P, O\u2019Riordan D (2000) Verilog-AMS: mixed-signal simulation and cross domain connect modules. In: Proceedings of the BMAS\u201900, Orlando","DOI":"10.1109\/BMAS.2000.888372"},{"key":"9156_CR7","unstructured":"IEEE Standard VHDL AMS Extensions, IEEE Std 1076.1-1999"},{"key":"9156_CR8","first-page":"189","volume":"28","author":"C Marion","year":"2005","unstructured":"Marion C, Fanucci L, Iozze F, Forliti M, Rocchi A, Giambastiani A, De Marinis M (2005) VHDL-AMS modelling and system verification flow. Trans Energy Convers 28:189\u2013196","journal-title":"Trans Energy Convers"},{"key":"9156_CR9","volume-title":"SystemC Kernel-extensions for heterogeneous system modeling","author":"DH Patel","year":"2004","unstructured":"Patel DH, Shukla SK (2004) SystemC Kernel-extensions for heterogeneous system modeling. Kluwer Academic Publishers, Dordrecht"},{"key":"9156_CR10","unstructured":"Vachoux A, Grimm C, Einwich K (2003) Analog and mixed signal modeling with SystemC-AMS. In: Proceedings of the international symposium on circuits and systems"},{"key":"9156_CR11","unstructured":"Verilog AMS http:\/\/www.vhdl.org\/verilog-ams\/htmlpages\/public-docs\/lrm\/2.3.1\/VAMS-LRM-2-3-1.pdf"},{"key":"9156_CR12","unstructured":"Ptolemy http:\/\/ptolemy.eecs.berkeley.edu\/"},{"key":"9156_CR13","doi-asserted-by":"crossref","unstructured":"Lee EA, Zheng H (2005) Operational semantics of hybrid systems. In: 8th international workshop: computation and control, HSCC, pp 25\u201353","DOI":"10.1007\/978-3-540-31954-2_2"},{"key":"9156_CR14","doi-asserted-by":"crossref","unstructured":"Lee EA (2010) Disciplined heterogeneous modeling. In: Proceedings of the ACM\/IEEE 13th international conference on model driven engineering, languages, and systems (MODELS). Springer, New York, pp 273\u2013287","DOI":"10.1007\/978-3-642-16129-2_20"},{"key":"9156_CR15","unstructured":"Functional Mock-up Intergace https:\/\/www.fmi-standard.org\/"},{"key":"9156_CR16","doi-asserted-by":"crossref","unstructured":"Lee EA, Sangiovanni-Vincentelli A (1996) Comparing models of computation. In: IEEE proceedings of the international conferenceon computer aided design, pp 234\u2013241","DOI":"10.1109\/ICCAD.1996.569613"},{"key":"9156_CR17","volume-title":"Models of computation and languages for embedded system design","author":"A Jantsch","year":"2005","unstructured":"Jantsch A, Sander I (2005) Models of computation and languages for embedded system design. Kluwer Academic Publishers, Dordrecht"},{"key":"9156_CR18","volume-title":"Modeling embedded systems and SoCs: concurrency and time in models of computation (systems on silicon)","author":"A Jantsch","year":"2003","unstructured":"Jantsch A (2003) Modeling embedded systems and SoCs: concurrency and time in models of computation (systems on silicon). Morgan Kaufmann Publishers, San Francisco"},{"key":"9156_CR19","volume-title":"Collaborative design for embedded systems: co-modelling and co-simulation","year":"2014","unstructured":"Fitzgerald J, Larsen PG, Verhoef M (eds) (2014) Collaborative design for embedded systems: co-modelling and co-simulation. Springer, Berlin"},{"key":"9156_CR20","unstructured":"Zeigler BP, Praehofer H, Kim TG (2000) Modeling and simulation - integrating discrete event and continuous complex dynamic systems. Academic Press, San Diego"},{"key":"9156_CR21","doi-asserted-by":"crossref","unstructured":"D\u2019Abreu M, Wainer G (2005) M\/CD++: modeling continuous systems using Modelica and DEVS. In: Proceedings of the IEEE international symposium of MASCOTS\u201905","DOI":"10.1109\/MASCOTS.2005.36"},{"issue":"1","key":"9156_CR22","first-page":"3","volume":"79","author":"YJ Kim","year":"2003","unstructured":"Kim YJ, Kim JH, Kim TG (2003) Heterogeneous simulation framework using DEVS-BUS. Simul Soci Model Simul Int 79(1):3\u201318","journal-title":"Simul Soci Model Simul Int"},{"key":"9156_CR23","unstructured":"SH Attarzadeh Niaki SH, Jakobsen MK, Sulonen T, Sander I (2012) Formal heterogeneous system modeling with SystemC. In: Forum on specification and design languages (FDL 2012). Vienna, pp 160\u2013167"},{"key":"9156_CR24","doi-asserted-by":"crossref","unstructured":"Herrera F, Villar E, Grimm C, Damm M, Haase J (2008) Heterogeneous specification with HetSC and systemC-AMS: widening the support of MoCs in SystemC. In: Embedded systems specification and design languagtes. Springer, New York","DOI":"10.1007\/978-1-4020-8297-9_8"},{"key":"9156_CR25","doi-asserted-by":"crossref","first-page":"371768","DOI":"10.1155\/2008\/371768","volume":"2008","author":"J Haase","year":"2008","unstructured":"Haase J, Damm M, Grimm C, Herrera F, Villar E (2008) Bridging MoCs in SystemC specifications of heterogeneous systems. EURASIP J Embed Syst 2008:371768","journal-title":"EURASIP J Embed Syst"},{"key":"9156_CR26","doi-asserted-by":"crossref","unstructured":"Ghasemi HR (2005) An effective VHDL-AMS simulation algorithm with event. In: International conference on VLSI design","DOI":"10.1109\/ICVD.2005.48"},{"key":"9156_CR27","doi-asserted-by":"crossref","first-page":"805","DOI":"10.1016\/j.mejo.2007.04.001","volume":"38","author":"F Bouchhima","year":"2007","unstructured":"Bouchhima F, Nicolescu G, Aboulhamid EM, Abdi M (2007) Generic discrete-continuous simulation model for accurate validation in heterogeneous systems design. Microelectr J 38:805\u2013815","journal-title":"Microelectr J"},{"key":"9156_CR28","doi-asserted-by":"crossref","unstructured":"Alur R, Dill D (1990) Automata for modeling real-time systems. In: Proceedings of the 17-th International CALP, vol 443, pp 322\u2013335","DOI":"10.1007\/BFb0032042"},{"key":"9156_CR29","volume-title":"Timed automata: semantics, algorithms and tools","author":"J Bengtsson","year":"1996","unstructured":"Bengtsson J, Yi W (1996) Timed automata: semantics, algorithms and tools. Uppsala University, Uppsala"},{"key":"9156_CR30","doi-asserted-by":"crossref","unstructured":"Behrmann GF, Behrmann G, David A, Larsen K (2005) A tutorial on UPPAAL. In: Real-time systems symposium, Miami","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"9156_CR31","doi-asserted-by":"crossref","unstructured":"Behrmann G, Fehnker A, Hune T, Larsen K, Pettersson P, Romijn J, Vaandrager F (2001) Minimum-cost reachability for priced timed automata. In: Hybrid systems: computation and control, HSCC 2001","DOI":"10.1007\/3-540-45351-2_15"},{"key":"9156_CR32","volume-title":"Introduction to discrete event systems","author":"CG Cassandras","year":"2007","unstructured":"Cassandras CG, Lafortune S (2007) Introduction to discrete event systems. Springer, New York"},{"key":"9156_CR33","unstructured":"Cellier FE (1979) Combined continuous\/discrete system simulation languages: usefulness, experiences and future development. In: Proceediings of methodology in systems modelling and simulation conference, Rehovot, pp 201\u2013220"},{"key":"9156_CR34","doi-asserted-by":"crossref","unstructured":"Wang F (2004) Formal verification of timed systems: a survey and perspective. In: Proceedings of the IEEE, vol 92, pp 1283\u20131305","DOI":"10.1109\/JPROC.2004.831197"},{"key":"9156_CR35","unstructured":"Chane F, Giambiasi N, Paillet J-L (2004) From DEVS model to timed automata. In: Proceedings of the international conference on software engineering research and practice, SERP\u201904"},{"key":"9156_CR36","doi-asserted-by":"crossref","unstructured":"Monin J-F (2003) Understanding formal methods. Springer, New York","DOI":"10.1007\/978-1-4471-0043-0"},{"key":"9156_CR37","doi-asserted-by":"crossref","unstructured":"Edwards S, Lavagno L, Lee EA, Sangiovanni-Vincentelli A (1997) Design of embedded systems: formal models, validation, and synthesis. In: Proceedings of the IEEE, vol 85, pp 366\u2013390","DOI":"10.1109\/5.558710"},{"key":"9156_CR38","unstructured":"Claudius Ptolemaeus (2013) System design, modeling, and simulation using Ptolemy II. Ptolemy.org"},{"key":"9156_CR39","doi-asserted-by":"crossref","unstructured":"Cardelli L (1984) A semantics of multiple inheritance. Semantics of data types (International Symposium Sophia-Antipolis, June 27\u201329, 1984). Lecture Notes in Computer Science","DOI":"10.1007\/3-540-13346-1_2"},{"key":"9156_CR40","unstructured":"MathWorks, MATLAB\/Simulink. http:\/\/www.mathworks.com"},{"key":"9156_CR41","unstructured":"SystemC LRM http:\/\/www.systemc.org"},{"key":"9156_CR42","doi-asserted-by":"crossref","unstructured":"Gheorghe L, Bouchhima F, Nicolescu G, Boucheneb H (2008) Semantics for model-based validation of continuous\/discrete systems. In: Design automation and test in Europe (DATE\u201908)","DOI":"10.1145\/1403375.1403493"}],"container-title":["Design Automation for Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-014-9156-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10617-014-9156-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-014-9156-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,20]],"date-time":"2019-08-20T01:18:37Z","timestamp":1566263917000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10617-014-9156-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,1,28]]},"references-count":42,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2015,9]]}},"alternative-id":["9156"],"URL":"https:\/\/doi.org\/10.1007\/s10617-014-9156-3","relation":{},"ISSN":["0929-5585","1572-8080"],"issn-type":[{"value":"0929-5585","type":"print"},{"value":"1572-8080","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,1,28]]}}}