Code Generation from AADL to a Real-Time Operating System: An Experimentation Feedback on the Use of Model Transformation

Brun, Matthias; Delatour, Jérôme; Trinquet, Yvon

doi:10.1109/iceccs.2008.19

Cited by 13 publications

(4 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This is the case in [23] where a class diagram is provided an design-time input to generate workflow. Other general purpose languages that were used are, for example, the architecture analysis and design language (AADL) [14] and feature diagrams [16]. The schema category comes second with 22% of the papers.…”

Section: Input Typementioning

confidence: 99%

Systematic mapping study of template-based code generation

Syriani

Luhunu

Sahraoui

2018

Computer Languages, Systems & Structures

View full text Add to dashboard Cite

Template-based code generation (TBCG) is a synthesis technique that produces code from high-level specifications, called templates. TBCG is a popular technique in model-driven engineering (MDE) given that they both emphasize abstraction and automation. Given the diversity of tools and approaches, it is necessary to classify existing TBCG techniques to better guide developers in their choices. The goal of this article is to better understand the characteristics of TBCG techniques and associated tools, identify research trends, and assess the importance of the role of MDE in this code synthesis approach. We conducted a systematic mapping study of the literature to paint an interesting picture about the trends and uses of TBCG. Our study shows that the community has been diversely using TBCG over the past 15 years. TBCG has greatly benefited from MDE. It has favored a template style that is output-based and high level modeling languages as input. TBCG is mainly used to generate source code and has been applied in a variety of domains. Furthermore, both MDE and non-MDE tools are becoming effective development resources in industry.

show abstract

Section: Input Typementioning

confidence: 99%

Systematic mapping study of template-based code generation

Syriani

Luhunu

Sahraoui

2018

Computer Languages, Systems & Structures

View full text Add to dashboard Cite

show abstract

“…In contrast, our approach parameterizes the code generation with the platform description to provide flexibility in choosing different target platforms. [6] raises an open question about the need of flexibility in code generation through an experimentation that generate C code (compliant with OSEK/VDX) and OIL configuration code from the AADL model. Our work can be one approach to achieve such flexibility in the code generation process.…”

Section: Related Workmentioning

confidence: 99%

Platform-dependent code generation for embedded real-time software

Kim

Phan

Sokolsky

et al. 2013

2013 International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES)

View full text Add to dashboard Cite

Code generation for embedded systems is challenging, since the generated code (e.g., C code) is expected to run on a heterogeneous set of target platforms with different characteristics, such as hardware/software architectures and programming interfaces. We propose a code generation framework that provides the flexibility to generate different source code that is executable on each target platform. In our framework, the platform-dependent characteristics of a target platform are explicitly specified by an Architectural Analysis Description Language (AADL) model and a code snippet repository. The AADL model captures hardware/ software architectural aspects of the platform, such as periodic/aperiodic threads and their interactions with sensors and actuators. The code snippet repository contains platform-dependent code snippets that are categorized according to the functions required to implement the components of the AADL model. These two elements of the platform capability are then used by the code generation algorithm to generate platformdependent code for the given platform. We demonstrate the applicability of our framework using a case study of code generation for two infusion pump systems. ABSTRACTCode generation for embedded systems is challenging, since the generated code (e.g., C code) is expected to run on a heterogeneous set of target platforms with different characteristics, such as hardware/software architectures and programming interfaces. We propose a code generation framework that provides the flexibility to generate different source code that is executable on each target platform. In our framework, the platform-dependent characteristics of a target platform are explicitly specified by an Architectural Analysis Description Language (AADL) model and a code snippet repository. The AADL model captures hardware/software architectural aspects of the platform, such as periodic/aperiodic threads and their interactions with sensors and actuators. The code snippet repository contains platform-dependent code snippets that are categorized according to the functions required to implement the components of the AADL model. These two elements of the platform capability are then used by the code generation algorithm to generate platform-dependent code for the given platform. We demonstrate the applicability of our framework using a case study of code generation for two infusion pump systems.

show abstract

“…It considers only monoprocessor architectures, while nowadays SDR platforms are multiprocessor based, either homogeneous or heterogeneous. The papers [15], [16] propose MDD/MARTE methodologies for general embedded applications. A too general modelling language leads to complex models which are difficult to maintain, and therefore get abandoned.…”

Section: Prior Artmentioning

confidence: 99%

DiplodocusDF, a Domain-Specific Modelling Language for Software Defined Radio Applications

Gonzalez-Pina

Ameur-Boulifa

Pacalet

2012

2012 38th Euromicro Conference on Software Engineering and Advanced Applications

View full text Add to dashboard Cite

Given its intrinsic complexity, it is not efficient to develop software defined radio (SDR) systems following traditional methodologies. A new methodology is necessary, which should allow the description of the applications at higher abstraction levels. This paper describes such a methodology. It includes domainspecific modelling languages (DSML) for SDR applications / SDR architectures, and the mechanisms to generate automatically the deployment code. The DSML language is described with precise syntax and semantics to support simulation, synthesis, and formal analysis. The potential of the modelling language is illustrated by designing a cognitive radio application called Welch periodogram detector.• Data transformation operations ∀O t ∈ O t , O t = A f , A x , P, V, req consisting of:

show abstract

Code Generation from AADL to a Real-Time Operating System: An Experimentation Feedback on the Use of Model Transformation

Cited by 13 publications

References 3 publications

Systematic mapping study of template-based code generation

Systematic mapping study of template-based code generation

Platform-dependent code generation for embedded real-time software

DiplodocusDF, a Domain-Specific Modelling Language for Software Defined Radio Applications

Contact Info

Product

Resources

About