Formal specification and systematic model-driven testing of embedded automotive systems

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 2011, Pages 118-123

  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

Automated Testing; Requirements Engineering; Road Vehicles; Safety Critical Systems; Software Testing; Validation; Verification

Indexed keywords

ACTIVE SAFETY; ADVANCED TESTS; AUTOMATED TESTING; DEVELOPMENT CYCLE; DEVELOPMENT PHASIS; DEVELOPMENT STAGES; DISTRIBUTED SOFTWARE; EMBEDDED AUTOMOTIVE SYSTEMS; FORMAL SPECIFICATION; HARDWARE IN-THE-LOOP SIMULATION; MANAGEMENT FUNCTIONALITY; MODEL-DRIVEN TESTING; OPERATIONAL PROFILE; REQUIREMENT SPECIFICATION; REQUIREMENTS SPECIFICATIONS; ROAD VEHICLES; SAFETY CRITICAL SYSTEMS; SAFETY SYSTEM; SAFETY-CRITICAL FUNCTIONS; TEST CASE; TEST MODELS; TESTING STRATEGIES; VALIDATION; VERIFICATION AND VALIDATION;

AUTOMATION; COMPUTER SIMULATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; EMBEDDED SYSTEMS; ENERGY MANAGEMENT; SAFETY ENGINEERING; SAFETY TESTING; SPECIFICATIONS; STANDARDIZATION;

SOFTWARE TESTING;

EID: 79957539195     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. International Organization for Standardization., ISO/DIS 26262 (2009). Road vehicles Functional safety. Draft international standard. http://www.iso.org, 2009.
2. MISRA Ltd, Guidelines for the safety analysis of vehicle-based programmable systems., http://www.misra.org.uk, 2007.
3. K. Beck, Test-Driven Development. Amsterdam: Addison-Wesley Longman, 2003.
4. T. Dohmke, slunit, http://slunit.domke.de, 2010.
5. The Mathworks, Systemtest, http://www.mathworks.com/products/systemtest, 2010.
6. AUTOSAR Munich, AUTOSAR 4.0, http://www.autosar.org/, 2010.
7. T. C. Müller, M. Lochau, S. Detering, F. Saust, H. Garbers, L. Märtin, T. Form, and U. Goltz, "Umsetzung eines modellbasierten durchgängigen Entwicklungsprozesses für AUTOSAR-Systeme mit integrierter Qualitätssicherung," Technische Universität Braunschweig, Tech. Rep. 2009-06, 2009. [Online]. Available: http://www.digibib.tubs.de/?docid=00031645
8. 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.
9. 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.
10. G. Kiffe, EXtended Automation Method (EXAM) Konzeptpapier Version 3.0, Audi AG, Ingolstadt, Mai 2009.
11. S. Siegl, K.-S. Hielscher, and R. German, "Introduction of Time Dependencies in Usage Model Based Testing of Complex Systems," in Systems Conference, 2010 4th Annual IEEE, apr. 2010, pp. 622-627.
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. 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.
14. R. German, Performance Analysis of Communication Systems with Non- Markovian Stochastic Petri Nets. New York, NY, USA: John Wiley & Sons, Inc., 2000.
15. 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.
16. S. Siegl, Handbuch Automatische Testfallgenerierung aus Benutzungsmodellen, INI.FAU, 85057 Ingolstadt, Germany, 2010.