An approach to reverse engineering of C programs to simulink models with conformance testing

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

An approach to reverse engineering of C programs to simulink models with conformance testing

Full text

Pdf (185 KB)

Source

India Software Engineering Conference archive
Proceeding of the 2nd annual conference on India software engineering conference table of contents

Pune, India

POSTER SESSION: Poster paper session table of contents

Pages 137-138

Year of Publication: 2009

ISBN:978-1-60558-426-3

Authors

Indranil Saha Saha	University of California, Los Angeles, CA, USA
Kuntal Chakraborty	Honeywell Technology Solutions Pvt. Ltd., Bangalore, India
Suman Roy	Infosys Technologies Ltd., Bangalore, India
B. VishnuVardhan Reddy	Indian Statistical Institute, Kolkata, India
Venkatappaiah Kurapati	Indian Statistical Institute, Kolkata, India
Vishesh Sharma	Indian Institute of Technology, New Delhi, India

Sponsors

ACM: Association for Computing Machinery
SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 17, Downloads (12 Months): 77, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1506216.1506246 What is a DOI?

ABSTRACT

To reuse legacy C code effectively in Model Based Development process, it is highly desirable that the code be converted to Simulink model, a de facto standard in many industrial application domains, such as avionics and automotive control. In this paper we present the design methodology of a tool that translates a C code to equivalent Simulink model with proper correctness assurance.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	J. Degener. ANSI C Grammar, Lex Specification. 1995. Available at http://www.lysator.liu.se/c/ANSI-C-grammar-l.html.
	2	J. Degener. ANSI C Yacc Grammar. 1995. Available at http://www.lysator.liu.se/c/ANSI-C-grammar-y.html.
	3	M. Gorman. CodeViz: A CallGraph Visualiser. http://http://www.csn.ul.ie/ mel/projects/codeviz/.
	4	T. Henzinger, R. Jhala, R. Majumdar, and G. Sutre. Software verification with Blast. In 10th International Workshop on Model Checking of Software (SPIN), volume 2648 (LNCS), pages 235--239. Springer-Verlag, 2003.
	5	S. Lehman. Controller Style Guidelines for Production Intent Development Using MATLAB, Simulink, and Stateflow. 2001.
	6	V. Zsombori. Transformation of C Code to Matlab/Simulink Models. 2005. http://www.doc.gold.ac.uk/~mas01vz/dc_shanghai/project_transformation/summary.pdf.