{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T23:13:40Z","timestamp":1743117220245,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642346132"},{"type":"electronic","value":"9783642346149"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34614-9_12","type":"book-chapter","created":{"date-parts":[[2012,11,8]],"date-time":"2012-11-08T11:02:07Z","timestamp":1352372527000},"page":"157-175","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Application and Evaluation in the Automotive Domain"],"prefix":"10.1007","author":[{"given":"Markus","family":"Fockel","sequence":"first","affiliation":[]},{"given":"Peter","family":"Heidl","sequence":"additional","affiliation":[]},{"given":"Jens","family":"H\u00f6fflinger","sequence":"additional","affiliation":[]},{"given":"Harald","family":"H\u00f6nninger","sequence":"additional","affiliation":[]},{"given":"J\u00f6rg","family":"Holtmann","sequence":"additional","affiliation":[]},{"given":"Wilfried","family":"Horn","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Meyer","sequence":"additional","affiliation":[]},{"given":"Matthias","family":"Meyer","sequence":"additional","affiliation":[]},{"given":"J\u00f6rg","family":"Sch\u00e4uffele","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,10,26]]},"reference":[{"key":"12_CR1","unstructured":"[AutomotiveSIG 2010] Automotive Special Interest Group (SIG): Automotive SPICE. Process Reference Model. Accessed on: April 3, 2012. http:\/\/www.automotivespice.com\/automotiveSIG_PRM_v45.pdf."},{"key":"12_CR2","unstructured":"[AUTOSAR 2011] AUTOSAR GbR: Specification of ECU Configuration. http:\/\/www.autosar.org\/download\/AUTOSAR_ECU_Configuration.pdf. Accessed on April 3, 2012."},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"[Giese et al. 2010] H. Giese, S. Hildebrandt, S. Neumann: Model synchronization at work: Keeping SysML and AUTOSAR models consistent. In: G. Engels, C. Lewerentz, W. Sch\u00e4fer, A. Sch\u00fcrr, B. Westfechtel (Eds.): Graph Transformations and Model-Driven Engineering. Springer, Berlin\/Heidelberg, 2010; pp. 555\u2013579.","DOI":"10.1007\/978-3-642-17322-6_24"},{"key":"12_CR4","unstructured":"[Gross et al. 2009] A. Gross, J. D\u00f6rr, I. Menzel, M. M\u00fcller: Use Cases vs. Funktionale Spezifikation: Ein experimenteller Vergleich zweier Techniken zur Anforderungsspezifikation, GI-Fachgruppen-Treffen Requirements Engineering, 2009."},{"key":"12_CR5","unstructured":"[Holtmann 2010] J. Holtmann: Mit Satzmustern von textuellen Anforderungen zu Modellen. In: OBJEKTspektrum, Vol. RE\/2010, 2010, http:\/\/www.sigsdatacom. de\/fileadmin\/user_upload\/zeitschriften\/os\/2010\/RE\/holtmann_OS_RE_2010.pdf. Accessed on: March 31, 2012."},{"key":"12_CR6","first-page":"486","volume":"2011","author":"[Holtmann et al. 2011a] J. Holtmann, J. Meyer, M. von Detten: Automatic validation and correction of formalized, textual requirements. In: Proceedings of the IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)","year":"2011","unstructured":"[Holtmann et al. 2011a] J. Holtmann, J. Meyer, M. von Detten: Automatic validation and correction of formalized, textual requirements. In: Proceedings of the IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) 2011. IEEE Computer Society, Los Alamitos, 2011, pp. 486\u2013495.","journal-title":"Los Alamitos"},{"key":"12_CR7","unstructured":"[Holtmann et al. 2011b] J. Holtmann, J. Meyer, M. Meyer: A seamless model-based development process for automotive systems. In: R. Reussner, A. Pretschner, S. J\u00e4hnichen (Eds.): Software Engineering 2011 \u2013 Workshopband (inkl. Doktorandensymposium). Bonner K\u00f6llen Verlag, Bonn, 2011, pp. 79\u201388."},{"key":"12_CR8","unstructured":"[Kang et al. 1990] DTIC: Feature-Oriented Domain Analysis (FODA) Feasibility Study. http:\/\/www.dtic.mil\/cgibin\/ GetTRDoc?Location=U2&doc=GetTRDoc.pdf&AD=ADA235785. Accessed on April 3, 2012."},{"key":"12_CR9","unstructured":"[Kapeller and Krause 2006] R. Kapeller, S. Krause: So nat\u00fcrlich wie Sprechen \u2013 Embedded Systeme modellieren. In: Design & Elektronik, 2006\/08; pp. 64\u201367."},{"key":"12_CR10","unstructured":"[Meyer and Holtmann 2011] J. Meyer, J. Holtmann: Eine durchg\u00e4ngige Entwicklungsmethode von der Systemarchitektur bis zur Softwarearchitektur mit AUTOSAR. In: H. Giese, M. Huhn, J. Philipps, B. Sch\u00e4tz (Eds.): Tagungsband des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII. fortiss, Munich, 2011, pp. 21\u201330."},{"key":"12_CR11","unstructured":"[Meyer and Sch\u00e4fer 2009] J. Meyer, W. Sch\u00e4fer: Automatische Analyse und Generierung von AUTOSAR-Konfigurationsdaten. In: H. Giese, M. Huhn, U. Nickel, Bernhard Sch\u00e4tz (Eds.): Tagungsband des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V. Carl-Friedrich-Gau\u00df-Fakult\u00e4t f\u00fcr Mathematik und Informatik, Technische Universit\u00e4t Braunschweig, 2009, pp. 82\u201391."},{"key":"12_CR12","unstructured":"[Meyer et al. 2011] J. Meyer, J. Holtmann, M. Meyer: Formalisierung von Anforderungen und Betriebssystemeigenschaften zur fr\u00fchzeitigen Simulation von eingebetteten, automobilen Systemen. In: J. Gausemeier, F. Rammig, W. Sch\u00e4fer, A. Tr\u00e4chtler (Eds.): 8. Paderborner Workshop Entwurf mechatronischer Systeme. Heinz Nixdorf Institut, Paderborn, 2011, pp. 203\u2013215."},{"key":"12_CR13","unstructured":"[Nickel et al. 2010] U. Nickel, J. Meyer; T. Kramer: Wie hoch ist die Performance?. In: Automobil-Elektronik, Vol. 2010, No. 3, 2010, pp. 36\u201338."},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"[Sch\u00fcrr 1995] A. Sch\u00fcrr: Specification of graph translators with triple graph grammars. In: E. W. Mayr (Eds.): Graph-Theoretic Concepts in Computer Science. Lecture Notes in Computer Science, Vol. 903, Springer, Berlin\/Heidelberg, 1995, pp. 151\u2013163.","DOI":"10.1007\/3-540-59071-4_45"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"[Sikora et al. 2012] E. Sikora, B. Tenbergen, K. Pohl. Industry needs and research directions in requirements engineering for embedded systems. In: Requirements Engineering Journal, Vol. 17, No.1, 2012, pp. 57-78.","DOI":"10.1007\/s00766-011-0144-x"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"[Zimmer et al. 2011] B. Zimmer, S. B\u00fcrklen, M. Knoop, J. H\u00f6fflinger, M. Trapp: Vertical safety interfaces - improving the efficiency of modular certification. In: Proceedings of the 30th International Conference of Computer Safety, Reliability, and Security, 2011.","DOI":"10.1007\/978-3-642-24270-0_3"}],"container-title":["Model-Based Engineering of Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34614-9_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,9]],"date-time":"2023-02-09T11:46:31Z","timestamp":1675943191000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-34614-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642346132","9783642346149"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34614-9_12","relation":{},"subject":[],"published":{"date-parts":[[2012]]},"assertion":[{"value":"26 October 2012","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}