Abstract
Modern vehicular systems include Electronic Control Units (ECUs) equipped with software that implements vehicle functions. The composition and validation of ECUs is a complex task since they include propriety software in which functional details are often unspecified. These details also vary from one supplier to another which has a greater impact on the behavior of the entire composed system. This paper presents the application of model inference approach for automatic discovery of unspecified behaviors in an electronic door control unit supplied by our industrial partner. The final results can be used to address the problem of selecting quality components, validation and maintenance of component variants and their integration in embedded control systems.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Cui, W.: Discoverer: Automatic protocol reverse engineering from network traces. In: Proceedings of the 16th USENIX Security Symposium (2007)
dSPACE, http://www.dspaceinc.com
Houdek, F., Paech, B.: Das türsteuergerät. eine beispielspezifikation. Technical Report 002.02/D, Fraunhofer IESE (2002)
Kearns, M.J., Vazirani, U.V.: An introduction to computational learning theory. MIT Press, Cambridge (1994)
Lehman, E., Shelat, A.: Approximation algorithms for grammar-based compression. In: Proceedings of the 13th annual ACM-SIAM symposium on Discrete algorithms, pp. 205–212 (2002)
MBtech: Provetech:ta, http://www.mbtech-group.com
Möller, A., Fröberg, J., Nolin, M.: Industrial requirements on component technologies for embedded systems. In: Crnković, I., Stafford, J.A., Schmidt, H.W., Wallnau, K. (eds.) CBSE 2004. LNCS, vol. 3054, pp. 146–161. Springer, Heidelberg (2004)
Peled, D., Vardi, M.Y., Yannakakis, M.: Black box checking. Journal of Automata, Languages and Combinatorics 7(2), 225–246 (2002)
Prowell, S.J., Poore, J.H.: Foundations of sequence-based software specification. IEEE Trans. Softw. Eng. 29(5), 417–429 (2003)
Schach, S.R.: Classical and Object-Oriented Software Engineering. McGraw-Hill Professional, New York (1995)
Shahbaz, M.: Reverse Engineering Enhanced State Models of Black Box Components to support Integration Testing. PhD thesis, Grenoble Institute of Technology (2008)
Shahbaz, M., Groz, R.: Inferring mealy machines. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol. 5850, pp. 207–222. Springer, Heidelberg (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Shahbaz, M., Eschbach, R. (2010). Automatic Discovery of Unspecified Behaviors in Automotive Control Software. In: Bottaci, L., Fraser, G. (eds) Testing – Practice and Research Techniques. TAIC PART 2010. Lecture Notes in Computer Science, vol 6303. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15585-7_18
Download citation
DOI: https://doi.org/10.1007/978-3-642-15585-7_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15584-0
Online ISBN: 978-3-642-15585-7
eBook Packages: Computer ScienceComputer Science (R0)