Systematic Model-Based Testing of Embedded Automotive Software

Electronic Notes in Theoretical Computer Science

Volumn 111, Issue SPEC. ISS., 2005, Pages 13-26

  Conrad, Mirko ^a   Fey, Ines ^a   Sadeghipour, Sadegh ^b  

^a DAIMLER AG   (Germany)

^b IT Power Consultants   (Germany)

Author keywords

Embedded automotive systems; Model based development; Model based test; Systematic test

Indexed keywords

EMBEDDED AUTOMOTIVE SYSTEMS; MODEL-BASED DEVELOPMENT; MODEL-BASED TEST; SYSTEMATIC TEST;

COMPUTATIONAL COMPLEXITY; COMPUTER SIMULATION; COMPUTER SOFTWARE; CONTROL SYSTEMS; MATHEMATICAL MODELS; SOFTWARE ENGINEERING;

EMBEDDED SYSTEMS;

EID: 11244311832     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.12.005     Document Type: Conference Paper

References (17)

1. ASCET-SD, ETAS GmbH, de.etasgroup.com/products/ascet sd/
2. M. Broy Automotive Software Engineering. Proc. 25th Intl. Conference on Software Engineering (ICSE 03) 2003 719 720 Portland, Oregon
3. M. Burckhardt Fahrwerktechnik - Radschlupfregelsysteme 1993 Vogel Verlag Würzburg, Germany
4. Conrad, M., Dörr, H., Fey, I., Yap, A., "Model-based Generation and Structured Representation of Test Scenarios", Workshop on Software-Embedded Systems Testing (WSEST), Gaithersburg, USA, Nov. 1999
5. Conrad, M., Pohlheim, H., Fey, I., Sadeghipour, S., "Modell- basierter Black-box-Test für Fahrfunktionen", Techn. Report RIC/S-2002-001, DaimlerChrysler AG, Research Information and Communication, Berlin, 2002
6. M. Conrad, and E. Sax Mixed Signals B. Broekman E. Notenboom Testing Embedded Software 2002 Addison-Wesley
7. DOORS, Telelogic AB www.telelogic.com/products/doorsers
8. I.K. El-Far, and J.A. Whittaker Model-based Software Testing J.J. Marciniak Encyclopedia of Software Engineering 2nd edition 2001 Wiley
9. M. Grochtmann, and K. Grimm Classification Trees for Partition Testing Software Testing, Verification and Reliability, vol. 3 1993 63 82
10. Klein, T., Conrad, M., Fey, I., Grochtmann, M., "Modellbasierte Entwicklung eingebetteter Fahrzeugsoftware bei DaimlerChrysler", Modellierung 2004, Marburg, Germany, March 2004
11. Lamberg, K., Beine, M., Eschmann, M., Otterbach, R., Conrad, M., Fey, I., "Model-based testing of embedded automotive software using MTest", SAE World Congress 2004, Detroit, Michigan, Mar. 2004
12. Matlab/Simulink/State ow, The MathWorks Inc. http://www.mathworks.com
13. M. Mutz, M. Harms, M. Horstmann, M. Huhn, G. Bikker, C. Krömke, K. Lange, U. Goltz, E. Schnieder, and J.-U. Varchmin Ein durchgehender elektronischer Entwicklungsprozess für elektronische Systeme im Automobil VDI Berichte vol. 1789 2003 VDI-Verlag Düsseldorf, Germany 43 75
14. Pretschner, A., Philipps, J., "Szenarien modellbasierten Testens", Techn. Report TUM-I0205, Technische Universität München, Institut fr Informatik, July 2002
15. Rau, A., "Model-Based Development of Embedded Automotive Control Systems", PhD Thesis. Dept. of Computer Science, University of Tübingen, Germany, 2002
16. Sax, E., Müller-Glaser, K.-D., "A seamless, model-based Design Flow for Embedded Systems in Automotive Applications", 1st Intl Symposium on Automotive Control, Shanghai, China, 2001
17. J. Schäuffele, and T. Zurawka Automotive Software Engineering 2003 Vieweg Verlag Wiesbaden, Germany