{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T20:10:12Z","timestamp":1742933412290,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642296444"},{"type":"electronic","value":"9783642296451"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29645-1_26","type":"book-chapter","created":{"date-parts":[[2012,4,12]],"date-time":"2012-04-12T11:56:43Z","timestamp":1334231803000},"page":"262-275","source":"Crossref","is-referenced-by-count":1,"title":["Model-Based Consistency Checks of Electric and Electronic Architectures against Requirements"],"prefix":"10.1007","author":[{"given":"Nico","family":"Adler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philipp","family":"Graf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaus D.","family":"M\u00fcller-Glaser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_CR1","unstructured":"Larses, O.: Architecting and Modeling Automotive Embedded Systems. Doctoral dissertation, Stockholm (2005)"},{"key":"26_CR2","unstructured":"Reichart, G., Haneberg, M.: Key Drivers for a Future System Architecture in Vehicles. Convergence International Congress & Exposition On Transportation Electronics, Society of Automobile Engineers (SAE), Detroit (2004)"},{"key":"26_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-642-13556-9_11","volume-title":"Architecting Critical Systems","author":"M. Hillenbrand","year":"2010","unstructured":"Hillenbrand, M., Heinz, M., Adler, N., M\u00fcller-Glaser, K.D., Matheis, J., Reichmann, C.: ISO\/DIS 26262 in the Context of Electric and Electronic Architecture Modeling. In: Giese, H. (ed.) ISARCS 2010. LNCS, vol.\u00a06150, pp. 179\u2013192. Springer, Heidelberg (2010)"},{"key":"26_CR4","unstructured":"aquintos GmbH: PREEvision Version 3.1 Manual. aquintos, Karlsruhe (2010)"},{"key":"26_CR5","unstructured":"Burgdorf, F.: Eine kunden- und lebenszyklusorientierte Produktfamilienabsicherung f\u00fcr die Automobilindustrie. Doctoral dissertation. Karlsruhe Institute of Technology, Karlsruhe (2010)"},{"key":"26_CR6","unstructured":"International Organization for Standardization: ISO 26262 Road vehicles - Functional Safety Part 1-10, Switzerland (2011), www.iso.org"},{"key":"26_CR7","unstructured":"Adler, N., Gebauer, D., Reichmann, C., M\u00fcller-Glaser, K.D.: Modellbasierte Erfassung von Optimierungsaktivit\u00e4ten als Grundlage zur Systemoptimierung von Elektrik-\/Elektronik-Architekturen. In: 14. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) 2011. OFFIS - Institut f\u00fcr Informatik, Oldenburg (2011)"},{"key":"26_CR8","volume-title":"Handbuch Projektmanagement","author":"J. Kuster","year":"2008","unstructured":"Kuster, J., Huber, E., Lippmann, R., Schmid, A., Schneider, E., Witschi, U., W\u00fcst, R.: Handbuch Projektmanagement. Springer, Heidelberg (2008)"},{"key":"26_CR9","volume-title":"Industrielles Management - Industriebetriebslehre aus prozessorientierter Sicht","author":"K.I. Voigt","year":"2008","unstructured":"Voigt, K.I.: Industrielles Management - Industriebetriebslehre aus prozessorientierter Sicht. Springer, Heidelberg (2008)"},{"key":"26_CR10","doi-asserted-by":"crossref","unstructured":"B\u00fcrgel, H.D., Zeller, A.: Controlling kritischer Erfolgsfaktoren in Forschung und Entwicklung. Controlling\u00a04 (1997)","DOI":"10.15358\/0935-0381-1997-4-218"},{"key":"26_CR11","volume-title":"Systems Engineering and Analysis","author":"B.S. Blanchard","year":"2006","unstructured":"Blanchard, B.S., Fabrycky, W.J.: Systems Engineering and Analysis. Pearson Prentice Hall, New Jersey (2006)"},{"key":"26_CR12","doi-asserted-by":"crossref","unstructured":"Boehm, B.: Verifying and Validating Software Requirements and Design Specifications. IEEE Softw. (1984)","DOI":"10.1109\/MS.1984.233702"},{"key":"26_CR13","unstructured":"V-Modell-XT Version 1.3, Part 7: V-Modell Reference Mapping to Standards (2009)"},{"key":"26_CR14","unstructured":"Hoffmann, M., K\u00fchn, N., Weber, M., Bittner, M.: Requirements for Requirements Management Tools. In: Proceedings of the 12th IEEE International Requirements Engineering Conference, Kyoto, Japan (2004)"},{"key":"26_CR15","unstructured":"Eisenmann, J., K\u00f6hn, M., Lanches, P., M\u00fcller, A.: Entwurf und Implementierung von Fahrzeugsteuerungsfunktionen auf Basis der TITUS Client\/Serverarchitektur. In: VDI Berichte, Nr. 1374, Systemengineering in der Kfz-Entwicklung. VDI-Gesellschaft Fahrzeug- und Verkehrssicherheit (1997)"},{"key":"26_CR16","unstructured":"The East-EEA Project: Definition of language for automotive embedded electronic architecture approach. Technical Report, ITEA, Deliverable D3.6 (2004)"},{"key":"26_CR17","unstructured":"The ATESST Consortium: EAST ADL 2.0 specification. Technischer Bericht, ITEA (2007), http:\/\/www.atesst.org\/"},{"key":"26_CR18","unstructured":"AUTOSAR, Automotive Open System Architecture (2010), http:\/\/www.autosar.org"},{"issue":"3","key":"26_CR19","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/MDT.2009.64","volume":"26","author":"R. Passerone","year":"2009","unstructured":"Passerone, R., Damm, W., Ben Hafaiedh, I., Graf, S., Ferrari, A., Mangeruca, L., Benveniste, A., Josko, B., Peikenkamp, T., Cancila, D., Cuccuru, A., Gerard, S., Terrier, F., Sangiovanni-Vincentelli, A.: Metamodels in Europe: Languages, Tools, and Applications. Design & Test of Computers\u00a026(3), 38\u201353 (2009)","journal-title":"Design & Test of Computers"},{"key":"26_CR20","unstructured":"Matheis, J.: Abstraktionsebenen\u00fcbergreifende Darstellung von Elektrik\/Elektronik-Architekturen in Kraftfahrzeugen zur Ableitung von Sicherheitszielen nach ISO 26262. Doctoral dissertation. Karlsruhe Institute of Technology, Karlsruhe (2010)"},{"key":"26_CR21","unstructured":"Belschner, R., Freess, J., Mro\u00dfko, M.: Gesamtheitlicher Entwicklungsansatz f\u00fcr Entwurf, Dokumentation und Bewertung von E\/E Architekturen. In: VDI Bericht, Nr. 1907, pp. S511\u2013S521. VDI-Verlag, D\u00fcsseldorf (2005)"},{"key":"26_CR22","unstructured":"Gebauer, D., Matheis, J., K\u00fchl, M., M\u00fcller-Glaser, K.D.: Integrierter, graphisch notierter Ansatz zur Bewertung von Elektrik\/Elektronik- Architekturen im Fahrzeug. In: Moderne Elektronik im Kraftfahrzeug IV: Energiebordnetz - E\/E-Architektur HW\/SW-Assistenzsysteme. expert, Essen (2009)"}],"container-title":["Lecture Notes in Computer Science","Models in Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29645-1_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T19:34:56Z","timestamp":1742931296000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29645-1_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642296444","9783642296451"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29645-1_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}