Skip to main content
SpringerLink
Log in
Book cover

Modell-basierter Test eingebetteter Software im Automobil pp 149–169Cite as

Verzeichnisse

  • Chapter

  • 320 Accesses

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   69.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   79.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literaturverzeichnis

  1. W. J. Aldrich: Using Model Coverage Analysis to Improve the Controls Development Process. Proc. of AIAA Modeling and Simulation Technologies Conference, Monterey (US), 2002

    Google Scholar 

  2. Schwerpunktthema: Eingebettete Systeme, Automatisierungstechnik 47 (1999) 7, S. 281–328

    Google Scholar 

  3. H. Balzert: Lehrbuch der Software-Technik. Band 2, Spektrum, 1998

    Google Scholar 

  4. T. Bienmüller, J. Bohn, H. Brinkmann, U. Brockmeyer, W. Damm, H. Hungar, P. Jansen: Verification of Automotive Control Units. In: E.-R. Olderog, B. Steffen (Hrsg.): Correct System Design, LNCS Band 1710, S. 319–341, Springer, 1999

    Chapter  Google Scholar 

  5. R. Beck, C. Bracklo, G. Faulhaber, V. Seefried: Backbone-Architektur -Vom zentralen Gateway zur systemintegrierenden Kommunikationsplattform. /ElKfzOl/, S. 277–291

    Google Scholar 

  6. M. Broy, M. von der Beeck, I. Krüger: SOFTBED -Problemanalyse für ein Großverbundprojekt “Systemtechnik Automobil — Software für eingebettete Systeme”. Projektskizze für das BMBF, München (D), 1998 http://www.bmbf.de/pub/softbed.pdf(Zugriff: Dez. 2003)

    Google Scholar 

  7. M. von der Beeck, P. Braun, M. Rappl, C. Schröder: Modellbasierte Softwareentwicklung für automobilspezifische Steuergerätenetzwerke. In: /E1Kfz01/, S. 293–331

    Google Scholar 

  8. L. Boug’e, N. Choquet, L. Fribourg, M.-C. Gaudel: Test sets generation from algebraic specifications using logic programming. Journal of Systems and Software, 6 (4) 1986, S. 343–360

    Article  Google Scholar 

  9. // Standard for Software Component Testing. Working Draft 3.3. British Computer Society (BCS), Specialist Interest Group in Software Testing, Apr. 1997

    Google Scholar 

  10. A. Baresel, M. Conrad, S. Sadeghipour, J. Wegener: The Interplay between Model Coverage and Code Coverage. Proc. of 11. European Int. Conf. on Software Testing, Analysis and Review (Euro STAR ’03), Amsterdam (NL), Dez. 2003

    Google Scholar 

  11. P. Bechberger: Modellbasierte Softwareentwieklung für Steuergeräte. Automobiltechnische Zeitschrift/Motortechnische Zeitschrift, Sonderausgabe Automotive Electronics, Jan. 2000, S. 16–24

    Google Scholar 

  12. F. Belli: Methoden und Hilfsmittel für die systematische Prüfung komplexer Software. Informatik-Spektrum 21 (1998), S. 337–346

    Article  Google Scholar 

  13. E. Broekman, E. Notenboom: Testing Embedded Software. Addison-Wesley, London (GB), 2003

    Google Scholar 

  14. Homepage Robert Bosch GmbH: http://www.bosch.com/(Zugriff: Dez. 2003)

    Google Scholar 

  15. http://www.bosch.com/de/timeline/index.htm(Zugriff: Juni 2003)

    Google Scholar 

  16. A. Baresel, H. Pohlheim, S. Sadeghipour: Structural and Functional Sequence Testing of Dynamic and State-Based Software with Evolutionary Algorithms. Proc. of Genetic and Evolutionary Computation Conference (GECCO 2003), Part 2, Chicago (US), LNCS Band 2724, S. 2428–2441, Springer, Juli 2003

    Google Scholar 

  17. B. Broekman: Applying structured testing methods from the administrative world to the embedded software world. Vortragsfolien, IQUIP, Amsterdam (NL), Juni 2000/BRS95/ J. Burmeister, A. Rennoch, I. Schieferdecker: Survey of Protocol Conformance and Performance Testing. Projekt-bericht, Forschungsgruppe Systems Engineering and Performance Analysis (STEP), GMD-FOKUS, Berlin (D), Aug. 1995

    Google Scholar 

  18. P. Baker, E. Rudolph, I. Schieferdecker: Graphical Test Specification -The Graphical Format of TTCN-3. 10. Int. SDL Forum, Kopenhagen (DK), Juni 2001

    Google Scholar 

  19. S. Burton: Automated Generation of High Integrity Test Suites from Graphical Specifications. PhD Thesis, University of York (GB), März 2002

    Google Scholar 

  20. H. Buwalda: Testing with Action Words. Proc. of the 7. Int.Conf. on Software Testing, Analysis, and Review (STARWest ′98), San Diego (US), Okt. 1998

    Google Scholar 

  21. M. Conrad, H. Dörr, I. Fey, A. Yap: Model Based Generation and Structured Representation of Test Scenarios. Proc. of the Workshop on Software-Embedded Systems Testing (WSEST ′99), Gaithersburg (US), 1999

    Google Scholar 

  22. M. Conrad, H. Dörr, I. Stürmer, A. Schürr: Graph Transformations for Model-based Testing. Lecture Notes in Informatics (LNI), Band P-12, S.39–50, 2002

    Google Scholar 

  23. E. M. Clarke, E. A. Emerson, A. P. Sistla: Automatic Verification of Fi-nite-State Concurrent Systems Using Temporal Logic Specifications. ACM Transactions on Programming Languages and Systems, 8 (1986), No. 2, S. 244–263

    Article  MATH  Google Scholar 

  24. M. Conrad, I. Fey: Testen in der Modell-basierten Entwicklung. 1. Tagung ‘Simulation und Test in der Funktions- und Softwareentwicklung für die Automobilelektronik’, Berlin (D), Sept. 2003

    Google Scholar 

  25. M. Conrad, I Fey, H. Pohlheim: Automatisierung der Testauswertung für Steuergerätesoftware. In: /ElKfz03/, S. 299–315

    Google Scholar 

  26. M. Conrad, I. Fey, S. Sadeghipour: Systematic Model-Based Testing of Embedded Control Software: The MB3T Approach. Proc. of ICSE 2004 Workshop on Software Engineering for Automotive Systems (SEAS’04), Edinburgh (UK), S. 17–25, Mai, 2004

    Google Scholar 

  27. M. Conrad, I. Fey, M. Weber (unter Mitarbeit von S. Sadeghipour): Test sequentieller Aspekte bei eingebetteten Systemen. Unveröffentlichtes Manuskript, Daimler-Benz AG, Forschung und Technologie FT3/SM, Berlin (D), 1998

    Google Scholar 

  28. M. Conrad, D. Hötzer: Selective Integration of Formal Methods in the Development of Electronic Control Units. In: M. G. Hin-chey, S. Liu (Hrsg.), Proc. of 2. Int. Conf. On Formal Engineering Methods (ICFEM ′98), Brisbane (AUS), S.144–155, IEEE Computer Society, Dez. 1998

    Google Scholar 

  29. M. Conrad: Methodische Entwicklung eingebetteter Systeme: Vorgehensweise zur Spezifikation der Anforderungen am Beispiel Fahrgeschwindigkeitskonstanter. Technischer Bericht F3S-96–008, Daimler-Benz AG, Forschung Systemtechnik, Berlin (D), 1996

    Google Scholar 

  30. M. Conrad: Beschreibung von Testszenarien für Steuergerätesoftware -Vergleichskriterien und deren Anwendung. In: MKfzOl/, S. 381–398

    Google Scholar 

  31. M. Conrad, H. Pohlheim, I. Fey, S. Sadeghipour: Modell-basierter Black-box-Test für Fahrfunktionen. Technischer Bericht RIC/S-2002–001, DaimlerChrysler AG, Forschung Information und Kommunikation, Berlin (D), 2002

    Google Scholar 

  32. M. Conrad, S. Sadeghipour: Einsatz von Überdeckungskriterien auf Modellebene — Erfahrungsbericht und experimentelle Ergebnisse. Softwaretechnik-Trends 22 (2002) 2, Mai 2002, S. 1–6

    Google Scholar 

  33. M. Conrad, E. Sax: Mixed Signals. In: /BN03/, S. 229–249

    Google Scholar 

  34. M. Conrad, D. Wetter: An Adaptive Cruise Control System — A Case Study for the Industrial Use of Formal Methods. Proc. of Workshop on Formal Design of Safety Critical Embedded Systems (FEmSys ′97), München (D), 1997

    Google Scholar 

  35. M. Conrad, M. Weber, O. Müller: Towards a Methodology for the Design of Hybrid Systems in Automotive Electronics. Proc of 31. International Symposium on Automotive Technology & Automation (31. ISATA), Program Track Automotive Electronics and new Products, S. 105–113, Düsseldorf (D), Juni 1998

    Google Scholar 

  36. W. Damm et al.: Example of the SACRES process: Verification of the Stores Management System (SMS). 1998 http://www.tni.fr/sacres/index.html(Zugriff: Juli 2003)

    Google Scholar 

  37. Offenlegungsschrift DE 10055679 A1: Verfahren, Computersystem und Computerprogramm-Produkte zur modellbasierten Generierung von Testszenarien. Deutsches Patent- und Markenamt, Müchen (D), 2001

    Google Scholar 

  38. Homepage /dev Software GmbH: http://www.devsoft.com/(Zugriff: Dez. 2003)

    Google Scholar 

  39. DIN 40146:1994 Nachrichtenübertragung Teil 1 — Grundbegriffe. Nov. 1994

    Google Scholar 

  40. DIN ISO 8402:1995 Qualitätsmanagement und Qualitätssicherung -Begriffe (Quality management and quality assurance — Vocabulary), Aug. 1995

    Google Scholar 

  41. DIN EN ISO 9000:2000: Qualitätsmanagementsysteme — Grundlagen und Begriffe (Quality management systems — Fundamentals and vocabulary), Dez. 2000

    Google Scholar 

  42. S. R. Dalal, A. Jain, N. Karunanithi, J. M. Leaton, C. M. Lott: Model-Based Testing of a Highly Programmable System. Proc. of ISSRE’98, S. 174–178, IEEE Computer Society, 1998

    Google Scholar 

  43. S. R. Dalal, A. Jain, N. Karunanithi, J. M. Leaton, C. M. Lott, G. C. Patton, B. M. Horowitz: Model-Based Testing in Practice. Proc. of ICSE’99, Los Angeles (US), Mai 1999

    Google Scholar 

  44. B. P. Douglas: Real-Time UML — Developing Efficient Objects for Embedded Systems. Addison Wesley, 1998

    Google Scholar 

  45. M. Dornseiff, M. Stahl, M. Sieger, E. Sax: Durchgängige Testmethoden für komplexe Steuerungssysteme — Optimierung der Prüftiefe durch effiziente Testprozesse. In: S. 347–366

    Google Scholar 

  46. Hompage dSPACE GmbH: http://www.dspace.de/(Zugriff: Dez. 2003)

    Google Scholar 

  47. ControlDesk Test Automation Guide For ControlDesk Version 1.2. dSPACE GmbH, Paderborn (D), Sept. 1999

    Google Scholar 

  48. AutomationDesk — MTest Guide (Release 4.0). dSPACE GmbH, Pader-born (D), Sept. 2003

    Google Scholar 

  49. C. Dziobek: Durchgängiger Testmanager für dynamische Modell- & Funktions-Tests. Vortragsfolien, DaimlerChrysler AG, Stuttgart (D), 23. Nov. 1998

    Google Scholar 

  50. C. Dziobek: Durchgängige Testumgebung von der Spezifikation bis zur Serienfreigabe. Vortragsfolien, DaimlerChrysler AG, Stuttgart (D), 19. Jan. 2001

    Google Scholar 

  51. J. Ebert: Spezifikation logischer Abhängigkeiten in Klassifikationsbäumen. Technischer Bericht FT3/S-1999–6, DaimlerChrysler AG, Forschung und Technologie FT3/SM, Berlin (D), 1999

    Google Scholar 

  52. Internationale Tagung “Elektronik im Kraftfahrzeug” (Tagungsband), VDI-Berichte, Band 1152, VDI Verlag, Düsseldorf (D), 1994

    Google Scholar 

  53. Internationale Tagung “Elektronik im Kraftfahrzeug” (Tagungsband), VDI-Berichte, Band 1415, VDI Verlag, Düsseldorf (D), 1998

    Google Scholar 

  54. Internationale Tagung “Elektronik im Kraftfahrzeug” (Tagungsband), VDI-Berichte, Band 1547, VDI Verlag, Düsseldorf (D), 2000

    Google Scholar 

  55. Internationaler Kongress “Elektronik im Kraftfahrzeug” (Tagungsband), VDI-Berichte, Band 1646, VDI Verlag, Düsseldorf (D), 2001

    Google Scholar 

  56. Internationaler Kongress “Elektronik im Kraftfahrzeug” (Tagungsband), VDI-Berichte, Band 1789, VDI Verlag, Düsseldorf (D), 2003

    Google Scholar 

  57. R. Ernst: Automatisierter Entwurf eingebetteter Systeme. /at99/, S. 285–294

    Google Scholar 

  58. Homepage ETAS GmbH: http://www.etas.de/(Zugriff: Dez. 2003)

    Google Scholar 

  59. ASCET-SD Whitepaper — Development Environment for Embedded Control Systems. ETAS GmbH & Co.KG, Stuttgart (D), 1999

    Google Scholar 

  60. ETSI Standard ETSI ES 201 873–1 V2.2.1 (2002–08): The Testing and Test Control Notation Version 3. European Telecommunications Standards Institute, Aug. 2002

    Google Scholar 

  61. D. Gelperin: Model-based Design of Software Tests. Proc. of TEST 2000, London (GB), 2000

    Google Scholar 

  62. K. Grimm, M. Grochtmann: Klassifikationsbäume — ein Ansatz für den Software-Test. Technischer Bericht FUZ/S 0007.90, Daimler-Benz AG, Berlin (D), Dez. 1990

    Google Scholar 

  63. M. Grochtmann, K. Grimm: Classification Trees for Partition Testing. Software Testing, Verification and Reliability, 3 (1993), S. 63–82

    Article  Google Scholar 

  64. M. Grochtmann, K. Grimm, J. Wegener: Tool-Supported Test Case Design for Black-Box Testing by Means of the Classification-Tree Editor. Proc. of 1. European Int. Conf. on Software Testing, Analysis and Review (EuroSTAR ‘93), London (GB), S. 169–176, Okt. 1993

    Google Scholar 

  65. W. Grieskamp, M. Heisel, H. Dörr: Specifying Embedded Systems with Statecharts and Z — An Agenda for Cyclic Software Components. Proc of 1. Int. Conf. on Fundamental Approaches to Software Engineering (FASE ′98), Lisbon (P), März 1998

    Google Scholar 

  66. J. Grabowski, D. Hofgrefe, R. Nahm: Test Case Generation with Test Purpose Specification by MSCs. In: O. Faergemand, A. Sarma (Hrsg.): SDL ′93 — Using Objects. Elsevier Science, 1993

    Google Scholar 

  67. K. Grimm: Methdoden und Verfahren zum systematischen Testen von Software. Automatisierungstechnische Praxis atp, 30. Jahrgang, Heft 6/1988, S. 271–280

    Google Scholar 

  68. K. Grimm: Systematisches Testen von Software — Eine neue Methode und eine effektive Teststrategie. Dissertation, GMD-Bericht Nr. 251, Oldenbourg, 1995

    MATH  Google Scholar 

  69. A. Griep: Kompakte Beschreibung von Testsequenzen für die automatisierte Testfallerstellung unter Beachtung regelungstechnischer Aspekte. Diplomarbeit, TU Ilmenau, Ilmenau (D), Nov. 2002

    Google Scholar 

  70. N. Hartmann: Automation des Tests eingebetteter Systeme am Beispiel der Kraftfahrzeugelektronik. Dissertation, Universität Fredericana Karlsruhe, Karlsruhe (D), 2001

    Google Scholar 

  71. Model-based Tools Update. The Hansen Report on Automotive Electronics, Vol. 14, Nr. 5, Juni 2001

    Google Scholar 

  72. M. Heisel: Imporving Software Quality with Formal Methods -Methodology and machine Support. Habilitation, TU Berlin, Berlin (D), 1997

    Google Scholar 

  73. A. Heldwein: Funktionaler Test von Steuergeräten im Kraftfahrzeug mit der Klassifikationsbaum-Methode. Diplomarbeit, Fachhochschule fur Technik Esslingen, Fachbereich Mechatronik, Esslingen (D), 1996

    Google Scholar 

  74. A. Hablizel, A. Heldwein: Anwendung der Klassifikationsbaum-Methode an einem regelungstechnischen Beispiel. Unveröffentlichtes Manuskript, Daimler-Benz AG, Forschung und Technik FlM/ET, Stuttgart (D), 1997

    Google Scholar 

  75. S. Hörfarter: Modellbasierte Softwareentwicklung für komplexe Echtzeitsysteme mit der Standard-UML. Objekt Spektrum, Heft 5/2001, S. 50–54

    Google Scholar 

  76. D. Hötzer: Sehaltstrategieentwurf mit Statemate unter Einbindung kontinuierlicher Modelle zur Softwareverifikation. Proc. of 5. Statemate Anwenderforum, München (D), 1997

    Google Scholar 

  77. M. Heisel, C. Sühl: Methodological Support for Formally Specifying Safety-Critical Software. In: P. Daniel (Hrsg.): Proc. of 16. Int. Conf. on Computer Safety, Realiability and Security (SAFECOMP ′97), S. 295–308, Springer, 1997

    Google Scholar 

  78. A. S. Hedayat, N. J. A. Sloane, J. Stufken: Orthogonal Arrays -Theory and Applications. Springer, 1999

    MATH  Google Scholar 

  79. R. Helldörfer, U. Teubert: Automated Software Verification at TEMIC. dSPACE News, Heft 1/2001, dSPACE GmbH, Paderborn (D), 2001

    Google Scholar 

  80. T. Heverhagen, R. Tracht: Integrating UML-RealTime and IEC 61131 – 3 with Function Block Adapters. Proc. of 4. Int. Symposium on Object-Oriented Real-Time Distributed Computing (ISORC′01), S. 395–402, Magdeburg (D), Mai 2001

    Google Scholar 

  81. J. Hunt: IEC1131–3 What’s In It For Me? Instrumentation and Control Symposium (ICEX’97), Sydney (AUS), Juni 1997

    Google Scholar 

  82. Rational Test RealTime, Produktinformationen, IBM, http://www.ibm.com/software/awdtools/test/realtime(Zugriff: Dez. 2003)

    Google Scholar 

  83. IEC 9646–3 (1998): Information Technology — Open Systems Interconnection — Conformance testing methodology and framework — Part 3: The Tree and Tabular Combined Notation (TTCN), 1998

    Google Scholar 

  84. IEC 60848 Ed. 2.0 (2002): GRAFCET specification language for sequential function charts, 2002

    Google Scholar 

  85. IEC 61131–3 Ed. 2.0 (2003): Programmable controllers — Part 3: Programming languages, 2003/IEEE 610.12/IEEE Std. 610.12–1990: IEEE Standard Glossary of Software Engineering Terminology. Institute of Electrical and Electronics Engineers, Inc., New York (US), 1990

    Google Scholar 

  86. Homepage i-Logix Inc.: http://www.ilogix.com/(Zugriff: Dez. 2003)

    Google Scholar 

  87. Statemate Magnum Reference Manual. i-Logix Inc., Andover (US), 1996

    Google Scholar 

  88. TR 15497:2000 Road vehicles — Development guidelines for vehicle based software. International Organization for Standardization (ISO), Geneva (CH), 2000

    Google Scholar 

  89. ISO/FDIS 15622:2002(E): Transport information and control systems -Adaptive Cruise Control systems — Performance requirements and test procedures. International Organization for Standardization (ISO), Geneva (CH), 2002

    Google Scholar 

  90. Homepage IT Power Consultants: http://www.itpower.com/(Zugriff: Dez. 2003)

    Google Scholar 

  91. MEval — Signalvergleich in Matlab/Simulink. Produktflyer, IT Power Consultants, Berlin (D), 2003. http://www.itpower.de/meval.html(Zugriff: Juli 03)

    Google Scholar 

  92. ITU-Z Recommendation Z.120: Message Sequence Charts (MSC). International Telecommunication Union — Telecommunication Standardization Sector (ITU-T), Geneva (CH), Nov. 1999

    Google Scholar 

  93. ITU-Z Prepublished Recommendation Z.140: The Tree and Tabular Combined Notation Version 3. International Telecommunication Union -Telecommunication Standardization Sector (ITU-T), Geneva (CH), Juli 2001

    Google Scholar 

  94. M. Jersak, Y. Cai, D. Ziegenbein, R. Ernst: A Transformational Approach to Constraint Relaxation of a Time-driven Simulation Model. Proc.of 13. Int. Symposium on System Sythesis, Madrid (ES), Sept. 2000

    Google Scholar 

  95. C. B. Jones: Systematic Software Development Using VDM. 2. Edition, Prentice Hall, 1990

    MATH  Google Scholar 

  96. U. John: Wissensbasierte Unterstützung beim Aufbau von Klassifikationsbäumen für den Software-Test. Technischer Bericht F2/S-92–001, Daimler-Benz AG F2/S, Berlin (D), 1992

    Google Scholar 

  97. H. S. Jacobs, P. H. N. de With: Embedded TestFrame — An Architecture for Automated Testing of Embedded Software. 18. Treffen der GI FG 2.1.7.Test, Analyse und Verifikation von Software, Potsdam (D), Juni 2002 http://www.testframe.com/TestFrame/PRODUCT/20011207/Whitepaper Embedded TestFrame Œnglish).pdf(Zugriff: Okt. 2002)

    Google Scholar 

  98. W. Kattermann: Viele Standards unter einem Hut. Design & Elektronik, Heft 1, Jan. 2001, S. 84

    Google Scholar 

  99. T. Klein, M. Conrad, I. Fey, M. Grochtmann: Modellbasierte Entwicklung eingebetteter Fahrzeugsoftware bei DaimlerChrysler. Lecture Notes in Informatics (LNI), Band P-45, S. 31–41, 2004

    Google Scholar 

  100. E. Kit: Integrated, Effective Test Design and Automation: Software De-velopment Magazine (SD Magazine), Feb. 1999, S. 27ff

    Google Scholar 

  101. T. Klein: Online-Hilfe zum informellen Testassistenten. Daimler-Benz AG FT3/SM, Berlin (D), 1999

    Google Scholar 

  102. R. Köhn: Das Auto als geballtes Softwarepaket. Financial Times Deutsch-land, 17. Aug. 2001, S.8

    Google Scholar 

  103. C. Kuhn: Maße zur Bewertung der Ähnlichkeit von zwei Signalreihen. Projektbericht, TU Ilmenau, Ilmenau (D), Juni 2001

    Google Scholar 

  104. K. Lamberg, M. Beine, M. Eschmann, R. Otterbach, M. Conrad, I. Fey: Model-based Testing of Embedded Automotive Software using MTest. Proc. of SAE World Congress 2004, Detroit (US), März 2004

    Book  Google Scholar 

  105. M. Langbein: Message Sequence Charts für die formale Spezifikation von Embedded Systems. Diplomarbeit, TU Ilmenau, Ilmenau (D), Jan. 2000

    Google Scholar 

  106. F. Lattemann: Systematische Spezifikation von Echtzeiteigenschaften -Die Punkt-Intervall Logik und ihre Anwendung. Dissertation, Wissenschaft und Technik Verlag, Berlin (D), 1999

    Google Scholar 

  107. E. A. Lee: Embedded Software. UCB ERL Memorandum M01/26. Uni-versity of California, Berkeley (US), Juli 2001

    Google Scholar 

  108. E. Lehmann: Systematischer Test dynamischen Verhaltens. Vortragsfo-lien, DaimlerChrysler AG, Berlin (D), 29. Apr. 1999

    Google Scholar 

  109. E. Lehmann: Time Partition Testing: A Method for Testing Dynamic Functional Behaviour. Proc. of TEST2000, London (GB), 2000

    Google Scholar 

  110. E. Lehmann: Time Partition Testing — Systematischer Test des kontinuier-lichen Verhaltens von Eingebetteten Systemen. Dissertation, TU Berlin, Berlin (D), Nov. 2003

    Google Scholar 

  111. M. Lepper: MWATCH Installation and Users Guide. Technische Notiz, TMTest-2001–06, DaimlerChrysler AG, Forschung Information und Kommunikation RIC/SM, Berlin (D), Juni 2002

    Google Scholar 

  112. P. Liggesmeyer: Modultest und Modulverifikation: State of the Art. Angewandte Informatik Band 4, BI-Wissenschaftsverlag, 1990

    MATH  Google Scholar 

  113. P. Liggesmeyer: Testen, Analysieren und Verifizieren von Software — eine klassifizierende Übersicht der Verfahren. In: P. Liggesmeyer et al. (Hrsg.) Testen, Analysieren und Verifizieren von Software. Reihe Informatik aktuell, S. 1–25, Springer, 1992

    Google Scholar 

  114. P. Liggesmeyer: Qualitätssicherung softwareintensiver technischer Systeme. Habilitation, Spektrum, 2000

    Google Scholar 

  115. K. Lamberg, J. Richert: Integration der MTest-Technologie in dSPACE ControlDesk TestAutomation. Interner Bericht, dSPACE GmbH, Paderborn (D), 2001

    Google Scholar 

  116. K. Lamberg, J. Richert, R. Rasche: A New Environment for Integrated Development and Management of ECU Tests. Proc. of SAE World Congress 2003, Detroit (US), März 2003

    Book  Google Scholar 

  117. E. Lehmann, J. Wegener: Test Case Design by Means of the CTE XL. Proc. of 8. European Int. Conf. on Software Testing, Analysis and Review (EuroSTAR ′00), Copenhagen (DK), Dez. 2000

    Google Scholar 

  118. M. Lygner: Model-based Development Tool Chain at Volvo Cars. dSPACE News, Heft 1/2002, dSPACE GmbH, Paderborn (D), 2002, S.4–5

    Google Scholar 

  119. S. Masuhr: Modulare Spezifikation und Verifikation der Production Cell. Studienarbeit, 1994

    Google Scholar 

  120. K. L. McMillan: Symbolic Model Checking — An Approach to the State Explosion Problem. Kluwer Academic, 1993

    Google Scholar 

  121. M. Mutz, M. Huhn, U. Goltz, C. Krömke: Model Based System Develop-ment in Automotive. Proc. of SAE World Congress 2003, Detroit (US), März 2003

    Book  Google Scholar 

  122. Microsoft Excel, Produktinformationen, Microsoft Corp., Redmond (US), s. http://www.microsoft.com/office/excel (Zugriff: Juli 2003)

  123. J. Mischke: Classification-Tree Editor for Embedded Systems CTE/ES -Benutzerhandbuch für MS Windows 9x / NT4.0 / 2000. Razorcat Development GmbH, ISBN 3–8311–1848–5, Apr. 2001

    Google Scholar 

  124. D. Mitchel: Test Bench Generation from Timing Diagrams. Anhang D zu D. Pellerin: VHDL Made Easy, 1996 http://www.svncad.com/tdml.htm (Zugriff Aug. 2000)

    Google Scholar 

  125. R. Merz, L. Litz: Objektorientierte Mathematische Modellierung — geneti-sche Methoden bei komplexen dynamischen Systemen. Informatik Spektrum, Band 23, Heft 2, Apr. 2000, S. 90–99

    Article  Google Scholar 

  126. V. Malepati, H. Li, K. R. Pattipati, S. Deb, A. Patterson-Hine: Verification and Validation of High Integrity Software Generated By Automatic Code Generators. Proc. of IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC ′98), San Diego (US), Okt. 1998

    Google Scholar 

  127. M. Mutz, M. Harms, M. Horstmann, M. Huhn, G. Bikker, C. Krömke, K. Lange, U. Goltz, E. Schnieder, J.-U. Varchmin: Ein durchgehender modellbasierter Entwicklungsprozess für elektronische Systeme im Automobil, In: /ElKfz03/, S. 43–75

    Google Scholar 

  128. S. Mauw: MSC WWW Server, http://www.sdl-forum.org/ (Zugriff: Juli 2002)

  129. G. J. Myers: The Art of Software Testing. John Wiley & Sons, 1979

    Google Scholar 

  130. N. Nardelli: Entwicklung eines Testkonzeptes fur parametrisierbare Simulationsmodelle mechanischer, hydraulischer und regelungstechnischer Systeme. Diplomarbeit, Universität Stuttgart, Stuttgart (D), Nov. 2000

    Google Scholar 

  131. Homepage National Instruments Corp.: http://www.ni.com/ (Zugriff: Okt. 2003)

  132. MATRIXx Getting Started (Windows). National Instruments Corp., Aus-tin (US), Mai 2003

    Google Scholar 

  133. MATRIXx Xmath Basics. National Instruments Corp., Austin (US), Mai 2003

    Google Scholar 

  134. MATRIXx SystemBuild User’s Guide. National Instruments Corp., Austin (US), Mai 2003

    Google Scholar 

  135. MATRIXx AutoCode User’s Guide. National Instruments Corp., Austin (US), Mai 2003

    Google Scholar 

  136. (Kein Autor) Kommunikation im Bett — Embedded Betriebssysteme vom Anwendungsstandpunkt. Design & Elektronik, Heft 1, Jan. 2001, S. 81, 99–101

    Google Scholar 

  137. T. Ostrand, M. Balcer: The category-partition method for specifying and generating functional tests. Communications of the ACM, 31(6) 1988, S. 676–686

    Article  Google Scholar 

  138. UML Notation Guide, Version 1.1. OMG document ad/97–08–05, Object Management Group (OMG), Sept. 1997

    Google Scholar 

  139. OMG Unified Modeling Language Specification, Version 1.3. OMG document formal/00–03–01, Object Management Group (OMG), März 2000

    Google Scholar 

  140. Response to the OMG request for proposal (RFP) for Schedulability, Performance, and Time, Version 1.0. OMG document ad/2000–08–04, Object Management Group (OMG), Aug. 2000

    Google Scholar 

  141. J. Peleska: Testing Safety-Critical Embedded Systems — Theoretical Results Applied in Practice. Proc. of 2. Int. Conf. on Software Testing (ICS TEST ′01), Bonn (D), Apr. 2001

    Google Scholar 

  142. R. Pitschinetz: Das Testsystem TESSY Version 2.5. Technischer Bericht FT3/S-1999–001, DaimlerChrysler AG, Forschung und Technologie FT3/SM, Berlin (D), 1999

    Google Scholar 

  143. M. S. Phadke: Quality Engineering Using Robust Design — Produkt und Prozeßoptimierung mit den Methoden der statistischen Versuchsplanung

    Google Scholar 

  144. nach G. Taguehi. Gesellschaft für Managementtechniken und Technologietraining, München (D), 1990

    Google Scholar 

  145. M. S. Phadke: Planning Efficient Software Tests. Proc. of ASQC’s 51. Annual Quality Congress, S. 991–998, Orlando (US), Mai 1997

    Google Scholar 

  146. M. Pol, T. Koomen, A. Spillner: Management und Optimierung des Testprozesses — Ein praktischer Leitfaden für erfolgreiches Testen von Software mit TPI und TMap. dpunkt-Verlag, 2000

    Google Scholar 

  147. W. A. Pretschner: Zum modellbasierten funktionalen Test reaktiver Systeme. Dissertation, TU München, Institut für Informatik, München (D), 2003

    Google Scholar 

  148. M. Pol, E. van Veenendaal: Structured Testing of Information Systems -an introduction to TMap®. Kluwer BedrijfsInformatie, 1998

    Google Scholar 

  149. A. Rau: Verwendung von Zusicherungen in einem modellbasierten Ent-wicklungsprozess. Informationstechnik und Technische Informatik it + ti, 44 (2002) 3, S. 137–144

    Google Scholar 

  150. A. Rau: Model-Based Development of Embedded Automotive Control Systems. Dissertation, Dept. of Computer Scienece, Universität Tübingen (D), 2002.

    Google Scholar 

  151. S. Ranville: MCDC Test Vectors From Matlab Models — Automatically. Embeddded Systems Conference, San Francisco (US), März 2003

    Google Scholar 

  152. S. Ranville: Matlab ‘Add-on’ Tools for State-of-the-Art Embedded Soft-ware Development. 22. AIAA / IEEE / SAE Digital Avionics Systems Conf., Indianapolis (US), Okt. 2003

    Google Scholar 

  153. Homepage Razorcat Development GmbH: http://www.razorcat.com/ (Zugriff: Dez. 2003)

  154. A. Rau, M. Conrad, H. Keller, I. Fey, C. Dziobek: Integrated Model-based Software Development and Testing with CSD and MTest. Proc. of International Automotive Conference, Scientific Computers GmbH, Aachen (D), 2000

    Google Scholar 

  155. Homepage Reactive Systems Inc.: http://www.reactive-svstems.com/ (Zugriff: Dez. 2003)

  156. Reactis User’s Guide. Reactive Systems Inc., Falls Church (US), Aug. 2002

    Google Scholar 

  157. M. Reinfrank: Modellbasierte Funktionsentwicklung für Motor-steuerungen — Ein Pilotprojekt in der MSR-Entwicklungsumgebung MESA. /ElKfz94/, S. 253ff

    Google Scholar 

  158. M. Remme: Konstruktion von Prozeßmodellen — Ein modellgestützter Ansatz durch Montage generischer Prozeßpartikel. Dissertation, Wiesbaden (D), 1997

    Google Scholar 

  159. J. Richert: Skriptbasierte Echtzeitsignalgenerierung im Umfeld der Testautomatisierung. Interner Bericht, dSPACE GmbH, Paderborn (D), Okt. 1997

    Google Scholar 

  160. G. Reiß, K. Lamberg, I. Fey, M. Conrad: Systematisch testen statt Ausprobieren. dSPACE News, Heft 3/2003, S. 10–11, dSPACE GmbH, Paderborn (D), 2003

    Google Scholar 

  161. H. Robinson: Finite State Model-Based Testing on a Shoestring. Presented at Int. Conf. On Software Testing Analysis and Review (STAR West), San Jose (US), Nov. 1999

    Google Scholar 

  162. H. Robinson: Graph Theory Techniques in Model-Based Testing. Proc. of Int. Conf. and Exposition on Testing Computer Software (TCS ‘99), Washington (US), Juni 1999

    Google Scholar 

  163. W. Rosenstiel: Eingebettete Systeme. /at99/, S. 283–284

    Google Scholar 

  164. S. Rosaria, H. Robinson: Applying models in your testing process. Infor-mation and Software Technology, 42 (2000), S. 815–824

    Article  Google Scholar 

  165. C. Ritter, J. Willibald, E. Sax: Auswertemöglichkeiten von Systemantwor-ten im Steuergeräteumfeld — ein Überblick. Projektbericht, FZI-ESM-DCB-TN-1, Forschungszentrum Informationstechnik Karlsruhe, Karlsruhe (D), März 2001

    Google Scholar 

  166. C. Ritter, J. Willibald, E. Sax, K. D. Müller-Glaser: Entwurfsbegleitender Test für die modellbasierte Entwicklung eingebetteter Systeme. 13. Workshop Testmethods and Reliability of Circuits and Systems, Miesbach (D), Feb. 2001

    Google Scholar 

  167. S. Sadeghipour: Testing Cycling Software Components of Reactive Systems on the Basis of Formal Specifications. Dissertation, Schriftenreihe Forschungsergebnisse zur Informatik, Band 40, Verlag Dr. Kovac, Hamburg (D), 1998

    Google Scholar 

  168. S. Sadeghipour: Konvertierung von MTest-Testszenarien in CSD-Fahrmanöver. Technische Notiz MTest-2001–4, DaimlerChrysler AG, Forschung und Technologie FT3/SM, Berlin (D), April 2001

    Google Scholar 

  169. E. Sax: Beitrag zur entwurfsbegleitenden Validierung und Verifikation elektronischer Mixed-Signal-Systeme. Dissertation, FZI-Publikation 1/2000, Forschungszentrum Informatik an der Universität Karlsruhe, Karlsruhe (D), 2000

    Google Scholar 

  170. E. Sax: Testaktivitäten bei ESM. Vortragsfolien, FZI, Karlsruhe (D), 26. Sept. 2000

    Google Scholar 

  171. H. Schmid: Entwicklung und Realisierung einer Teststrategie mit zugehöriger Testdatenbank für ein Kfz-Elektronik-Testsystem. Diplomarbeit, Stuttgart (D), März 1998

    Google Scholar 

  172. I. Stürmer, M. Conrad: Test Suite Design for Code Generation Tools. 18. IEEE Int. Conf. Automated Software Engineering (ASE ′03), Montreal (CDN), Okt. 2003

    Google Scholar 

  173. H. Singh, M. Conrad, S. Sadeghipour: Test Case Design Based on Z and the Classification-Tree Method. In: M.G. Hinchey and S. Liu (Hrsg.), Proc. of 1. Int. Conf. On Formal Engineering Methods (ICFEM ′97), Hiroshima (J), S. 81–90, IEEE Computer Society, 1997

    Chapter  Google Scholar 

  174. H. Singh, M. Conrad, S. Sadeghipour: Tool-Supported Test Case Design Based on Z and the Classification-Tree Method. Technischer Bericht FT3/S-1998–002, DaimlerChrysler AG, Forschung und Technologie FT3/SM, Berlin (D), 1998

    Google Scholar 

  175. Carl Seifert: Automatisiertes Auswerten von simulierten Schaltvorgängen am Nutzfahrzeug. Diplomarbeit, Brandenburgische Technische Universität, Cottbus (D), 2001

    Google Scholar 

  176. D. Simmes: Entwicklungsbegleitender Systemtest für elektronische Fahr-zeugsteuergeräte. Dissertation, Herbert Utz Verlag Wissenschaft, München (D), 1997

    Google Scholar 

  177. E. Sax, K. D. Müller-Glaser: A seamless, model-based Design Flow for Embedded Systems in Automotive Applications. 1. Int. Symposium on Automotive Control, Shanghai (CN), 2001

    Google Scholar 

  178. T. Stauner, O. Müller, M. Fuchs: Using HyTech to Verify an Automotive Control System. Proc. of Hybrid and Real-Time systems, Grenoble (F), März 1997

    Google Scholar 

  179. D. Sokenou: Testfallgenerierung aus UML- und Object-Z-Spezifikationen. Softwaretechnik-Trends, 21 (2001) 1, Feb. 2000

    Google Scholar 

  180. A. Soltis: A MATLAB Based Data Analysis Tool for Signal Comparison Applications. Vortragsfolien, DaimlerChrysler AG, Auburn-Hills (US), 3. Oct. 2002

    Google Scholar 

  181. C. Schröder, U. Pansa: UML@Automotive — Ein durchgängiges und adaptives Vorgehensmodell für den Softwareentwicklungs-prozeß in der Automobil-Industrie. White Paper, Telelogic Deutschland GmbH, 2000

    Google Scholar 

  182. J. M. Spivey: The Z notation — A reference Manual. 2. Edition, Prentice Hall, 1992

    Google Scholar 

  183. Homepage SQS Gesellschaft für Software-Qualitätssicherung mbH: http://www.sqs.de/ (Zugriff: Nov. 2000)

  184. SQS-TEST für Windows — Das Testsystem zum systematischen Aufbau von regressionsfähigen Tests. Produktinformation, SQS Software Quality Systems AG, Köln (D), 2000

    Google Scholar 

  185. SQS-TEST — Systematische Testfallermittlung mit TEST-CADETT. Unterlagen zum Produktseminar Version 1.0, SQS Gesellschaft für Software-Qualitätssicherung mbH, Köln (D), 2000

    Google Scholar 

  186. SQS-TEST — Testdatendefinition mit TEST-DAT. Unterlagen zum Produktseminar Version 1.1, SQS Gesellschaft für Software-Qualitätssicherung mbH, Köln (D), 2000

    Google Scholar 

  187. I. Stürmer: Graphtransformationen zur Manipulation von Klassifikationsbäumen beim modell-basierten Testen. Diplomarbeit, Universität der Bundeswehr München, Fakultät für Informatik, München (D), 2001

    Google Scholar 

  188. E. Sax, J. Willibald, K. D. Müller-Glaser: Entwicklung einer ablaufsteuerbaren Signalbeschreibung zur Validierung von elektronischen Schaltungsmodellen. GMM-Fachbereich Entwurf Integrierter Schaltungen, 9. E.I.S.-Workshop, Darmstadt (D), Sept. 1999

    Google Scholar 

  189. E. Sax, J. Willibald, K. D. Müller-Glaser: Seamless testing of embedded control systems. 3. IEEE Latin-American Test Workshop, Montevideo (RDU), 2002

    Google Scholar 

  190. Homepage Synaptic AD Inc.: http://www.svncad.com (Zugriff: Juni. 2004)

  191. J. Schäuffele, T. Zurawka: Automotive Software Engineering. Vieweg, Juli 2003

    Google Scholar 

  192. Fachgruppe 2.1.7 Test, Analyse und Verifikation von Software (TAV) der Gesellschaft für Informatik (GI): Begriffsdefmitionen im Testbereich. Internes Arbeitspapier, Jan. 1996

    Google Scholar 

  193. TDML: An XML-based Interchange Standard for Waveforms and Timing Specifications, http://www.svncad.com/tdml.htm (Zugriff: Aug. 2000)

  194. TestFrame Testkonzept, http://www.testframe.com/ (Zugriff: Jan. 2003)

  195. G. E. Thaller: Software Engineering fur Echtzeit und Embedded Systems. bhv Verlag, Kaarst (D), 1997

    Google Scholar 

  196. Homepage The MathWorks Inc.: http://www.mathworks.com/ (Zugriff: Dez. 2003)

  197. Using Matlab (Version 6). The MathWorks, Natick (US), Nov. 2000

    Google Scholar 

  198. Using Simulink (Version 4.1). The MathWorks, Natick (US), Juni 2000

    Google Scholar 

  199. Stateflow User’s Guide (Version 4). The MathWorks, Natick (US), Juni 2000

    Google Scholar 

  200. Model-Based and System-Based Design — Using Simulink (Version 5). The MathWorks, Natick (US), Juli 2002

    Google Scholar 

  201. Tree and Tabular Combined Notation (TTCN). Web ProForum Tutorial, The International Engineering Consortium http://www.iec.org/tutorials/ttcn (Zugriff: Mai 2001)

  202. K.-D. Voehringer: Software and the Future of the Automotive Industry. Vortragsmanuskript, 2. ITEA Symposium, Berlin (D), Okt. 2001

    Google Scholar 

  203. M. L. Watkins: A Technique for Testing Command and Control Software. Communications of the ACM, Vol. 25, Nr. 4, April 1982, S. 228–232

    Article  MathSciNet  Google Scholar 

  204. H.-W. Wiesbrock, M. Conrad, I. Fey, H. Pohlheim: Neue automatisierte Auswerteverfahren fur Regressions- und Back-to-back-Tests eingebetteter Regelsysteme. Softwaretechnik-Trends, 22 (2002) 3, Aug. 2002, S. 22–27

    Google Scholar 

  205. H.-W. Wiesbrock, H. Dörr, H.-J. Holberg: Model-Checking im Automo-tivbereich. Proc. of GI Jahrestagung 2002, S. 819–823, 2002

    Google Scholar 

  206. J. Wegener: Evolutionärer Test des Zeitverhaltens von Realzeit-Systemen. Dissertation, Shaker Verlag, 2001

    Google Scholar 

  207. S. Weber, A. Graf, D. Peters: Automated Integration Testing of Powertrain Software with LabCar ST. Proc. of ETAS Competence Exchange Symposium 2002, ETAS GmbH, Stuttgart (D), 2002

    Google Scholar 

  208. A. Wohnhaas, R. Moser: Modellaustausch zwischen Steuergeräte-Entwicklungstools auf Basis einheitlicher grafischer Blockbibliotheken. Whitepaper, Working Group MSR-MEGMA, 1999

    Google Scholar 

  209. J. Wegener, H. Sthamer, A. Baresel: Evolutionary Test Environment for Automatic Structural Testing. Special Issue of Information and Software Technology, Band 43, 2001, S. 851–854

    Google Scholar 

Download references

Authors
  1. Mirko Conrad
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Deutscher Universitäts-Verlag/GWV Fachverlage GmbH, Wiesbaden

About this chapter

Cite this chapter

Conrad, M. (2004). Verzeichnisse. In: Modell-basierter Test eingebetteter Software im Automobil. Deutscher Universitätsverlag. https://doi.org/10.1007/978-3-322-81246-9_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-322-81246-9_8

  • Publisher Name: Deutscher Universitätsverlag

  • Print ISBN: 978-3-8244-2188-6

  • Online ISBN: 978-3-322-81246-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation