Practical Considerations in Automatic Code Generation

2011 ◽  
pp. 346-408
Author(s):  
Paul Dietz ◽  
Aswin van den Berg ◽  
Kevin Marth ◽  
Thomas Weigert ◽  
Frank Weil
Keyword(s):  
Code Generation ◽  
High Performance ◽  
Industrial Applications ◽  
Lessons Learned ◽  
Software Systems ◽  
Automatic Code Generation ◽  
Model Driven ◽  
Develop Software ◽  
Stringent Performance ◽  
Automatic Code

Model-driven engineering proposes to develop software systems by first creating an executable model of the system design and then transforming this model into an implementation. This chapter discusses how to automatically transform such design models into product implementations for industrial-strength systems. It provides insights, practical considerations, and lessons learned when developing code generators for applications that must conform to the constraints imposed by real-world, high-performance systems. This deeper understanding of the relevant issues will enable developers of automatic code generation systems to build transformation tools that can be deployed in industrial applications with stringent performance requirements.

Application of Executable UML Technology for Verification of Armored Vehicle Information System Model

2014 ◽  
Vol 602-605 ◽  
pp. 1324-1328 ◽  
Author(s):  
Fa Lu ◽  
Ke Wei Yang ◽  
Shu Teng Zhang ◽  
Guo Xiong Zhan
Keyword(s):  
Information System ◽  
Code Generation ◽  
System Model ◽  
Automatic Code Generation ◽  
Model Driven Architecture ◽  
Verification Method ◽  
Model Driven ◽  
Armored Vehicle ◽  
Vehicle Information ◽  
Automatic Code

Executable UML is one of development directions of Model Driven Architecture (MDA). Executable UML is committed to the automatic code generation from UML model. The simulation and testing of the model is realized either by compiling the model or by executing the code it generate. For solving the problem that how to confirm the correctness of executable model, this paper researches the mechanism of executable UML model and explore a verification method based on executable UML. Finally, researches how to apply the executable mechanism of Executable UML to the design and verification of Armored Vehicle Information System (AVIS) through an imaginary combat mission scenario.

MADES FP7 EU Project

2014 ◽  
pp. 181-208
Author(s):  
Alessandra Bagnato ◽  
Imran Quadri ◽  
Etienne Brosse ◽  
Andrey Sadovykh ◽  
Leandro Soares Indrusiak ◽  
...  
Keyword(s):  
Code Generation ◽  
Model Verification ◽  
Automatic Code Generation ◽  
Model Driven ◽  
Hand Model ◽  
Model Verification And Validation ◽  
Automatic Code ◽  
Eu Project ◽  
High Level

This chapter presents the EU-funded MADES FP7 project that aims to develop an effective model-driven methodology to improve the current practices in the development of real-time embedded systems for avionics and surveillance industries. MADES developed an effective SysML/MARTE language subset, and a set of new tools and technologies that support high-level design specifications, validation, simulation, and automatic code generation, while integrating aspects such as component re-use. This chapter illustrates the MADES methodology by means of a car collision avoidance system case study; it presents the underlying MADES language, the design phases, and the set of tools supporting on one hand model verification and validation and, on the other hand, automatic code generation, which enables the implementation on execution platforms such as state-of-the-art FPGAs.

Rapid Control Prototyping Design of DSP-Based Motion Controller

2011 ◽  
Vol 383-390 ◽  
pp. 308-314
Author(s):  
Lin Li ◽  
Zhi Ming Peng ◽  
Bi Cong Zhang ◽  
Zhang Tie
Keyword(s):  
Code Generation ◽  
Automatic Code Generation ◽  
Motion Controller ◽  
Application System ◽  
Pid Algorithm ◽  
Development Platform ◽  
Development Cycle ◽  
Rapid Control ◽  
Rapid Control Prototyping ◽  
Automatic Code

This paper presents a Rapid Control Prototyping (RCP) development platform based on Matlab/Simulink, Real-Time Workshop and Embedded Target for C2000 and DSP development board. It also designs TMS320F2812 DSP-based motion controller under the proposed RCP. The controller using saturated integral PID algorithm produces PWM signal to control DC motor. Experimental results show that the designed controller can control motor accurately. Engineers can complete all design tasks such as modeling, automatic code generation, and download, running and parameters adjustment on this RCP platform when developing DSP application system. Thus the proposed RCP can shorten the DSP development cycle and improve the portability and modularity of program.

Sign in / Sign up

Export Citation Format

Share Document