{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,20]],"date-time":"2024-09-20T16:14:47Z","timestamp":1726848887498},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2016,5,27]],"date-time":"2016-05-27T00:00:00Z","timestamp":1464307200000},"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":["Softw Syst Model"],"published-print":{"date-parts":[[2018,2]]},"DOI":"10.1007\/s10270-016-0534-0","type":"journal-article","created":{"date-parts":[[2016,5,27]],"date-time":"2016-05-27T07:26:30Z","timestamp":1464333990000},"page":"11-33","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["A Model-based approach for the synthesis of software to firmware adapters for use with automatically generated components"],"prefix":"10.1007","volume":"17","author":[{"given":"Marco","family":"Di Natale","sequence":"first","affiliation":[]},{"given":"David","family":"Perillo","sequence":"additional","affiliation":[]},{"given":"Francesco","family":"Chirico","sequence":"additional","affiliation":[]},{"given":"Andrea","family":"Sindico","sequence":"additional","affiliation":[]},{"given":"Alberto","family":"Sangiovanni-Vincentelli","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,5,27]]},"reference":[{"key":"534_CR1","unstructured":"Sindico, A., Di Natale, M., Sangiovanni-Vincentelli, A.: An industrial application of a system engineering process integrating model-driven architecture and model based design. In: ACM\/IEEE 15th MODELS Conference, Innsbruck, Austria"},{"key":"534_CR2","unstructured":"Mukerji, J.,Miller, J.: Overview and Guide to OMG\u2019s Architecture. http:\/\/www.omg.org\/cgi-bin\/doc?omg\/03-06-01"},{"key":"534_CR3","volume-title":"Model-Based Design and Evaluation of Interactive Applications","author":"F Paterno","year":"1999","unstructured":"Paterno, F.: Model-Based Design and Evaluation of Interactive Applications. Springer, London (1999)"},{"key":"534_CR4","doi-asserted-by":"crossref","unstructured":"Sangiovanni-Vincentelli, A.: Quo vadis, SLD? Reasoning about the trends and challenges of system level design. Proc. IEEE 95(3), 4679\u2013506 (2007)","DOI":"10.1109\/JPROC.2006.890107"},{"key":"534_CR5","doi-asserted-by":"crossref","unstructured":"Di Natale, M., Chirico, F., Sindico, A., Sangiovanni-Vincentelli, A.: An MDA approach for the generation of communication adapters integrating SW and FW components from Simulink. In: Proceedings of the Models Conference 2014, Valencia (2014)","DOI":"10.1007\/978-3-319-11653-2_22"},{"key":"534_CR6","unstructured":"The Papyrus project web page. (2015). https:\/\/eclipse.org\/papyrus\/"},{"key":"534_CR7","unstructured":"The Acceleo project. https:\/\/www.eclipse.org\/acceleo\/"},{"key":"534_CR8","unstructured":"SIMULINK. http:\/\/www.mathworks.it\/products\/simulink\/"},{"key":"534_CR9","unstructured":"The System Modeling Language. http:\/\/www.sysml.org\/docs\/specs\/OMGSysML-v1.1-08-11-01.pdf"},{"key":"534_CR10","unstructured":"Modeling and Analysis of Real Time Embedded Systems (MARTE) profile. http:\/\/www.omg.org\/spec\/MARTE\/1.0\/PDF\/"},{"key":"534_CR11","unstructured":"Sindico, A., Di Natale, M., Panci, G.: Integrating SysML with SIMULINK using open source model transformations. In: SIMULTECH, 2011, pp. 45\u201356 (2011)"},{"key":"534_CR12","doi-asserted-by":"crossref","unstructured":"Kienhuis, B., Deprettere, E.F., van Der Wolf, P., Vissers, K.A.: A methodology to design programmable embedded systems\u2014the y-chart approach. In: Embedded Processor Design Challenges: Systems, Architectures, Modeling, and Simulation\u2014SAMOS, pp. 18\u201337. Springer, London (2002)","DOI":"10.1007\/3-540-45874-3_2"},{"key":"534_CR13","unstructured":"The AUTOSAR standard. https:\/\/www.autosar.org\/"},{"key":"534_CR14","unstructured":"The Object Management Group. http:\/\/www.omg.org"},{"key":"534_CR15","unstructured":"Mellor, S.J., Kendall, S., Uhl, A., Weise, D.: MDADistilled Addison Wesley Longman Publishing Co. MDA Distilled Inc., Redwood City (2004)"},{"key":"534_CR16","doi-asserted-by":"crossref","unstructured":"Wozniak, E., Mraidha, C., Gerard, S., Terrier, F.: A guidance framework for the generation of implementation models in the automotive domain. In: EUROMICRO-SEAA, 2011, pp. 468\u2013476 (2011)","DOI":"10.1109\/SEAA.2011.75"},{"key":"534_CR17","doi-asserted-by":"crossref","unstructured":"Koudri, A., Cuccuru, A., Gerard, S., Terrier, F.: Designing heterogeneous component based systems: evaluation of MARTE standard and enhancement proposal. In: Proceedings of the MODELS Conference 2011, pp. 243\u2013257 (2011)","DOI":"10.1007\/978-3-642-24485-8_18"},{"key":"534_CR18","unstructured":"The EAST-ADL Association.: Consortium web page (2015). http:\/\/www.east-adl.info\/"},{"key":"534_CR19","unstructured":"The DoD Architecture Framework Version 2.02. (2015). http:\/\/dodcio.defense.gov\/Portals\/0\/Documents\/DODAF\/DoDAF_v2-02_web.pdf"},{"key":"534_CR20","unstructured":"IEEE Standard SystemC Language Reference Manual. IEEE Computer Society, 1666\u20132005, 31 (2006)"},{"key":"534_CR21","unstructured":"Schirmeister, F., Meindl, M., Krolikoski, S.: IP Authoring and Integration for HW\/SW Co-design and reuse: Lessons Learned. In: The 9th Electronic Design Processes Workshop, Monterey, CA (2002)"},{"key":"534_CR22","unstructured":"Vanderperren, Y., Dehaene, Y.: From UML\/SysML to Matlab\/Simulink: current state and future perspectives. In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE \u201906 Leuven, Belgium"},{"issue":"1","key":"534_CR23","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/JPROC.2002.805826","volume":"91","author":"A Benveniste","year":"2003","unstructured":"Benveniste, A., Caspi, P., Edwards, S., 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"},{"issue":"2","key":"534_CR24","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G Berry","year":"1992","unstructured":"Berry, G., Gonthier, G.: The synchronous programming language ESTEREL: design, semantics, implementation. Sci. Comput. Program. 19(2), 87\u2013152 (1992)","journal-title":"Sci. Comput. Program."},{"key":"534_CR25","unstructured":"Karsai, G., Maroti, M., Ledeczi, A., Gray, J., Sztipanovits, J.: Composition and cloning in modeling and meta-modeling. IEEE Trans. Control Syst. Technol. (special issue on Computer Automated Multi-Paradigm Modeling 12, 263\u2013278 (2004)"},{"key":"534_CR26","doi-asserted-by":"crossref","unstructured":"Balarin, F., Lavagno, L., Passerone, C., Watanabe, Y.: Processes, interfaces and platforms. Embedded software modeling in metropolis. In: Proceedings of the Second International Conference on Embedded Software, ser. EMSOFT \u201902. Springer, London, pp. 407\u2013416 (2002)","DOI":"10.1007\/3-540-45828-X_30"},{"key":"534_CR27","doi-asserted-by":"crossref","unstructured":"Mohanty, S., Prasanna, V. K.: A model-based extensible framework for efficient application design using FPGA. ACM Trans. Des. Autom. Electron. Syst 12(2), Article 13, Publication date: (April 2007)","DOI":"10.1145\/1230800.1230805"},{"key":"534_CR28","unstructured":"Areno, M., Eames, B., Dasu. A.: An automated Micro-architecture design tool for FPGAs. In: Proceedings of the 2007 Reconfigurable Summer Systems Institute (RSSI), pp. 1\u201310 (2007)"},{"key":"534_CR29","doi-asserted-by":"crossref","unstructured":"Sztipanovits, J., Koutsoukos, X., Karsai, G., Kottenstette, N., Antsaklis, P., Gupta, V., Goodwine, B., Baras, J., Wang, S.: Towards a science of cyber-physical system integration. In: Proceedings of the IEEE, Special Issue on Cyber-Physical Systems, 100(1), 29\u201344 (2012)","DOI":"10.1109\/JPROC.2011.2161529"},{"key":"534_CR30","doi-asserted-by":"crossref","unstructured":"Mosterman, P.J., Vangheluwe, H.: Computer automated multi-paradigm modeling: an introduction. Simulation 80(9), 433\u2013450. In: Transactions of the Society for Modeling and Simulation International, September 2004. Special Issue: Grand Challenges for Modeling and Simulation (2004)","DOI":"10.1177\/0037549704050532"},{"key":"534_CR31","doi-asserted-by":"crossref","unstructured":"Eker, J., Janneck, J.W., Lee, E.A., Liu, J., Liu, X., Ludvig, J., Neuendorffer, S., Sachs, S., Xiong, Y.: Taming Heterogeneity\u2014the Ptolemy approach. Proc. IEEE 91(2) 127\u2013144 (2003)","DOI":"10.1109\/JPROC.2002.805829"},{"key":"534_CR32","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.: Interface automata. In: Proceedings of the 8th European Software Engineering Conference Held Jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering, Vienna, Austria (2001)","DOI":"10.1145\/503209.503226"},{"key":"534_CR33","unstructured":"Lee, E., Sangiovanni-Vincentelli, A.: A unified framework for comparing models of computation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 17(12), 1217\u20131229 (1998)"},{"key":"534_CR34","doi-asserted-by":"crossref","unstructured":"Scaife, N., Sofronis, C., Caspi, P., Tripakis, S., Maraninchi, F.: Defining and translating a \u201csafe\u201d subset of Simulink\/Stateflow into Lustre. In: 4th ACM International Conference on Embedded Software (EMSOFT\u201904), Pisa, Italy, September 2004","DOI":"10.1145\/1017753.1017795"},{"issue":"4","key":"534_CR35","doi-asserted-by":"crossref","first-page":"729","DOI":"10.1109\/TII.2010.2064171","volume":"6","author":"Guoqiang Wang","year":"2010","unstructured":"Wang, Guoqiang, Di Natale, Marco, Sangiovanni-Vincentelli, Alberto L.: Optimal synthesis of communication procedures in real-time synchronous reactive models. IEEE Trans. Ind. Inform. 6(4), 729\u2013743 (2010)","journal-title":"IEEE Trans. Ind. Inform."},{"key":"534_CR36","doi-asserted-by":"crossref","unstructured":"Hemingway, G., Neema, H., Nine, H., Sztipanovits, J.: Rapid synthesis of high-level architecture-based heterogeneous simulation: a model-based integration approach. Simulation. SAGE J. (2012)","DOI":"10.1177\/0037549711401950"},{"key":"534_CR37","unstructured":"Functional Mockup Interface standard. (2015). https:\/\/www.fmi-standard.org\/"},{"key":"534_CR38","unstructured":"Windriver: Simics Full System Simulator. Product web page (2015). http:\/\/www.windriver.com\/products\/simics\/"},{"key":"534_CR39","unstructured":"The Wireshark project web page. (2015). https:\/\/www.wireshark.org\/"},{"key":"534_CR40","unstructured":"Bordeleau, F.: Future of MBE\/MDE\/MDD in the Industry Open Source is the Only Solution! In: Keynote Speech at the MODELS 2014 Conference, Valencia (2014). http:\/\/models2014.webs.upv.es\/index2_htm_files\/Keynote2.pdf"},{"key":"534_CR41","unstructured":"The Topcased project web page. (2015). https:\/\/www.polarsys.org\/topcased"},{"key":"534_CR42","unstructured":"The Eclipse Modeling Framework. http:\/\/www.eclipse.org\/modeling\/emf\/"},{"issue":"3","key":"534_CR43","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1347375.1347376","volume":"7","author":"M Di Natale","year":"2008","unstructured":"Di Natale, M., Pappalardo, V.: Buffer optimization in multitaskimplementations of simulink models. ACM Trans. Embed.Comput. Syst. 7(3), 1\u201332 (2008)","journal-title":"ACM Trans. Embed.Comput. Syst."}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-016-0534-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0534-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0534-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0534-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,8]],"date-time":"2019-09-08T23:33:37Z","timestamp":1567985617000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-016-0534-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5,27]]},"references-count":43,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2018,2]]}},"alternative-id":["534"],"URL":"https:\/\/doi.org\/10.1007\/s10270-016-0534-0","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,5,27]]}}}