{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,23]],"date-time":"2025-01-23T05:33:26Z","timestamp":1737610406846,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540770893"},{"type":"electronic","value":"9783540770909"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"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":[[2007]]},"DOI":"10.1007\/978-3-540-77090-9_62","type":"book-chapter","created":{"date-parts":[[2007,11,26]],"date-time":"2007-11-26T17:19:26Z","timestamp":1196097566000},"page":"674-685","source":"Crossref","is-referenced-by-count":0,"title":["Evaluating Modeling Solutions on Their Ability to Support the Partitioning of Automotive Embedded Systems"],"prefix":"10.1007","author":[{"given":"Augustin","family":"Kebemou","sequence":"first","affiliation":[]},{"given":"Ina","family":"Schieferdecker","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"62_CR1","unstructured":"EAST-EEA: Embedded Electronic Architecture. Definition of Language for Automotive Embedded Electronic Architecture v. 1.02, ITEA, Tech. Rep. (30.06.2006)"},{"key":"62_CR2","unstructured":"AADL, http:\/\/www.aadl.info\/"},{"key":"62_CR3","unstructured":"AUTOSAR, http:\/\/www.autosar.org"},{"key":"62_CR4","volume-title":"Specification and Design of Embedded Systems","author":"D. Gajski","year":"1994","unstructured":"Gajski, D., Vahid, F., Narayan, S., Gong, J.: Specification and Design of Embedded Systems. Prentice-Hall, Englewood Cliffs (1994)"},{"key":"62_CR5","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/978-94-011-4698-2_2","volume-title":"System-Level Synthesis Ch. 2","author":"L. Lavagno","year":"1999","unstructured":"Lavagno, L., Sangiovani-Vincetelli, A., Sentovitch, E.: Models of Computation for Embedded Systems Design. In: System-Level Synthesis Ch. 2, pp. 45\u2013102. Kluwer Academics Publishers, Dordrecht (1999)"},{"key":"62_CR6","doi-asserted-by":"crossref","unstructured":"Lee, E.A., Sangiovanni-Vincentelli, A.: Comparing Models of Computation. In: International Conference on Computer-Aided Design, pp. 234\u2013241 (1996)","DOI":"10.1109\/ICCAD.1996.569613"},{"key":"62_CR7","volume-title":"Advances in CAD for VLSI Ch. 2","author":"R.W. Hartenstein","year":"1987","unstructured":"Hartenstein, R.W.: A Comparison of Hardware Description Languages. In: Advances in CAD for VLSI Ch. 2, vol.\u00a07, Elsevier Science Publishers B.V, Amsterdam (1987)"},{"key":"62_CR8","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/978-94-011-4698-2_3","volume-title":"System-Level Synthesis Ch. 3","author":"A.A. Jerraya","year":"1999","unstructured":"Jerraya, A.A., et al.: Multilanguage Specification for System Design. In: System-Level Synthesis Ch. 3, pp. 103\u2013135. Kluwer Academics Publishers, Dordrecht (1999)"},{"key":"62_CR9","unstructured":"Medvidovic, N., Taylor, R.N.: A Classification and Comparison Framework for Software Architecture Description Languages. UCI and USC, Tech. Rep."},{"key":"62_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"Software Security \u2013 Theories and Systems","author":"G. Nicolescu","year":"2003","unstructured":"Nicolescu, G., Yoo, S., Bouchhima, A., J.A.A.: Validation in a Component-Based Design Flow for Multicore SoCs. In: Okada, M., Pierce, B.C., Scedrov, A., Tokuda, H., Yonezawa, A. (eds.) ISSS 2002. LNCS, vol.\u00a02609, Springer, Heidelberg (2003)"},{"key":"62_CR11","doi-asserted-by":"crossref","unstructured":"Mutz, M., Huhn, M., Goltz, U., Kroemke, C.: Model Based System Development in Automotive. In: SAE (2002)","DOI":"10.4271\/2003-01-1017"}],"container-title":["Lecture Notes in Computer Science","Emerging Directions in Embedded and Ubiquitous Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77090-9_62","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T22:21:11Z","timestamp":1737584471000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77090-9_62"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540770893","9783540770909"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77090-9_62","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}