This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Automatic Verification of Embedded Software of Automotive Electronic Modules based on Program Traces Executions
Technical Paper
2011-36-0367
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
Abstract
The development of embedded systems in automotive environment has brought a strong expansion in the number of applications dependent of programmable devices. A failure in any of these systems may cause different types of damages. Therefore, it requires a high confidence in their operation. Many of these faults are inserted during the coding process. A tool for formal verification of the implemented code could allow the detection of possible errors that could not be encountered during the testing phase. In this paper, we propose a method for verifying software from the reduced model of the software built automatically with information from multiple traces of program executions. To illustrate the application of the proposed method a case study for an automotive electronic module that controls the windshield wiper is presented.
Authors
Citation
de Moura Vasconcelos, G., Dias da Silva, L., and Perkusic, A., "Automatic Verification of Embedded Software of Automotive Electronic Modules based on Program Traces Executions," SAE Technical Paper 2011-36-0367, 2011, https://doi.org/10.4271/2011-36-0367.Also In
References
- VASCONCELOS, G. PERKUSICH, A. ALMEIDA, H. An architecture for the simulation of pervasive applications for automobiles XVI Congresso e Exposição Internacionais de Tecnologia da Mobilidade l 2007
- BERTOLINO, A. Software testing research: Achievements, challenges, dreams FOSE '07: 2007 Future of Software Engineering Washington, DC, USA IEEE Computer Society 2007 85 103 0-7695-2829-5
- GROSS, H.-G. Component-Based Software Testing with UML Berlin, Heidelberg Springer-Verlag 2010 3642058825 9783642058820
- UTTING, M. LEGEARD, B. Practical Model-Based Testing: A Tools Approach San Francisco, CA, USA Morgan Kaufmann Publishers Inc. 2006 0123725011
- PRETSCHNER, A. et al. One evaluation of model-based testing and its automation ICSE '05: Proceedings of the 27th international conference on Software engineering New York, NY, USA ACM 2005 392 401 1-59593-963-2
- LUIZ, S. O. D. VASCONCELOS, G. de M. SILVA, L. D. da Formal specification of dsp gateway for data transmission between processor cores of omap platform Proceedings of the 2008 ACM symposium on Applied computing New York, NY, USA ACM 2008 1545 1549 978-1-59593-753-7
- KANSTRéN ERIC PIEL, H. G. G. T. Trace-based code generation for model-based testing Denver, Colorado, USA Eighth International Conference on Generative Programming and Component Engineering 2009
- CIMATTI, A. et al. Nusmv: A new symbolic model verifier HALBWACHS, N. PELED, D. l Springer 1999 Lecture Notes in Computer Science 495 499
- MCMILLAN, K. L. Symbolic model checking: an approach to the state explosion problem Pittsburgh, PA, USA 1992
- CAVADA ALESSANDRO CIMATTI, C. A. J. R. TCHALTSEV, A. NuSMV 2.4 User Manual l 2005
- SILVA, P. S. da MELO, A. C. V. de Model checking merged program traces Electron. Notes Theor . Comput. Sci. Elsevier Science Publishers B. V. Amsterdam, The Netherlands, The Netherlands 240 97 112 2009 1571-0661