Platform-dependent code generation for embedded real-time software

Authors:
BaekGyu Kim;Linh T. X. Phan;Oleg Sokolsky;Insup Lee
Affiliations:
University of Pennsylvania;University of Pennsylvania;University of Pennsylvania;University of Pennsylvania
Venue:
Proceedings of the 2013 International Conference on Compilers, Architectures and Synthesis for Embedded Systems
Year:
2013

Citing 6
Cited 0

Automatic generation of hardware dependent software for MPSoCs from abstract system specifications

Proceedings of the 2008 Asia and South Pacific Design Automation Conference
Code Generation from AADL to a Real-Time Operating System: An Experimentation Feedback on the Use of Model Transformation

ICECCS '08 Proceedings of the 13th IEEE International Conference on on Engineering of Complex Computer Systems
A Model-Based Framework for Statically and Dynamically Checking Component Interactions

MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Ocarina: An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications

Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Safety-assured development of the GPCA infusion pump software

EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Model-Driven architecture for hard real-time systems: from platform independent models to code

ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

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