CS Store Search
Displaying 1-3 out of 3 total
Specification Inference Using Systematic Reverse-Engineering Methodologies: An Automotive Industry Application
By Muzammil Shahbaz,K.C. Shashidhar,Robert Eschbach
Issue Date:November 2012
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
High-Level Design, Validation, and Test Workshop, IEEE International
By K.C. Shashidhar, M. Bruynooghe, F. Catthoor, G. Janssens
Issue Date:November 2003
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
Real-Time and Embedded Technology and Applications Symposium, IEEE
By Prahladavaradan Sampath, A.C. Rajeev, S. Ramesh, K.C. Shashidhar
Issue Date:April 2007
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...
Original Search Engine
Need a Web Account?
Become a Member
This site and all contents (unless otherwise noted) are Copyright ©2008, IEEE, Inc. All rights reserved.