Specification Inference Using Systematic Reverse-Engineering Methodologies: An Automotive Industry Application
Issue No. 06 - Nov.-Dec. (2012 vol. 29)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MS.2011.159
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
K. Shashidhar, R. Eschbach and M. Shahbaz, "Specification Inference Using Systematic Reverse-Engineering Methodologies: An Automotive Industry Application," in IEEE Software, vol. 29, no. , pp. 62-69, 2012.