{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:09:27Z","timestamp":1725538167844},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642042836"},{"type":"electronic","value":"9783642042843"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04284-3_16","type":"book-chapter","created":{"date-parts":[[2009,9,14]],"date-time":"2009-09-14T17:55:48Z","timestamp":1252950948000},"page":"171-184","source":"Crossref","is-referenced-by-count":1,"title":["Systematic Model-in-the-Loop Test of Embedded Control Systems"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Krupp","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"M\u00fcller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Adelt, P., Donoth, J., Gausemeier, J., Geisler, J., Henkler, S., Kahl, S., Kl\u00f6pper, B., Krupp, A., M\u00fcnch, E., Oberth\u00fcr, S., Paiz, C., Podlogar, H., Porrmann, M., Radkowski, R., Romaus, C., Schmidt, A., Schulz, B., V\u00f6cking, H., Witkowski, U., Witting, K., Znamenshchykov, O.: Selbstoptimierende Systeme des Maschinenbaus \u2013 Definitionen, Anwendungen, Konzepte, vol. Band 234. HNI-Verlagsschriftenreihe, Paderborn (2008)"},{"key":"16_CR2","series-title":"Morgan Kaufmann series in systems on silicon","volume-title":"ESL Design and Verification: A prescription for electronic system-level methodology","author":"B. Bailey","year":"2007","unstructured":"Bailey, B., Martin, G., Piziali, A.: ESL Design and Verification: A prescription for electronic system-level methodology. Morgan Kaufmann series in systems on silicon. Elsevier, San Francisco (2007)"},{"key":"16_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-38152-7","volume-title":"Metric Driven Design Verification","author":"H.B. Carter","year":"2007","unstructured":"Carter, H.B., Hemmady, S.G.: Metric Driven Design Verification. Springer, Heidelberg (2007)"},{"key":"16_CR4","unstructured":"Conrad, M., D\u00f6rr, H., Fey, I., Yap, A.: Model-based Generation and Structured Representation of Test Scenarios. In: Workshop on Software-Embedded Systems Testing (WSEST), Gaithersburg, USA (November 1999)"},{"key":"16_CR5","unstructured":"Conrad, M.: The Classification-Tree Method for Embedded Systems. In: Dagstuhl Seminar Proceedings 04371 (2005)"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Conrad, M., Krupp, A.: An Extension of the Classification-Tree Method for Embedded Systems for the Description of Events. In: Second Workshop on Model Based Testing, MBT 2006, Vienna, Austria (March 2006)","DOI":"10.1016\/j.entcs.2006.09.002"},{"key":"16_CR7","series-title":"Leitfaden der Elektrotechnik","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-322-84879-6","volume-title":"Grundlagen der Regelungstechnik","author":"F. D\u00f6rrscheidt","year":"1993","unstructured":"D\u00f6rrscheidt, F., Latzel, W.: Grundlagen der Regelungstechnik, 2nd edn. Leitfaden der Elektrotechnik. B.G. Teubner, Stuttgart (1993)","edition":"2"},{"key":"16_CR8","volume-title":"Nichtlineare Regelungen II","author":"O. F\u00f6llinger","year":"1993","unstructured":"F\u00f6llinger, O.: Nichtlineare Regelungen II, 7th edn. R. Oldenbourg, Wien (1993)","edition":"7"},{"key":"16_CR9","unstructured":"Geisler, J.: Auslegung und Implementierung der verteilten Aktor- und Aufbauregelung f\u00fcr ein aktiv gefedertes Schienenfahrzeug. Master\u2019s thesis, University of Paderborn, Germany (2006)"},{"key":"16_CR10","series-title":"GMD-Report","volume-title":"Systematisches Testen von Software - Eine neue Methode und eine effektive Teststrategie (Systematic Software Testing \u2013 A new method and an effective test strategy)","author":"K. Grimm","year":"1995","unstructured":"Grimm, K.: Systematisches Testen von Software - Eine neue Methode und eine effektive Teststrategie (Systematic Software Testing \u2013 A new method and an effective test strategy). GMD-Report, vol.\u00a0251. GMD, Oldenbourg (1995)"},{"issue":"2","key":"16_CR11","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1002\/stvr.4370030203","volume":"3","author":"M. Grochtmann","year":"1993","unstructured":"Grochtmann, M., Grimm, K.: Classification Trees for Partition Testing. Software Testing, Verification and Reliability\u00a03(2), 63\u201382 (1993)","journal-title":"Software Testing, Verification and Reliability"},{"key":"16_CR12","unstructured":"Grossmann, J., Conrad, M., Fey, I., Krupp, A., Lamberg, K., Wewetzer, C.: TestML \u2013 A Test Exchange Language for Model-based Testing of Embedded Software. In: Automotive Software Workshop 2006, San Diego (March 2006)"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Grossmann, J., Mueller, W.: A Formal Behavioral Semantics for TestML. In: Proc. of IEEE ISoLA 2006, Paphos Cyprus, pp. 453\u2013460 (2006)","DOI":"10.1109\/ISoLA.2006.37"},{"key":"16_CR14","unstructured":"ITRS. International technology roadmap for semiconductors 2008 UPDATE (December 2008), http:\/\/www.itrs.net\/Links\/2008ITRS\/Update\/2008_Update.pdf"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"Krupp, A., M\u00fcller, W.: Classification Trees for Random Test and Functional Coverage. In: Design, Automation and Test in Europe (DATE 2006), Munich, Germany (March 2006)","DOI":"10.1109\/DATE.2006.243902"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Krupp, A., M\u00fcller, W.: Systematic Testbench Specification for Constrained Randomized Test and Functional Coverage. In: 21 $^\\textrm{st}$ European Conference on Modelling and Simulation ECMS 2007, Prague, Czech Republic (June 2007)","DOI":"10.7148\/2007-0473"},{"key":"16_CR17","first-page":"132","volume":"7","author":"K. Lamberg","year":"2005","unstructured":"Lamberg, K., Beine, M., Eschmann, M., Otterbach, R., Conrad, M., Fey, I.: Model-based Testing of Embedded Automotive Software using MTest. SAE 2004 Transactions, Journal of Passenger Cars - Electronic and Electrical Systems\u00a07, 132\u2013140 (2005)","journal-title":"SAE 2004 Transactions, Journal of Passenger Cars - Electronic and Electrical Systems"},{"key":"16_CR18","unstructured":"Lehmann, E.: Time partition testing: A method for testing dynamic functional behaviour. In: Proceedings of TEST 2000, London, UK (May 2000)"},{"issue":"6","key":"16_CR19","doi-asserted-by":"publisher","first-page":"676","DOI":"10.1145\/62959.62964","volume":"31","author":"T.J. Ostrand","year":"1988","unstructured":"Ostrand, T.J., Balcer, M.J.: The category-partition method for specifying and generating fuctional tests. Commun. ACM\u00a031(6), 676\u2013686 (1988)","journal-title":"Commun. ACM"},{"key":"16_CR20","volume-title":"Functional Verification Coverage Measurement and Analysis","author":"A. Piziali","year":"2004","unstructured":"Piziali, A.: Functional Verification Coverage Measurement and Analysis. Springer, New York (2004)"},{"key":"16_CR21","unstructured":"Rau, A.: Model-Based Development of Embedded Automotive Control Systems. PhD thesis, Dept. of Computer Science, University of T\u00fcbingen, Germany (2002)"},{"key":"16_CR22","volume-title":"Automotive Software Engineering","author":"J. Sch\u00e4uffele","year":"2006","unstructured":"Sch\u00e4uffele, J., Zurawka, T.: Automotive Software Engineering, 3rd edn. Vieweg, Wiesbaden (2006)","edition":"3"},{"key":"16_CR23","doi-asserted-by":"crossref","unstructured":"Tr\u00e4chtler, A., M\u00fcnch, E., V\u00f6cking, H.: Iterative learning and self-optimization techniques for the innovative railcab-system. In: 32 $^\\textrm{nd}$ Annual Conference of the IEEE Industrial Electronics Society \u2014 IECON 2006, Paris, France (2006)","DOI":"10.1109\/IECON.2006.347957"}],"container-title":["IFIP Advances in Information and Communication Technology","Analysis, Architectures and Modelling of Embedded Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04284-3_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T15:19:58Z","timestamp":1558538398000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04284-3_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642042836","9783642042843"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04284-3_16","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2009]]}}}