A Workflow for Automatic Code Generation of Safety Mechanisms via Model-Driven Development

2021 ◽  
pp. 420-443
Author(s):  
Lars Huning ◽  
Padma Iyenghar ◽  
Elke Pulvermüller
Keyword(s):  
Code Generation ◽  
Automatic Code Generation ◽  
Model Driven Development ◽  
Model Driven ◽  
Automatic Code

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.

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.

scholarly journals Automatic Code Generation of Safety Mechanisms in Model-Driven Development

Electronics ◽  
2021 ◽  
Vol 10 (24) ◽  
pp. 3150
Author(s):  
Lars Huning ◽  
Elke Pulvermueller
Keyword(s):  
Code Generation ◽  
Unified Modeling Language ◽  
Fire Detection ◽  
Model Transformations ◽  
Critical Systems ◽  
Model Driven Development ◽  
Safety Critical ◽  
Model Driven ◽  
Safety Integrity Level ◽  
Automatic Code

In order to meet regulatory standards in the domain of safety-critical systems, these systems have to include a set of safety mechanisms depending on the Safety Integrity Level (SIL). This article proposes an approach for how such safety mechanisms may be generated automatically via Model-Driven Development (MDD), thereby improving developer productivity and decreasing the number of bugs that occur during manual implementation. The approach provides a structured way to define safety requirements, which may be parsed automatically and are used for the generation of software-implemented safety mechanisms, as well as the initial configuration of hardware-implemented safety mechanisms. The approach for software-implemented safety mechanisms relies on the Unified Modeling Language (UML) for representing these mechanisms in the model and uses model transformations to realize them in an intermediate model, from which code may be generated with simple 1:1 mappings. The approach for hardware-implemented safety mechanisms builds upon a template-based code snippet repository and a graphical user interface for configuration. The approach is applied to the development of a safety-critical fire detection application and the runtime of the model transformations is evaluated, indicating a linear scalability of the transformation steps. Furthermore, we evaluate the runtime and memory overhead of the generated code.

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