{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T05:43:11Z","timestamp":1683870191467},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2007,6,6]],"date-time":"2007-06-06T00:00:00Z","timestamp":1181088000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Informatik Forsch. Entw."],"published-print":{"date-parts":[[2007,12]]},"DOI":"10.1007\/s00450-007-0028-y","type":"journal-article","created":{"date-parts":[[2007,6,5]],"date-time":"2007-06-05T06:47:04Z","timestamp":1181026024000},"page":"45-57","source":"Crossref","is-referenced-by-count":3,"title":["Das AutoMoDe-Projekt"],"prefix":"10.1007","volume":"22","author":[{"given":"Andreas","family":"Bauer","sequence":"first","affiliation":[]},{"given":"Manfred","family":"Broy","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Romberg","sequence":"additional","affiliation":[]},{"given":"Bernhard","family":"Sch\u00e4tz","sequence":"additional","affiliation":[]},{"given":"Peter","family":"Braun","sequence":"additional","affiliation":[]},{"given":"Ulrich","family":"Freund","sequence":"additional","affiliation":[]},{"given":"Nuria","family":"Mata","sequence":"additional","affiliation":[]},{"given":"Robert","family":"Sandner","sequence":"additional","affiliation":[]},{"given":"Pierre","family":"Mai","sequence":"additional","affiliation":[]},{"given":"Dirk","family":"Ziegenbein","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2007,6,6]]},"reference":[{"key":"28_CR1","unstructured":"Das Projekt EAST-EEA \u2013 Eine middlewarebasierte Softwarearchitektur f\u00fcr vernetzte Kfz-Steuerger\u00e4te. In: VDI-Kongress Elektronik im Kraftfahrzeug. Number 1789 in VDI Berichte. Baden-Baden, 2003"},{"key":"28_CR2","doi-asserted-by":"crossref","unstructured":"Am\u00e1lio N, Polack F (2003) Comparison of formalisation approaches of UML class constructs in Z and Object-Z. In: ZB 2003. volume 2651 of LNCS. Springer","DOI":"10.1007\/3-540-44880-2_21"},{"key":"28_CR3","doi-asserted-by":"crossref","unstructured":"Baleani M, Ferrari A, Mangeruca L, Sangiovanni-Vincentelli AL, Freund U, Schlenker E, Wolff HJ (2005) Correct by construction transformations across design environments for model-based embedded software development. In: DATE 05","DOI":"10.1109\/DATE.2005.105"},{"key":"28_CR4","unstructured":"Bauer A, Romberg J (2004) Model-based deployment in automotive embedded software. In: MOMPES 2004"},{"issue":"4","key":"28_CR5","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1007\/s00450-005-0187-7","volume":"19","author":"A Bauer","year":"2005","unstructured":"Bauer A, Romberg J, Sch\u00e4tz B (2005) Integrierte Entwicklung von Automotive-Software mit AutoFocus. Informatik Forsch Entw 19(4):194\u2013205","journal-title":"Informatik Forsch Entw"},{"issue":"1","key":"28_CR6","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, Guernic PL, Simone RD (2003) The Synchronous Languages Twelve Years Later. Proc IEEE 91(1):64\u201383","journal-title":"Proc IEEE"},{"key":"28_CR7","unstructured":"Benveniste A, Caspi P, Guernic PL, Halbwachs N (1993) Data-Flow Synchronous Languages. In: REX School\/Symposium pp 1\u201345"},{"key":"28_CR8","doi-asserted-by":"crossref","unstructured":"Braun P, L\u00f6tzbeyer H, Sch\u00e4tz B, Slotosch O (2000) Consistent integration of formal methods. In: TACAS 2000 number LNCS 2280. Springer","DOI":"10.1007\/3-540-46419-0_5"},{"issue":"3","key":"28_CR9","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/s004500050132","volume":"14","author":"M Broy","year":"1999","unstructured":"Broy M, Huber F, Sch\u00e4tz B (1999) AutoFocus \u2013 Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme. Informatik Forsch Entw 14(3):121\u2013134","journal-title":"Informatik Forsch Entw"},{"key":"28_CR10","doi-asserted-by":"crossref","unstructured":"Broy M, St\u00f8len K (2001) Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer","DOI":"10.1007\/978-1-4613-0091-5"},{"key":"28_CR11","doi-asserted-by":"crossref","unstructured":"Damm W (2006) Embedded system development for automotive applications: trends and challenges. In: EMSOFT. ACM. ed by Min SL, Yi W","DOI":"10.1145\/1176887.1176888"},{"key":"28_CR12","unstructured":"ETAS GmbH (2001) ASCET-SD Benutzerhandbuch"},{"key":"28_CR13","doi-asserted-by":"crossref","unstructured":"ETAS GmbH (2005) INTECRIO User Guide V 1.0","DOI":"10.1017\/CBO9780511809231.002"},{"issue":"7","key":"28_CR14","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1016\/S0920-5489(98)00020-8","volume":"19","author":"R France","year":"1998","unstructured":"France R, Evans A, Lano K, Rumpe B (1998) The UML as a formal modeling notation. Comput Stand Interf 19(7):325\u2013334","journal-title":"Comput Stand Interf"},{"key":"28_CR15","doi-asserted-by":"crossref","unstructured":"Giese H, Burmester S, Sch\u00e4fer W, Oberschelp O (2004) Modular design and verification of component-based mechatronic systems with online-reconfiguration. In: FSE-12. ACM","DOI":"10.1145\/1029894.1029920"},{"key":"28_CR16","doi-asserted-by":"crossref","unstructured":"Huber F, Sch\u00e4tz B, Einert G (1997) Consistent Graphical Specification of Distributed Systems. In: FME\u201997, LNCS 1313. Springer","DOI":"10.1007\/3-540-63533-5_7"},{"key":"28_CR17","unstructured":"LiveDevices York (2005) RTA-OSEK User Guide V 4.0"},{"issue":"3","key":"28_CR18","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1016\/S0167-6423(02)00093-X","volume":"46","author":"F Maraninchi","year":"2003","unstructured":"Maraninchi F, Raymond Y (2003) Mode-automata: a new domain-specific construct for the development of safe critical systems. Sci Comput Program 46(3):219\u2013254","journal-title":"Sci Comput Program"},{"key":"28_CR19","unstructured":"The MathWorks Inc. (2000) Using Simulink"},{"issue":"2","key":"28_CR20","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1109\/TCST.2004.824340","volume":"12","author":"KD M\u00fcller-Glaser","year":"2004","unstructured":"M\u00fcller-Glaser KD, Frick G, Sax E, K\u00fchl M (2004) Multiparadigm Modeling in Embedded Systems Design. IEEE Trans Control Syst Technol 12(2):279\u2013292, March","journal-title":"IEEE Trans Control Syst Technol"},{"key":"28_CR21","doi-asserted-by":"crossref","unstructured":"Mutz M, Huhn M, Goltz U, Kr\u00f6mke C (2003) Model based system development in automotive. In: SAE World Congress","DOI":"10.4271\/2003-01-1017"},{"key":"28_CR22","doi-asserted-by":"crossref","unstructured":"Poledna S, Mocken T, Scheimann J, Beck T (1995) Ercos: An operationg system for automotive applications. In: SAE World Congress","DOI":"10.4271\/960623"},{"key":"28_CR23","unstructured":"Romberg J (2006) Synthesis of distributed systems from synchronous dataflow programs. PhD thesis TU-M\u00fcnchen"},{"key":"28_CR24","unstructured":"Scharnhorst T, Heinecke H, Schnelle KP, Fennel H, Bortolazzi J, Lundh L, Heitk\u00e4mper P, Leflour J, Mate J, Nishikawa K (2005) Autosar \u2013 challenges and achievements. In: Elektronik im Kraftfahrzeug 2005, VDI, October"},{"key":"28_CR25","doi-asserted-by":"crossref","unstructured":"Sch\u00e4tz B, Braun P, Huber F, Wisspeintner A (2005) Checking and transforming models with AutoFocus. In: ECBS 2005. IEEE","DOI":"10.1109\/ECBS.2005.24"},{"key":"28_CR26","volume-title":"Automotive Software Engineering","author":"JT Sch\u00e4uffele Zurawka","year":"2003","unstructured":"Sch\u00e4uffele J Zurawka T (2003) Automotive Software Engineering. Vieweg Verlag, Wiesbaden"},{"key":"28_CR27","first-page":"117","volume":"40","author":"K Tindell","year":"1994","unstructured":"Tindell K, Clark J (1994) Holistic schedulability analysis for distributed hard real-time systems. Eur J 40:117\u2013134","journal-title":"Eur J"},{"key":"28_CR28","doi-asserted-by":"crossref","unstructured":"von der Beeck M, Braun P, Rappl M, Schr\u00f6der C (2003) Automotive UML. In: Selic B, Martin G, Lavagno L (eds), UML for Real Design of Embedded Real-Time Systems, number ISBN 1-4020-7501-4. Kluwer Academic Publishers","DOI":"10.1007\/0-306-48738-1_13"}],"container-title":["Informatik - Forschung und Entwicklung"],"original-title":[],"language":"de","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00450-007-0028-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00450-007-0028-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00450-007-0028-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T05:23:50Z","timestamp":1683869030000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00450-007-0028-y"}},"subtitle":["Modellbasierte Entwicklung softwareintensiver Systeme im Automobil"],"short-title":[],"issued":{"date-parts":[[2007,6,6]]},"references-count":28,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2007,12]]}},"alternative-id":["28"],"URL":"https:\/\/doi.org\/10.1007\/s00450-007-0028-y","relation":{},"ISSN":["0178-3564","0949-2925"],"issn-type":[{"value":"0178-3564","type":"print"},{"value":"0949-2925","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,6,6]]}}}