{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T01:10:03Z","timestamp":1744161003337,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":47,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642336652"},{"type":"electronic","value":"9783642336669"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33666-9_51","type":"book-chapter","created":{"date-parts":[[2012,9,18]],"date-time":"2012-09-18T16:50:20Z","timestamp":1347987020000},"page":"810-826","source":"Crossref","is-referenced-by-count":2,"title":["An Industrial System Engineering Process Integrating Model Driven Architecture and Model Based Design"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Sindico","sequence":"first","affiliation":[]},{"given":"Marco","family":"Di Natale","sequence":"additional","affiliation":[]},{"given":"Alberto","family":"Sangiovanni-Vincentelli","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"51_CR1","unstructured":"Elettronica S.p.A.: http:\/\/www.elt-roma.com"},{"issue":"3","key":"51_CR2","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1109\/JPROC.2006.890107","volume":"95","author":"A. Sangiovanni-Vincentelli","year":"2007","unstructured":"Sangiovanni-Vincentelli, A.: Quo Vadis, SLD? Reasoning About the Trends and Challenges of System Level Design. Proceedings of the IEEE\u00a095(3), 467\u2013506 (2007)","journal-title":"Proceedings of the IEEE"},{"key":"51_CR3","unstructured":"The Object Management Group: http:\/\/www.omg.org"},{"key":"51_CR4","unstructured":"Mukerji, J., Miller, J.: Overview and Guide to OMG\u2019s Architecture, http:\/\/www.omg.org\/cgi-bin\/doc?omg\/03-06-01"},{"key":"51_CR5","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":"51_CR6","unstructured":"The Meta Object Facility (MOF): http:\/\/www.omg.org\/spec\/MOF\/2.4.1"},{"key":"51_CR7","unstructured":"The UML Superstructure: http:\/\/www.omg.org\/spec\/UML\/2.1.2\/Superstructure\/PDF\/"},{"key":"51_CR8","unstructured":"The UML Infrastructure: http:\/\/www.omg.org\/spec\/UML\/2.1.2\/Infrastructure\/PDF\/"},{"key":"51_CR9","unstructured":"The System Modeling Language: http:\/\/www.sysml.org\/docs\/specs\/OMGSysML-v1.1-08-11-01.pdf"},{"key":"51_CR10","unstructured":"Modeling Analysis of Real Time Embedded Systems (MARTE) profile: http:\/\/www.omg.org\/spec\/MARTE\/1.0\/PDF\/"},{"key":"51_CR11","unstructured":"The Eclipse Modeling Framework: http:\/\/www.eclipse.org\/modeling\/emf\/"},{"key":"51_CR12","doi-asserted-by":"crossref","unstructured":"Popp, P., Di Natale, M., Giusto, P., Kanajan, S., Pinello, C.: Towards a Methodology for the Quantitative Evaluation of Automotive Architectures. In: Proceedings of the Design Automation and Test in Europe Conference, Nice, April 15-18 (2007)","DOI":"10.1109\/DATE.2007.364643"},{"key":"51_CR13","doi-asserted-by":"crossref","unstructured":"Zhu, Q., Yang, Y., Di Natale, M., Scholte, E., Sangiovanni-Vincentelli, A.: Optimizing the Software Architecture for Extensibility in Hard Real-time Distributed Systems. IEEE Transactions on Industrial Informatics\u00a06(3) (2010)","DOI":"10.1109\/TII.2010.2053938"},{"key":"51_CR14","unstructured":"TopCased: http:\/\/www.topcased.org"},{"key":"51_CR15","unstructured":"Acceleo: http:\/\/www.acceleo.org\/pages\/home\/en"},{"key":"51_CR16","unstructured":"MOF Models to Text Transformation Language: http:\/\/www.omg.org\/spec\/MOFM2T\/1.0\/"},{"key":"51_CR17","unstructured":"Query View Transformation Language: http:\/\/www.omg.org\/spec\/QVT\/1.0\/"},{"key":"51_CR18","unstructured":"MATLAB: http:\/\/www.mathworks.it\/products\/matlab\/"},{"key":"51_CR19","unstructured":"SIMULINK: http:\/\/www.mathworks.it\/products\/simulink\/"},{"key":"51_CR20","doi-asserted-by":"crossref","unstructured":"Sindico, A., Tortora, S., Chiarini Petrelli, A., Fasano, M.V.: An Electronic Warfare Meta-Model for Network Centric Systems. In: Cognitive Information Processing, CIP (2010)","DOI":"10.1109\/CIP.2010.5604178"},{"key":"51_CR21","doi-asserted-by":"crossref","unstructured":"Sindico, A., Di Natale, M., Panci, G.: Integrating SysML With SIMULINK Using Open Source Model Transformations. In: SIMULTECH 2011, pp. 45\u201356 (2011)","DOI":"10.5220\/0003593600450056"},{"key":"51_CR22","unstructured":"IBM DOORS: http:\/\/www-01.ibm.com\/software\/awdtools\/doors\/"},{"key":"51_CR23","unstructured":"System Engineering Handbook: http:\/\/www.incose.org\/ProductsPubs\/products\/sehandbook.aspx"},{"key":"51_CR24","unstructured":"The MIL-STD-498 Standard: http:\/\/www.letu.edu\/people\/jaytevis\/Software-Engineering\/MIL-STD-498\/498-STD.pdf"},{"key":"51_CR25","unstructured":"The Requirement Interchange Format: http:\/\/www.omg.org\/spec\/ReqIF\/1.0.1\/"},{"key":"51_CR26","unstructured":"The Object Constraint Language: http:\/\/www.omg.org\/spec\/OCL\/2.0\/"},{"key":"51_CR27","unstructured":"Boost: http:\/\/www.boost.org\/"},{"key":"51_CR28","unstructured":"Vakin, S.A., Shustov, L.N., Dunwell, R.H.: Fundamentals of Electronic Warfare. Artech House Radar Library (2001)"},{"key":"51_CR29","doi-asserted-by":"crossref","unstructured":"Tortora, S., Sindico, A., Severino, A.: A Data Fusion Architecture for an Electronic Warfare Multi-Sensor Suite. In: Cognitive Information Processing, CIP 2010 (2010)","DOI":"10.1109\/CIP.2010.5604174"},{"key":"51_CR30","doi-asserted-by":"crossref","unstructured":"Bohem, B., Clark, B., Horowitx, E., Westland, C., Madachy, R., Selby, R.: Cost models for future software life cycle processes: COCOMO 2.0. In: Annals of Software Engineering, vol.\u00a01(1), pp. 57\u201394.","DOI":"10.1007\/BF02249046"},{"key":"51_CR31","unstructured":"The Center of Systems and Software Engineering:"},{"key":"51_CR32","volume-title":"Software Engineering Economics","author":"B. Boehm","year":"1981","unstructured":"Boehm, B.: Software Engineering Economics. Prentice-Hall, Englewood Cliffs (1981) ISBN 0-13-822122-7"},{"key":"51_CR33","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/3-540-45874-3_2","volume-title":"Embedded Processor Design Challenges: Systems, Architectures, Modeling, and Simulation - SAMOS","author":"B. Kienhuis","year":"2002","unstructured":"Kienhuis, B., Deprettere, E.F., van der Wolf, P., Vissers, K.A.: A methodology to design programmable embedded systems - the y-chart approach. In: Embedded Processor Design Challenges: Systems, Architectures, Modeling, and Simulation - SAMOS, pp. 18\u201337. Springer, London (2002)"},{"key":"51_CR34","unstructured":"Autosar, specifications 4.0 (2010), http:\/\/www.autosar.org\/"},{"key":"51_CR35","volume-title":"MDA Distilled","author":"S.J. Mellor","year":"2004","unstructured":"Mellor, S.J., Kendall, S., Uhl, A., Weise, D.: MDA Distilled. Addison Wesley Longman Publishing Co., Inc., Redwood City, CA (2004)"},{"key":"51_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/978-3-642-24485-8_18","volume-title":"Model Driven Engineering Languages and Systems","author":"A. Koudri","year":"2011","unstructured":"Koudri, A., Cuccuru, A., Gerard, S., Terrier, F.: Designing Heterogeneous Component Based Systems: Evaluation of MARTE Standard and Enhancement Proposal. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) MODELS 2011. LNCS, vol.\u00a06981, pp. 243\u2013257. Springer, Heidelberg (2011)"},{"key":"51_CR37","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":"51_CR38","doi-asserted-by":"crossref","unstructured":"Vanderperren, Y., Dehaene, W.: From uml\/sysml to matlab\/simulink: current state and future perspectives. In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2006, Leuven, Belgium, pp. 93\u201393 (2006)","DOI":"10.1109\/DATE.2006.244002"},{"key":"51_CR39","unstructured":"D.\u00a0B. F.I.T.T., Eda survey results (2005)"},{"key":"51_CR40","doi-asserted-by":"crossref","unstructured":"Benveniste, A., Caspi, P., Edwards, S., Halbwachs, N., Le Guernic, P., de Simone, R.: The synchronous languages 12 years later. Proceedings of the IEEE\u00a091(1) (January 2003)","DOI":"10.1109\/JPROC.2002.805826"},{"key":"51_CR41","doi-asserted-by":"crossref","unstructured":"Berry, G., Gonthier, G.: The synchronous programming language ESTEREL: Design, semantics, implementation. Science of Computer Programming\u00a019(2) (1992)","DOI":"10.1016\/0167-6423(92)90005-V"},{"key":"51_CR42","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1109\/TCST.2004.824311","volume":"12","author":"G. Karsai","year":"2004","unstructured":"Karsai, G., Maroti, M., Ledeczi, A., Gray, J., Sztipanovits, J.: Composition and cloning in modeling and meta-modeling. IEEE Transactions on Control System Technology (special issue on Computer Automated Multi-Paradigm Modeling)\u00a012, 263\u2013278 (2004)","journal-title":"IEEE Transactions on Control System Technology (special issue on Computer Automated Multi-Paradigm Modeling)"},{"key":"51_CR43","series-title":"EMSOFT","first-page":"407","volume-title":"Proceedings of the Second International Conference on Embedded Software","author":"F. Balarin","year":"2002","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. EMSOFT, pp. 407\u2013416. Springer, London (2002)"},{"key":"51_CR44","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. Proceedings of the IEEE\u00a091(2) (January 2003)","DOI":"10.1109\/JPROC.2002.805829"},{"key":"51_CR45","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.: Interface automata. In: Proceedings of the 8th European Software Engineering Conference, Vienna, Austria (2001)","DOI":"10.1145\/503225.503226"},{"key":"51_CR46","doi-asserted-by":"crossref","unstructured":"Benveniste, A., Caillaud, B., Carloni, L.P., Sangiovanni-Vincentelli, A.: Tag Machines. In: Proceedings of the ACM International Conference on Embedded Software (EMSOFT 2005), Jersey City, NJ, USA (September 2005)","DOI":"10.1145\/1086228.1086276"},{"key":"51_CR47","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33666-9_51","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T00:33:06Z","timestamp":1744158786000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33666-9_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336652","9783642336669"],"references-count":47,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33666-9_51","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}