{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:40:03Z","timestamp":1752460803847,"version":"3.41.2"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2003,3,1]],"date-time":"2003-03-01T00:00:00Z","timestamp":1046476800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,3,1]],"date-time":"2003-03-01T00:00:00Z","timestamp":1046476800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Design Automation for Embedded Systems"],"published-print":{"date-parts":[[2003,3]]},"DOI":"10.1023\/a:1022388018837","type":"journal-article","created":{"date-parts":[[2003,3,28]],"date-time":"2003-03-28T17:25:21Z","timestamp":1048872321000},"page":"5-49","source":"Crossref","is-referenced-by-count":12,"title":["Hardware\/Software Co-Design of Complex Embedded Systems: An Approach Using Efficient Process Models, Multiple Formalism Specification and Validation via Co-Simulation"],"prefix":"10.1007","volume":"8","author":[{"given":"Nikolaos S.","family":"Voros","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luis","family":"S\u00e1nchez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alejandro","family":"Alonso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexios N.","family":"Birbas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Birbas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ahmed","family":"Jerraya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5115507_CR1","first-page":"333","volume":"3","author":"T. Ismail","year":"1995","unstructured":"Ismail, T., K. O'Brien, and A. Jerraya. Partif: Interactive System-Level Partitioning.VLSI Design, vol. 3, pp. 333-345,1995.","journal-title":"Partif: Interactive System-Level Partitioning.VLSI Design"},{"key":"5115507_CR2","doi-asserted-by":"crossref","unstructured":"Vahid, F., and D. Gajski.Closeness Metrics for System Level Functional Partitioning. In Proceedings EURODAC, EURO-VHDL, (September) 1995.","DOI":"10.1145\/224486.224492"},{"key":"5115507_CR3","unstructured":"Vahid, F., and D. Gajski. Specification Partitioning for SystemDesign. In Proceedings DAC, (June) 1992"},{"key":"5115507_CR4","volume-title":"SOLAR: An Intermediate Format for System-Level Modeling and Synthesis.","author":"A. Jerraya","year":"1994","unstructured":"Jerraya, A., and K. O'Brien. SOLAR: An Intermediate Format for System-Level Modeling and Synthesis. (J. Rozenblit, K. Buchenrieder (Eds)), IEEE Press, Piscataway, NJ,1994."},{"issue":"4","key":"5115507_CR5","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/54.245964","volume":"10","author":"R. Ernst","year":"1993","unstructured":"Ernst, R., J. Henkel, and T. Benner. Hardware-Software Cosynthesis for Microcontrollers. IEEE Design & Test of Computers, vol.10, no.4, pp.64-75, 1993.","journal-title":"IEEE Design & Test of Computers"},{"key":"5115507_CR6","unstructured":"Gajski, D.D., F. Vahid, S. Narayan, and J. Gong. Specification and Design of Embedded Systems. Prentice Hall, 1994."},{"issue":"2\/3","key":"5115507_CR7","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1023\/A:1008888306732","volume":"3","author":"L. S\u00e1nchez Fern\u00e1ndez","year":"1998","unstructured":"S\u00e1nchez Fern\u00e1ndez, L. et al. Hardware Software Prototyping from LOTOS. Design Automation for Embedded Systems, vol. 3, nos. 2\/3, pp.117-148,1998.","journal-title":"Design Automation for Embedded Systems"},{"key":"5115507_CR8","unstructured":"The Ptolemy Project. http:\/\/ptolemy.eecs.berkeley.edu."},{"key":"5115507_CR9","unstructured":"ESPRIT 23015ACOMITY Codesign Method and Integrated Tools for Advanced Embedded Bystem.http:\/\/www.cordis.lu\/esprit\/src\/23015.htm."},{"key":"5115507_CR10","unstructured":"ESPRIT 23015ACOMITYCodesignMethod and Integrated Tools for Advanced Embedded System. http:\/\/www.it.uc3m.es\/_comity\/."},{"issue":"3","key":"5115507_CR11","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/BF00133305","volume":"1","author":"A. Balboni","year":"1996","unstructured":"Balboni, A., W. Fornaciari, and D. Sciuto. Co-Synthesis and Co-Simulation of Control-Dominated Embedded Systems. Design Automation for Embedded Systems, vol.1, no. 3, pp. 257-289, 1996.","journal-title":"Design Automation for Embedded Systems"},{"key":"5115507_CR12","unstructured":"System C. System C Community. http:\/\/www.systemc.org."},{"key":"5115507_CR13","doi-asserted-by":"crossref","unstructured":"Vercauteren, S., J.V.D. Steen, and D. Verkest. Combining Software Synthesis and Hardware\/Software Interface Generation to Meet Hard Real-Time Constraints. In DATE'99,1999.","DOI":"10.1145\/307418.307563"},{"key":"5115507_CR14","unstructured":"Design & Reuse. http:\/\/www.design-reuse.com."},{"key":"5115507_CR15","unstructured":"RAPID.Reusable Application-Specific Intellectual Property Developers. http:\/\/www.rapid.org."},{"key":"5115507_CR16","unstructured":"VSI Alliance.Virtual Socket Interface. http:\/\/www.vsi.org."},{"issue":"1","key":"5115507_CR17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S1383-7621(00)00037-0","volume":"47","author":"S. Tsasakou","year":"2001","unstructured":"Tsasakou, S., N. Voros, N. Birbas, M. Koziotis, and G. Papadopoulos. High-Level Co-Simulation Based on the Extension of Processor Simulators. Journal of Systems Architecture, vol. 47, no.1, pp.1-13, (January) 2001.","journal-title":"Journal of Systems Architecture"},{"key":"5115507_CR18","unstructured":"Van Rompaey, K., D. Verkest, I. Bolsens, and I. DeMan. CoWare-Co-Design of DSP Systems. In NATOASIHardware\/Software Co-Design, Tremezzo, Italy, 1995."},{"key":"5115507_CR19","doi-asserted-by":"crossref","unstructured":"Klein, R. A Hardware-Software Co-Simulation Environment. In Proceedings of RSP' 96. IEEECS Press, pp. 173-177, 1996.","DOI":"10.1109\/IWRSP.1996.506802"},{"key":"5115507_CR20","first-page":"231","volume":"8","author":"B. Boehm","year":"1988","unstructured":"Boehm, B. A Spiral Model of Software Development and Enhancement. Science of Computer Programming, vol. 8, pp. 231-274, 1988.","journal-title":"Science of Computer Programming"},{"key":"5115507_CR21","unstructured":"Voros, N., S. Batistatos, and N. Pronios. Evaluation Report of the So A Toolset for the Telecom Experiment. Technical Report. COMITY Project, 1998 ESPRIT\/23015\/WP3\/D32.2."},{"key":"5115507_CR22","unstructured":"Fuchs, M. and N. Schreiber. Evaluation Report of the State of the Art Toolset for the Automotive Experiment.Technical Report. COMITYProject, ESPRIT\/23015\/WP3\/D31.2,1998."},{"key":"5115507_CR23","unstructured":"Voros, N., M. Larborn, P. Jansson, and L. Tossa. Specification of the Application Experiments. AITWOODDESProject, IST 10069\/WP4.1\/D12, 2000."},{"key":"5115507_CR24","unstructured":"Tsasakou, S.,C. Dre, and H. Karathanasis. High-Level Description of the DECT\/MACLayer. CODACProject, ESPRIT Project 24129\/D4,1997."},{"key":"5115507_CR25","unstructured":"Adida, C., P. Buttel, R. Ledain, and X. Granger. Evaluation Reportof the State of the Art Toolset for the Avionics Experiment. Technical Report. COMITYProject, ESPRIT\/23015\/WP3\/D30.2,1998."},{"key":"5115507_CR26","unstructured":"Alonso, A., N. Martinez, S. Pickin, and L. S\u00e1nchez, and S. Arab. COMITY Method Guide. Consolidated Advanced Toolset Version. Technical Report. COMITYProject, ESPRIT\/23015\/WP2\/D21.2.2, 1998."},{"key":"5115507_CR27","unstructured":"Roux, J., S. Loembe, S. Arab, E. Kleinjohann, L. Erpenbach, L. Sanchez, and A. Alonso. COMITY User Documentation H Advanced Toolset(2).Technical Report. COMITY Project, ESPRIT\/23015\/WP2\/SEP98\/D21.3.2, 1998."},{"key":"5115507_CR28","doi-asserted-by":"crossref","unstructured":"Harel, D. StateCharts:AVisual Formalism for Complex Systems. IEEE Computer, vol. 21, 1987.","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"5115507_CR29","unstructured":"ITU-T: CCITT Specification and Description Language (SDL). ITU-T Recommendation Z.100 (03\/93), 1993."},{"key":"5115507_CR30","unstructured":"ISI: MATRIXX Product Family Reference. ISI,1996."},{"key":"5115507_CR31","unstructured":"Verilog: ObjectGEODE: SDLEditor-User's Guide.Verilog,1997."},{"key":"5115507_CR32","unstructured":"Jerraya, A., M. Romdhani, C. Valderrama, G. Marchioro, A. Changuel, and J. Daveau. COSMOS:A Transformational Co-Design Tool for Multiprocessors Architecture. In Hardware\/Software Co-Design: Principles and Practice. Kluwer Academic Publishers, 1997."},{"key":"5115507_CR33","unstructured":"Bauchot, F., S. Decrauzat, G. Marmigere, L. Merakos, and N. Passas. MASCARA, aMAC Protocol for Wireless ATM. In ACTS Mobile Summit, 1996."},{"key":"5115507_CR34","unstructured":"Mikkonen, J., and J. Kruys.The Magic WAND: A Wireless ATM Access System. In ACTS Mobile Summit, 1996."},{"key":"5115507_CR35","unstructured":"Roux, J. L., S. Stroop, S. Loembe, S. Arab, L. Sanchez, C. Hote, S. Pickin, A. Jerraya, and B. Kleinjohann. Specification of the Advanced Toolset. Technical Report. COMITY Project, ESPRIT\/23015\/WP2\/D21.1, 1998."},{"key":"5115507_CR36","volume-title":"Hardware\/Software Co-Design Using Object Oriented Methods and Tools","author":"E. Mariatos","year":"1998","unstructured":"Mariatos, E. Hardware\/Software Co-Design Using Object Oriented Methods and Tools. Ph.D. thesis.University of Patras,Dept. of Electrical Engineering, Greece,1998."},{"key":"5115507_CR37","unstructured":"DECT:The Standard Explained.(February) 1997."},{"key":"5115507_CR38","volume":"1.1.1","year":"2000","unstructured":"ETSI: Broadband Radio Access Networks (BRAN);HIPERLAN Type 2: System Overview.TR 101683 v1.1.1, (February) 2000.","journal-title":"ETSI: Broadband Radio Access Networks (BRAN);HIPERLAN Type 2: System Overview"},{"key":"5115507_CR39","unstructured":"S\u00e1nchez Fern\u00e1ndez, L., S. Pickin, A. Groba, N. Mart\u00ednez, and A. Alonso.UF: Architectural Language for Multiformalism Descriptions. In Forumon Design Languages, FDL'99,1999."}],"container-title":["Design Automation for Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1022388018837.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1022388018837\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1022388018837.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:16:29Z","timestamp":1752459389000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1022388018837"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,3]]},"references-count":39,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2003,3]]}},"alternative-id":["5115507"],"URL":"https:\/\/doi.org\/10.1023\/a:1022388018837","relation":{},"ISSN":["0929-5585","1572-8080"],"issn-type":[{"type":"print","value":"0929-5585"},{"type":"electronic","value":"1572-8080"}],"subject":[],"published":{"date-parts":[[2003,3]]}}}