This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Quality Assurance Methods for Model-Based Development: A Survey and Assessment
Technical Paper
2007-01-0506
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
Abstract
This paper examines state-of-the-art quality assurance (QA) techniques for model-based software development in the automotive domain. Both the aims and effort required to apply a certain method are discussed for all relevant QA techniques. Since QA techniques can only be used effectively if they are seamlessly integrated within the overall development process and among each other, an appropriate interconnection and order of application is important. Based on our experience from automotive software development projects, we suggest a QA strategy that includes the selection of QA techniques and the sequence of their application.
Recommended Content
Authors
Citation
Fey, I. and Stürmer, I., "Quality Assurance Methods for Model-Based Development: A Survey and Assessment," SAE Technical Paper 2007-01-0506, 2007, https://doi.org/10.4271/2007-01-0506.Also In
SAE 2007 Transactions Journal of Passenger Cars: Mechanical Systems
Number: V116-6; Published: 2008-08-15
Number: V116-6; Published: 2008-08-15
References
- [Bur04] Burnard, A. Verifying and Validating Automatically Generated Code Int. Automotive Conference ( IAC ) 71 78 2004
- [CDF+05] Conrad, M. Dörr, H. Fey, I. Pohlheim, H. Stürmer, I. Guidelines und Reviews in der Modell-basierten Entwicklung von Steuerge-räte-Software (in German) Simulation und Test in der Funktions- und Softwareentwick-lung für die Automobilelektronik Expert-Verlag Berlin 2005
- [DOORS] DOORS (product information) www.telelogic.com/products/doorsers 2006
- [GG93] Gilb, T. Graham, D. Software Inspections Addison-Wesley 1993
- [IMMOS] www.e-guidelines.de
- [LINT] Johnson Stephen Lint, a C program checker Computer Science Technical Report 65 Bell Laboratories December 1977
- [MINT] MINT (product information) http://www.ricardo.com/mint 2006
- [MIRA] MISRA 2004 “Guidelines for the use of the C language in critical systems” MIRA Ltd. http://www.misra.org.uk/ 0- 9524156 - 2- 3 2004
- [MMA] Matlab Model Advisor (product information) The Mathworks Inc. http://www.mathworks.com/products/…
- [POL] Polyspace Verifier (product information) Polyspace Technologies www.polyspace.com 2006
- [QAC] QA-C (product information) QA Systems www.qa-systems.de 2006
- [REA] Reactis (product information) Reactive Systems http://www.reactive-systems.com 2006
- [SCW05] Stürmer, I. Conrad, M. Weinberg, D. Overview of Existing Safeguarding Techniques for Automatically Generated Code Proc. of 2 nd Intl. ICSE Workshop on Software Engineering for Automotive Systems (SEAS’05) 2005
- [SC+06] Stürmer, I. Conrad, M. Fey, I. Dörr, H. Experiences with Model and Autocode Reviews in Model-based Software Development Proc. of 3 rd Intl. ICSE Workshop on Software Engineering for Automotive Systems (SEAS’06) 45 51 2006
- [Stü06] Stürmer, I. Systematic Testing of Code Generation Tools - A Test Suite-oriented Approach for Safeguarding Model-based Code Generation Pro BUSINESS Berlin 2006
- [TMW01] Mathworks Automotive Advisory Board (MAAB) MAAB Controller Style Guidelines for Production Intent, Release V1.00 The Mathworks, Inc. Natick, MA April 2001 http://www.mathworks.com/products/controldesign/maab.shtml
- [TMW06] The MathWorks http://www.mathworks.com 2006
- [TN06] ToolNet (product information) www.extessy.com 2006
- [WSB01] Wegener, J. Stahmer H. Baresel, A. Evolutionary Test Environment for Automatic Structural Testing Special Issue of Information and Software Technology 43 851 854 2001