poster

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 SharmaAuthors Info & Claims

ISEC '09: Proceedings of the 2nd India software engineering conference

Pages 137 - 138

https://doi.org/10.1145/1506216.1506246

Published: 23 February 2009 Publication History

Get Access

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

[1]

J. Degener. ANSI C Grammar, Lex Specification. 1995. Available at http://www.lysator.liu.se/c/ANSI-C-grammar-l.html.

Google Scholar

[2]

J. Degener. ANSI C Yacc Grammar. 1995. Available at http://www.lysator.liu.se/c/ANSI-C-grammar-y.html.

Google Scholar

[3]

M. Gorman. CodeViz: A CallGraph Visualiser. http://http://www.csn.ul.ie/ mel/projects/codeviz/.

Google Scholar

[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.

Digital Library

Google Scholar

[5]

S. Lehman. Controller Style Guidelines for Production Intent Development Using MATLAB, Simulink, and Stateflow. 2001.

Google Scholar

[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.

Google Scholar

Cited By

View all

Vaidya VS RKareti VK.P. SRanadive P(2017)Transfer Function Generation for Model Abstraction Using Static AnalysisSAE Technical Paper Series10.4271/2017-01-0010Online publication date: 28-Mar-2017
https://doi.org/10.4271/2017-01-0010
Woestman ESauceda J(2016)Modelify: Semi-Automatic Conversion of Control Systems C Code to Simulink ModelsSAE Technical Paper Series10.4271/2016-01-0020Online publication date: 5-Apr-2016
https://doi.org/10.4271/2016-01-0020
Kizhakkae Palakkal SRanadive PBoggarapu NRao RKalyanasundaram P(2015)Automatic C to Simulink Model Converter (C2M) ToolSAE International Journal of Passenger Cars - Electronic and Electrical Systems10.4271/2015-01-01648:2(255-263)Online publication date: 14-Apr-2015
https://doi.org/10.4271/2015-01-0164
Show More Cited By

Index Terms

An approach to reverse engineering of C programs to simulink models with conformance testing
1. Software and its engineering
  1. Software creation and management

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 Technologies

This 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 Computing

Modern 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

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ISEC '09: Proceedings of the 2nd India software engineering conference

February 2009

154 pages

ISBN:9781605584263

DOI:10.1145/1506216

General Chair:
Kiran Deshpande
Airtight Networks, Pune
,
Program Chairs:
Pankaj Jalote
Indian Institute of Technology Delhi
,
Sriram Rajamani
Microsoft Research India

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 23 February 2009

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Poster

Conference

ISEC '09

Sponsor:

ISEC '09: India Software Engineering Conference

February 23 - 26, 2009

Pune, India

Acceptance Rates

Overall Acceptance Rate 76 of 315 submissions, 24%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
357
Total Downloads

Downloads (Last 12 months)7
Downloads (Last 6 weeks)0

Reflects downloads up to 01 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Vaidya VS RKareti VK.P. SRanadive P(2017)Transfer Function Generation for Model Abstraction Using Static AnalysisSAE Technical Paper Series10.4271/2017-01-0010Online publication date: 28-Mar-2017
https://doi.org/10.4271/2017-01-0010
Woestman ESauceda J(2016)Modelify: Semi-Automatic Conversion of Control Systems C Code to Simulink ModelsSAE Technical Paper Series10.4271/2016-01-0020Online publication date: 5-Apr-2016
https://doi.org/10.4271/2016-01-0020
Kizhakkae Palakkal SRanadive PBoggarapu NRao RKalyanasundaram P(2015)Automatic C to Simulink Model Converter (C2M) ToolSAE International Journal of Passenger Cars - Electronic and Electrical Systems10.4271/2015-01-01648:2(255-263)Online publication date: 14-Apr-2015
https://doi.org/10.4271/2015-01-0164
Resmerita SDerler PPree WButts KPopovici KMosterman P(2012)Validator Tool SuiteReal-Time Simulation Technologies10.1201/b12667-11(199-218)Online publication date: 27-Jul-2012
https://doi.org/10.1201/b12667-11
Broy MChakraborty SGoswami DRamesh SSatpathy MResmerita SPree WChakraborty SJerraya ABaruah SFischmeister S(2011)Cross-layer analysis, testing and verification of automotive control softwareProceedings of the ninth ACM international conference on Embedded software10.1145/2038642.2038683(263-272)Online publication date: 9-Oct-2011
https://dl.acm.org/doi/10.1145/2038642.2038683

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

A Simulink Implementation of the Cerebellum Model Articulation Controller

Conformance testing of ARINC 653 compliance for a safety critical RTOS using UPPAAL model checker

Software engineering practices and Simulink: bridging the gap