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

Authors:
Indranil Saha Saha;Kuntal Chakraborty;Suman Roy;B. VishnuVardhan Reddy;Venkatappaiah Kurapati;Vishesh Sharma
Affiliations:
University of California, Los Angeles, CA, USA;Honeywell Technology Solutions Pvt. Ltd., Bangalore, India;Infosys Technologies Ltd., Bangalore, India;Indian Statistical Institute, Kolkata, India;Indian Statistical Institute, Kolkata, India;Indian Institute of Technology, New Delhi, India
Venue:
Proceedings of the 2nd India software engineering conference
Year:
2009

Citing 1
Cited 1

Software verification with BLAST

SPIN'03 Proceedings of the 10th international conference on Model checking software

Cross-layer analysis, testing and verification of automotive control software

EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software

Quantified Score

Hi-index	0.00

Visualization

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.