MADES FP7 EU Project

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.

Download Full-text

Automatic code generation from high-level Petri-Nets for model driven systems engineering

Journal of Systems and Software ◽

10.1016/j.jss.2005.12.022 ◽

2006 ◽

Vol 79 (10) ◽

pp. 1444-1455 ◽

Cited By ~ 24

Author(s):

Stephan Philippi

Keyword(s):

Petri Nets ◽

Systems Engineering ◽

Code Generation ◽

Automatic Code Generation ◽

Driven Systems ◽

Model Driven ◽

Automatic Code ◽

High Level

Download Full-text

A novel approach with an extensive case study and experiment for automatic code generation from the XMI schema Of UML models

The Journal of Supercomputing ◽

10.1007/s11227-021-04164-x ◽

2022 ◽

Author(s):

Anand Deva Durai ◽

Mythily Ganesh ◽

Rincy Merlin Mathew ◽

Dinesh Kumar Anguraj

Keyword(s):

Code Generation ◽

Automatic Code Generation ◽

Novel Approach ◽

Automatic Code ◽

Uml Models

Download Full-text

Automatic Code Generation and Platform Based Design Methodology: An Engine Management System Design Case Study

10.4271/2005-01-1360 ◽

2005 ◽

Cited By ~ 5

Author(s):

Alberto Ferrari ◽

Giovanni Gaviani ◽

Giacomo Gentile ◽

Monti Stefano ◽

Luigi Romagnoli ◽

...

Keyword(s):

System Design ◽

Code Generation ◽

Management System ◽

Design Methodology ◽

Engine Management System ◽

Automatic Code Generation ◽

Design Case ◽

Design Case Study ◽

Automatic Code

Download Full-text

Design and Implementation of Automatic Code Generation Method Based on Model Driven

Journal of Physics Conference Series ◽

10.1088/1742-6596/1634/1/012019 ◽

2020 ◽

Vol 1634 ◽

pp. 012019

Author(s):

Hailang Chen

Keyword(s):

Code Generation ◽

Automatic Code Generation ◽

Model Driven ◽

Design And Implementation ◽

Automatic Code

Download Full-text

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

Applied Mechanics and Materials ◽

10.4028/www.scientific.net/amm.602-605.1324 ◽

2014 ◽

Vol 602-605 ◽

pp. 1324-1328 ◽

Cited By ~ 1

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.

Download Full-text

Model Driven Automatic Code Generation: An Evolutionary Approach to Disruptive Innovation Benefits

Advances in Intelligent Systems and Computing - Trends and Applications in Software Engineering ◽

10.1007/978-3-030-33547-2_18 ◽

2019 ◽

pp. 234-249

Author(s):

Joao Penha-Lopes ◽

Manuel Au-Yong-Oliveira ◽

Ramiro Gonçalves

Keyword(s):

Code Generation ◽

Disruptive Innovation ◽

Evolutionary Approach ◽

Automatic Code Generation ◽

Model Driven ◽

Automatic Code

Download Full-text

A Case Study for Automatic Code Generation on a Coupled Ocean— Atmosphere Model

Lecture Notes in Computer Science - Computational Science — ICCS 2002 ◽

10.1007/3-540-46043-8_42 ◽

2002 ◽

pp. 419-428

Author(s):

P. van der Mark ◽

R. van Engelen ◽

K. Gallivan ◽

W. Dewar

Keyword(s):

Code Generation ◽

Automatic Code Generation ◽

Ocean Atmosphere ◽

Atmosphere Model ◽

Automatic Code

Download Full-text

Practical Considerations in Automatic Code Generation

Advances in Machine Learning Applications in Software Engineering ◽

10.4018/978-1-59140-941-1.ch014 ◽

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.

Download Full-text