Automated testing of embedded automotive systems from requirement specification models

LATW 2011 - 12th IEEE Latin-American Test Workshop

Volumn , Issue , 2011, Pages

  Siegl, Sebastian ^a   Hielscher, Kai Steffen ^a   German, Reinhard ^a   Berger, Christian ^b  

^a UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

^b AUTOMOTIVE SAFETY TECHNOLOGIES GMBH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ACTIVE SAFETY; AUTOMATED TESTING; AVIONIC SYSTEMS; CAR MANUFACTURERS; DESIGN DECISIONS; DESIGN PHASIS; DEVELOPMENT PHASE; EMBEDDED AUTOMOTIVE SYSTEMS; IMPLEMENTATION MODELS; OPERATIONAL PROFILE; PARAMETRIZATIONS; REQUIREMENT SPECIFICATION; SYSTEM BEHAVIORS; TEST CASE; TEST METHOD; USAGE MODELS;

AUTOMOBILE MANUFACTURE; AVIONICS; DESIGN; EMBEDDED SOFTWARE; EMBEDDED SYSTEMS; SOFTWARE TESTING; TESTING;

MATHEMATICAL MODELS;

EID: 80052616361     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/LATW.2011.5985928     Document Type: Conference Paper

References (21)

1. International Organization for Standardization., ISO/DIS 26262 (2009). Road vehicles Functional safety. Draft international standard. http://www.iso.org, 2009.
2. S. Siegl, K.-S. Hielscher, and R. German, "Introduction of Time Dependencies in Usage Model Based Testing of Complex Systems," in IEEE Systems Conference 2010, Los Alamitos, CA, USA, 2010.
3. S. Siegl, K.-S. Hielscher, R. German, and C. Berger, "Formal specification and systematic model-driven testing of embedded automotive systems," in To appear in Proceedings of the Conference on Design, Automation and Test in Europe, ser. DATE '11, 2011.
4. K. Beck, Test-Driven Development. Amsterdam: Addison-Wesley Longman, 2003.
5. T. Dohmke, slunit, http://slunit.domke.de, 2010.
6. The Mathworks, Systemtest, http://www.mathworks.com/products/systemtest, 2010.
7. E. Lehmann and J. Wegener, "Test Case Design by Means of the CTE XL," Proceedings of the 8th European International Conference on Software Testing, Analysis Review (EuroSTAR 2000), Kopenhagen, Denmark, December, 2000.
8. M. Löser, M. Leucker, D. Nowotka, and J. Rischen, "Ä quivalenzklassen mit zeit und zuständen," in Informatiktage, ser. LNI, L. Porada, Ed., vol. S-8. GI, 2009, pp. 87-90.
9. D. Skarin and J. Karlsson, "Software implemented detection and recovery of soft errors in a brake-by-wire system," in Proceedings of the 2008 Seventh European Dependable Computing Conference. Washington, DC, USA: IEEE Computer Society, 2008, pp. 145-154. [Online]. Available: http://portal.acm. org/citation.cfm?id=1440466.1441238
10. D. Trawczynski, J. Sosnowski, and P. Gawkowski, "Analyzing fault susceptibility of abs microcontroller," in Proceedings of the 27th international conference on Computer Safety, Reliability, and Security, ser. SAFECOMP '08. Berlin, Heidelberg: Springer-Verlag, 2008, pp. 360-372.
11. J. M. Carter and J. H. Poore, "Sequence-based specification of feedback control systems in simulink® ," in CASCON '07: Proceedings of the 2007 conference of the center for advanced studies on Collaborative research. New York, NY, USA: ACM, 2007, pp. 332-345.
12. G. H. Walton, J. H. Poore, and C. J. Trammell, "Statistical testing of software based on a usage model," Software - Practice and Experience, vol. 25, pp. 97-108, 1999.
13. N. Leveson, "Medical devices: The therac-25," in Safeware: System Safety and Computers, Addison-Wesley, 1995.
14. S. J. Prowell, "Using markov chain usage models to test complex systems,"in HICSS '05: Proceedings of the Proceedings of the 38th Annual Hawaii International Conference on System Sciences. Washington, DC, USA: IEEE Computer Society, 2005, p. 318.3.
15. K. Sayre and J. Poore, "A reliability estimator for model based software testing," Software Reliability Engineering, 2002. ISSRE 2002. Proceedings. 13th International Symposium on, pp. 53-63, 2002.
16. S. Siegl, V. Entin, R. German, and G. Kiffe, "Model driven testing with time augmented markov chain usage models - computations and test case generation algorithms for time augmented markov chain usage models,"in ICSOFT, INSTICC Press, 2009, pp. 202-207.
17. R. German, Performance Analysis of Communication Systems with Non-Markovian Stochastic Petri Nets. New York, NY, USA: John Wiley & Sons, Inc., 2000.
18. S. Siegl, Handbuch Automatische Testfallgenerierung aus Benutzungsmodellen, INI.FAU, 85057 Ingolstadt, Germany, 2010.
19. CRUISECONTROL, cruisecontrol, http://cruisecontrol.sourceforge.net, 2010.
20. H. Grönniger, H. Krahn, B. Rumpe, M. Schindler, and S. Völkel, "Monticore: a framework for the development of textual domain specific languages," in ICSE Companion '08: Companion of the 30th international conference on Software engineering. New York, NY, USA: ACM, 2008, pp. 925-926.
21. TU Clausthal, "The V-Model," http://www.v-modell-xt.de, 2005.