Modelify: Semi-Automatic Conversion of Control Systems C Code to Simulink Models

[1]  Priti Ranadive,et al.  Automatic C to Simulink Model Converter (C2M) Tool , 2015 .

[2]  Siva Nadarajah,et al.  Caterpillar Automatic Code Generation , 2004 .

[3]  Eric Dillaber,et al.  Pragmatic Strategies for Adopting Model-Based Design for Embedded Applications , 2010 .

[4]  Suraj C. Kothari,et al.  Knowledge-centric and language independent framework for safety analysis tools , 2004, Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings..

[5]  Indranil Saha,et al.  An approach to reverse engineering of C programs to simulink models with conformance testing , 2009, ISEC '09.

[6]  Gopal Raghav,et al.  Key considerations in the translation of legacy embedded control software to Model Based Executable Specifications , 2006, 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control.

[7]  Suresh Kothari,et al.  Atlas: a new way to explore software, build analysis tools , 2014, ICSE Companion.