%0 Conference Paper %1 Saha:2009:ARE:1506216.1506246 %A Saha, Indranil Saha %A Chakraborty, Kuntal %A Roy, Suman %A Reddy, B. VishnuVardhan %A Kurapati, Venkatappaiah %A Sharma, Vishesh %B Proceedings of the 2Nd India Software Engineering Conference %C New York, NY, USA %D 2009 %I ACM %K Simulation Simulink code %P 137--138 %R 10.1145/1506216.1506246 %T An Approach to Reverse Engineering of C Programs to Simulink Models with Conformance Testing %U http://doi.acm.org/10.1145/1506216.1506246 %X 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. %@ 978-1-60558-426-3

@inproceedings{Saha:2009:ARE:1506216.1506246, 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.}, acmid = {1506246}, added-at = {2016-03-08T12:12:13.000+0100}, address = {New York, NY, USA}, author = {Saha, Indranil Saha and Chakraborty, Kuntal and Roy, Suman and Reddy, B. VishnuVardhan and Kurapati, Venkatappaiah and Sharma, Vishesh}, biburl = {https://www.bibsonomy.org/bibtex/2e132c5f08e339a7276df5f6b70fe291e/maanwa}, booktitle = {Proceedings of the 2Nd India Software Engineering Conference}, description = {An approach to reverse engineering of C programs to simulink models with conformance testing}, doi = {10.1145/1506216.1506246}, interhash = {9d8c73d3088f61032b6d51edbfddd322}, intrahash = {e132c5f08e339a7276df5f6b70fe291e}, isbn = {978-1-60558-426-3}, keywords = {Simulation Simulink code}, location = {Pune, India}, numpages = {2}, pages = {137--138}, publisher = {ACM}, series = {ISEC '09}, timestamp = {2016-03-08T12:12:13.000+0100}, title = {An Approach to Reverse Engineering of C Programs to Simulink Models with Conformance Testing}, url = {http://doi.acm.org/10.1145/1506216.1506246}, year = 2009 }