Search For:

Displaying 1-3 out of 3 total
Specification Inference Using Systematic Reverse-Engineering Methodologies: An Automotive Industry Application
Found in: IEEE Software
By Muzammil Shahbaz,K.C. Shashidhar,Robert Eschbach
Issue Date:November 2012
pp. 62-69
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...
Automatic functional verification of memory oriented global source code transformations
Found in: High-Level Design, Validation, and Test Workshop, IEEE International
By K.C. Shashidhar, M. Bruynooghe, F. Catthoor, G. Janssens
Issue Date:November 2003
pp. 31-36
In this paper, we present a fully automatic technique to verify an important class of optimizing program transformations applied to reduce accesses to the data memory. These are prevalent while developing software for power and performance-efficient embedd...
Testing Model-Processing Tools for Embedded Systems
Found in: Real-Time and Embedded Technology and Applications Symposium, IEEE
By Prahladavaradan Sampath, A.C. Rajeev, S. Ramesh, K.C. Shashidhar
Issue Date:April 2007
pp. 203-214
Model-based development is increasingly becoming the method of choice for developing embedded systems for applications in automotive and aerospace industries. It relies on tool-suites consisting of a variety of model-processing tools like simulators, model...