Skip to main content
Article
Platform-Dependent Code Generation for Embedded Real-Time Software
International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES 2013)
  • BaekGyu Kim, University of Pennsylvania
  • Linh T.X. Phan, University of Pennsylvania
  • Oleg Sokolsky, University of Pennsylvania
  • Insup Lee, University of Pennsylvania
Date of this Version
9-29-2013
Document Type
Conference Paper
Comments

International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES 2013), Montreal, Canada, September 29 - October 4, 2013.

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.
DOI
10.1109/CASES.2013.6662512
Copyright/Permission Statement
© 2013 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
Keywords
  • Code generation,
  • Embedded software,
  • AADL,
  • Model-based development
Citation Information
BaekGyu Kim, Linh T.X. Phan, Oleg Sokolsky and Insup Lee. "Platform-Dependent Code Generation for Embedded Real-Time Software" International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES 2013) (2013) p. 8.1 - 8.10
Available at: http://works.bepress.com/sokolsky/70/