Issue No.06 - Nov.-Dec. (2012 vol.29)
pp: 62-69
Muzammil Shahbaz , University of Sheffield
K.C. Shashidhar , Max Planck Institute for Software Systems
Robert Eschbach , ITK Engineering AG
Lack of precise specification is a well-known problem in the software industry. This article covers some peculiar aspects of the problem and its causes in the automotive software industry. The authors describe how the situation motivates engineers to grasp reverse-engineering methodologies to comprehend third-party components. They eveloped a novel approach for reverse-engineering components, which they applied to a recent project on testing embedded systems of a modern vehicle.
Software engineering, Automotive engineering, Embedded systems, Reverse engineering, System analysis and design, Modeling, system specification, software reverse engineering, system analysis, model inference, system integration
Muzammil Shahbaz, K.C. Shashidhar, Robert Eschbach, "Specification Inference Using Systematic Reverse-Engineering Methodologies: An Automotive Industry Application", IEEE Software, vol.29, no. 6, pp. 62-69, Nov.-Dec. 2012, doi:10.1109/MS.2011.159
1. J. Mössinger, "Software in Automotive Systems," IEEE Software, vol. 27, no. 2, 2010, pp. 92–94.
2. N. Navet and F. Simonot-Lion, Automotive Embedded Systems Handbook, CRC Press, 2008.
3. M. Broy et al., "Engineering Automotive Software," Proc. IEEE, vol. 95, no. 2, 2007, pp. 356–373.
4. K. Butts et al., "Usage Scenarios for an Automated Model Compiler," Proc. 1st Int'l Workshop on Embedded Software, Springer, 2001, pp. 66–79.
5. F. Bella, K. Hörmann, and B. Vanamali, "From CMMI to SPICE − Experiences on How to Survive a SPICE Assessment Having Already Implemented CMMI," Product-Focused Software Process Improvement, LNCS 5089, Springer, 2008, pp. 133–142.
6. M. Weber and J. Weisbrod, "Requirements Engineering in Automotive Development: Experiences and Challenges," IEEE Software, vol. 20, no. 1, 2003, pp. 16–24.
7. G. Ammons, R. Bodïk, and J. Larus, "Mining Specifications," Proc. 29th ACM Sigplan/Sigact Symp. Principles of Programming Languages (POPL 02), ACM, 2002, pp. 4–16
8. V. Dallmeier et al., "Generating Test Cases for Specification Mining," Proc. 19th Int'l Symp. Software Testing and Analysis (ISSTA 10), ACM, 2010, pp. 85–96.
9. D. Peled, M. Vardi, and M. Yannakakis, "Black Box Checking," Proc. Int'l Conf. Formal Methods for Protocol Eng. and Distributed Systems, Kluwer, 1999, pp. 225–240.
10. A. Groce, D. Peled, and M. Yannakakis, "Adaptive Model Checking," Proc. ACM Sigsoft Int'l Symp. Tools and Algorithms for the Construction and Analysis of Systems, ACM, 2002, pp. 357–370.
11. S.J. Prowell and J.H. Poore, "Foundations of Sequence-Based Software Specification," IEEE Trans. Software Eng., vol. 29, no. 5, 2003, pp. 417-429.