{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,8]],"date-time":"2023-09-08T10:34:58Z","timestamp":1694169298729},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2005,6,24]],"date-time":"2005-06-24T00:00:00Z","timestamp":1119571200000},"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":[[2005,10]]},"DOI":"10.1007\/s00450-005-0197-5","type":"journal-article","created":{"date-parts":[[2005,6,27]],"date-time":"2005-06-27T16:19:11Z","timestamp":1119889151000},"page":"3-10","source":"Crossref","is-referenced-by-count":5,"title":["Modellbasierte Entwicklung eingebetteter Fahrzeugsoftware bei DaimlerChrysler"],"prefix":"10.1007","volume":"20","author":[{"given":"Mirko","family":"Conrad","sequence":"first","affiliation":[]},{"given":"Ines","family":"Fey","sequence":"additional","affiliation":[]},{"given":"Matthias","family":"Grochtmann","sequence":"additional","affiliation":[]},{"given":"Torsten","family":"Klein","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,24]]},"reference":[{"key":"197_CR1","unstructured":"Baresel A, Conrad M, Sadeghipour S, Wegener J (2003) The Interplay between Model Coverage and Code Coverage. In: Proc. of 11. European Int. Conf. on Software Testing, Analysis and Review (EuroSTAR \u201903), Amsterdam (NL)"},{"key":"197_CR2","unstructured":"Baresel A, Pohlheim H, Sadeghipour S (2003) Structural and Functional Sequence Testing of Dynamic and State-Based Software with Evolutionary Algorithms. In: Proc. of Genetic and Evolutionary Computation Conference (GECCO \u201903), Part 2, Chicago (US), S 2428\u20132441"},{"key":"197_CR3","unstructured":"Buhr K, D\u00f6rr H (2003) Requirements Driven Quality Assurance. In: Proc of 9. Int. Council on Systems Engineering (INCOSE \u201903), Washington (US)"},{"key":"197_CR4","unstructured":"Conrad M (2001) Beschreibung von Testszenarien f\u00fcr Steuerger\u00e4tesoftware \u2013 Vergleichskriterien und deren Anwendung. In: 10. Internationaler Kongress ,,Elektronik im Kraftfahrzeug\u201c, VDI-Berichte, Bd 1646. D\u00fcsseldorf: VDI Verlag, S 381\u2013398"},{"key":"197_CR5","doi-asserted-by":"crossref","unstructured":"Conrad M (2004) Modell-basierter Test eingebetteter Software im Automobil \u2013 Auswahl und Beschreibung von Testszenarien. Dissertation, Deutscher Universit\u00e4tsverlag, Wiesbaden","DOI":"10.1007\/978-3-322-81246-9"},{"key":"197_CR6","unstructured":"Conrad M, Fey I, Pohlheim H (2003) Automatisierung der Testauswertung f\u00fcr Steuerger\u00e4tesoftware. In: 11. Internationaler Kongress ,,Elektronik im Kraftfahrzeug\u201c (Tagungsband), VDI-Berichte, Bd 1789. D\u00fcsseldorf: VDI Verlag, S 299\u2013315"},{"key":"197_CR7","doi-asserted-by":"crossref","unstructured":"Conrad M, Fey I, Sadeghipour S (2004) Systematic Model-Based Testing of Embedded Control Software: The MB3T Approach. In: Proc of ICSE 2004 Workshop on Software Engineering for Automotive Systems (SEAS \u201904), Edinburgh (UK)","DOI":"10.1049\/ic:20040335"},{"key":"197_CR8","unstructured":"Conrad M, Weber M, M\u00fcller O (1998) Towards a Methodology for the Design of Hybrid Systems in Automotive Electronics. In: Proc of 31. Int. Symposium on Automotive Technology and Automation (ISATA \u201998), D\u00fcsseldorf (DE)"},{"key":"197_CR9","unstructured":"DOORS, Telelogic AB at www.telelogic.com\/products\/doorsers"},{"key":"197_CR10","unstructured":"Freund U, L\u00f6nn H, Silva E, Migge J, Weber M, Reiser M-O, Von Der Beeck M, Godard B, Bugnot D (2004) The EAST-ADL \u2013 A Joint Effort of the European Automotive Industry to Structure Distributed Automotive Embedded Control Software. In: 2nd European Congress on Embedded Real Time Software (ERST \u201904), Toulouse (FR)"},{"key":"197_CR11","unstructured":"Hardung B, Wernicke M, Kr\u00fcger A, Wagner G, Wohlgemuth F (2003) Entwurfsprozess f\u00fcr vernetzte Elektroniksysteme. In: 11. Internationaler Kongress ,,Elektronik im Kraftfahrzeug\u201c (Tagungsband), VDI-Berichte, Bd 1789. D\u00fcsseldorf: VDI Verlag, S 299\u2013315"},{"key":"197_CR12","doi-asserted-by":"crossref","unstructured":"John G, Hoffmann M, Nagel M, Thomas C, Weber M (1999) Using a Common Information Model as a Methodological Basis for a Tool-Supported Requirements Management Process. In: Proc. of 9. Int. Symposium of the Int. Council on Systems Engineering (INCOSE\u201999), Brighton (UK)","DOI":"10.1002\/j.2334-5837.1999.tb00327.x"},{"key":"197_CR13","doi-asserted-by":"crossref","unstructured":"Lamberg K, Beine M, Eschmann M, Otterbach R, Conrad M, Fey I (2004) Model-based Testing of Embedded Automotive Software using MTest. SAE World Congress 2004, Detroit (US)","DOI":"10.4271\/2004-01-1593"},{"key":"197_CR14","unstructured":"Lehmann E (2000) Time Partition Testing: A Method for Testing Dynamic Functional Behaviour. In: Proc. of TEST2000, London (UK)"},{"key":"197_CR15","unstructured":"Matlab, Simulink, Stateflow and Real-Time Workshop. The MathWorks at http:\/\/www.mathworks.com\/products"},{"key":"197_CR16","unstructured":"Miller J, Mukerji J (eds) (2001) Model Driven Architecture (MDA) \u2013 Whitepaper. OMG Architecture Board ORMSC1, July 9, 2001"},{"key":"197_CR17","unstructured":"OSEK Specification at http:\/\/www.osek-vdx.org"},{"key":"197_CR18","unstructured":"Rau A (2002) Integrated Specification and Documentation of Simulink Models. In: Proc. of Int. Automotive Conference 2002 (IAC\u201902), Stuttgart (DE)"},{"key":"197_CR19","unstructured":"Rau A (2002) Model-Based Development of Embedded Automotive Control Systems. Dissertation, Universit\u00e4t T\u00fcbingen (DE)"},{"key":"197_CR20","unstructured":"Rau A, Conrad M, Keller H, Fey I, Dziobek C (2000) Integrated Model-based Software Development and Testing with CSD and MTest. In: Proc. of Int. Automotive Conference 2000 (IAC \u201900), Stuttgart (DE)"},{"key":"197_CR21","unstructured":"Requirements Management Interface. The MathWorks Inc. at www.mathworks.com\/products\/rmi"},{"key":"197_CR22","doi-asserted-by":"crossref","unstructured":"St\u00fcrmer I, Conrad M (2003) Test Suite Design for Code Generation Tools. In: 18. IEEE Int. Conf. Automated Software Engineering (ASE \u201903), Montreal (CAN)","DOI":"10.1109\/ASE.2003.1240322"},{"key":"197_CR23","unstructured":"Sax E, M\u00fcller-Glaser K-D (2001) A Seamless, Model-based Design Flow for Embedded Systems in Automotive Applications. In: Proc. of 1. Int. Symposium on Automotive Control (ISAC \u201901), Shanghai (China)"},{"key":"197_CR24","doi-asserted-by":"crossref","unstructured":"Sch\u00e4uffele J, Zurawka T (2003) Automotive Software Engineering. ATZ-MTZ-Fachbuch. Vieweg, Wiesbaden","DOI":"10.1007\/978-3-322-91194-0"},{"key":"197_CR25","unstructured":"TargetLink. dSPACE GmbH at http:\/\/www.dspace.de"},{"key":"197_CR26","unstructured":"UML 2.0 specifications of the OMG at http:\/\/www.omg.org\/uml\/"},{"key":"197_CR27","doi-asserted-by":"crossref","unstructured":"Weber M, Weisbrod J (2003) Requirements Engineering in Automotive Development \u2013 Experiences and Challenges. In: IEEE Software, Jan\/Feb. 2003, S 16\u201324","DOI":"10.1109\/MS.2003.1159025"}],"container-title":["Informatik - Forschung und Entwicklung"],"original-title":[],"language":"de","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00450-005-0197-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00450-005-0197-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00450-005-0197-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,7]],"date-time":"2020-04-07T23:12:58Z","timestamp":1586301178000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00450-005-0197-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,6,24]]},"references-count":27,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2005,10]]}},"alternative-id":["197"],"URL":"https:\/\/doi.org\/10.1007\/s00450-005-0197-5","relation":{},"ISSN":["0178-3564","0949-2925"],"issn-type":[{"value":"0178-3564","type":"print"},{"value":"0949-2925","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,6,24]]}}}