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.
- J. Degener. ANSI C Grammar, Lex Specification. 1995. Available at http://www.lysator.liu.se/c/ANSI-C-grammar-l.html.Google Scholar
- J. Degener. ANSI C Yacc Grammar. 1995. Available at http://www.lysator.liu.se/c/ANSI-C-grammar-y.html.Google Scholar
- M. Gorman. CodeViz: A CallGraph Visualiser. http://http://www.csn.ul.ie/ mel/projects/codeviz/.Google Scholar
- 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. Google ScholarDigital Library
- S. Lehman. Controller Style Guidelines for Production Intent Development Using MATLAB, Simulink, and Stateflow. 2001.Google Scholar
- V. Zsombori. Transformation of C Code to Matlab/Simulink Models. 2005. http://www.doc.gold.ac.uk/~mas01vz/dc_shanghai/project_transformation/summary.pdf.Google Scholar
Index Terms
- An approach to reverse engineering of C programs to simulink models with conformance testing
Recommendations
A Simulink Implementation of the Cerebellum Model Articulation Controller
ACT '10: Proceedings of the 2010 Second International Conference on Advances in Computing, Control, and Telecommunication TechnologiesThis paper presents a Simulink implementation of the CMAC controller which was proposed by J.S. Albus. The controller was implemented using the MatlAB S-function so that it can be used by a control engineer working on the Simulink platform to study the ...
Conformance testing of ARINC 653 compliance for a safety critical RTOS using UPPAAL model checker
SAC '21: Proceedings of the 36th Annual ACM Symposium on Applied ComputingModern avionics systems have several safety critical control software that need to be accurate and provide deterministic response in real-time. Accuracy of such responses is determined by the real-time operating system (RTOS) on which the software ...
Software engineering practices and Simulink: bridging the gap
Although widely used in embedded systems design, Matlab/Simulink is not considered a state-of-the-art design environment by the software engineering community. This paper is aimed at improving design with Simulink from the software engineering ...
Comments