Platform-dependent code generation for embedded real-time software

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

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:2013 International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES) s. 1 - 10
Hlavní autoři: BaekGyu Kim, Phan, Linh T. X., Sokolsky, Oleg, Insup Lee
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: IEEE 01.09.2013
Témata:
AADL
based development
Code generation
Embedded software
Hardware
Instruction sets
Message systems
Ports (Computers)
Programming
Semantics
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
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.
AbstractList 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.
Author Sokolsky, Oleg
BaekGyu Kim
Phan, Linh T. X.
Insup Lee
Author_xml – sequence: 1
  surname: BaekGyu Kim
  fullname: BaekGyu Kim
  email: baekgyu@cis.upenn.edu
  organization: Univ. of Pennsylvania, Philadelphia, PA, USA
– sequence: 2
  givenname: Linh T. X.
  surname: Phan
  fullname: Phan, Linh T. X.
  email: linhphan@cis.upenn.edu
  organization: Univ. of Pennsylvania, Philadelphia, PA, USA
– sequence: 3
  givenname: Oleg
  surname: Sokolsky
  fullname: Sokolsky, Oleg
  email: sokolsk@cis.upenn.edu
  organization: Univ. of Pennsylvania, Philadelphia, PA, USA
– sequence: 4
  surname: Insup Lee
  fullname: Insup Lee
  email: lee@cis.upenn.edu
  organization: Univ. of Pennsylvania, Philadelphia, PA, USA
BookMark eNotj81KxDAURiMoqGNfQDd5gdabtPm5y7GMozCgMLMf0uZGKm06pAHx7R1wFh9nceDAd8-u4xyJsUcBlRCAz-16v9lXEkRdaa2lEvKKFWisaAyiaADULSuW5RsAhDANSrxjL5-jy2FOU-npRNFTzLyfPfEvipRcHubIz5rT1JH35HkiN5Z5mIgvc8g_LtEDuwluXKi4cMUOr5tD-1buPrbv7XpXDgi5DNJJUZtwnjIgpZXkwICwRmnyGEwfnMbGdrbToocaEVXQlhpQfcCur1fs6T87ENHxlIbJpd_j5Wj9B_uwSmw
ContentType Conference Proceeding
DBID 6IE
6IL
CBEJK
RIE
RIL
DOI 10.1109/CASES.2013.6662512
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Xplore POP ALL
IEEE Xplore All Conference Proceedings
IEEE Electronic Library (IEL)
IEEE Proceedings Order Plans (POP All) 1998-Present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library (IEL)
  url: https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
EISBN 9781479914005
1479914002
EndPage 10
ExternalDocumentID 6662512
Genre orig-research
GroupedDBID 6IE
6IL
ACM
ALMA_UNASSIGNED_HOLDINGS
APO
CBEJK
GUFHI
LHSKQ
RIE
RIL
ID FETCH-LOGICAL-i90t-f2a2137f1375702282ea07018756ed9f7cfa6948b8b61c039995f68e405cf9bc3
IEDL.DBID RIE
IngestDate Wed Aug 27 05:13:34 EDT 2025
IsPeerReviewed false
IsScholarly false
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-i90t-f2a2137f1375702282ea07018756ed9f7cfa6948b8b61c039995f68e405cf9bc3
PageCount 10
ParticipantIDs ieee_primary_6662512
PublicationCentury 2000
PublicationDate 2013-Sept.
PublicationDateYYYYMMDD 2013-09-01
PublicationDate_xml – month: 09
  year: 2013
  text: 2013-Sept.
PublicationDecade 2010
PublicationTitle 2013 International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES)
PublicationTitleAbbrev CASES
PublicationYear 2013
Publisher IEEE
Publisher_xml – name: IEEE
SSID ssj0001174929
Score 1.6039187
Snippet 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...
SourceID ieee
SourceType Publisher
StartPage 1
SubjectTerms AADL
based development
Code generation
Embedded software
Hardware
Instruction sets
Message systems
Ports (Computers)
Programming
Semantics
Title Platform-dependent code generation for embedded real-time software
URI https://ieeexplore.ieee.org/document/6662512
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1NTwIxEG2AePCkBozf6cGjhf3o51GJxIMhHDhwI213akgQDCz6950WkJh48bDJZjebpm123ms7bx4h9zy4UnCvGTdRkpP5nCGuRxWIDZVwCjSkOrOvajjUk4kZNcjDjxYGAFLyGXTjbTrLr5Z-E7fKeki1Ixw3SVMpudVqHfZTkFoj1O91MZnp9R8xIsXkrbK7-_CXg0oCkMHJ_5o-JZ2DEo-OfjDmjDRg0SZPo7mtI9lkewvbmkZpOn1LNaTjUFN8TeHdAcaViiIxnLPoIk_XGHW_7Ao6ZDx4Hvdf2M4Lgc1MVrNQ2CIvVcBLqFiypgCLP2uOqw0JlQnKBysN1047mfsMWYcRQWpAOuaDcb48J63FcgEXhIrMgQpZpYQAjnRDS--1tBj4ssCF45ekHbs__dhWu5juen719-Nrclwkg4iYdXVDWvVqA7fkyH_Ws_XqLk3RN0lRkbE
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1NTwIxEJ0gmuhJDRi_7cGjhf3qbntUIsGIhAMHbmTbnRoSBAOL_n2ndYWYePGwyWY3m6Ztdt5rO28ewG1idSwSI3minCQnMCEnXHcqkNwWQmco0deZ7WeDgRyP1bAGdxstDCL65DNsuVt_ll8szNptlbWJajs43oFd55xVqbW2OypErgnsf5QxgWp37ikmufStuFV9-stDxUNI9_B_jR9Bc6vFY8MNyhxDDecNeBjO8tLRTf5jYlsyJ05nr76KtBtsRq8ZvmmkyFIwooYz7nzk2Yri7me-xCaMuo-jTo9Xbgh8qoKS2yiPwjizdInMFa2JMKffNaT1RoqFspmxeaoSqaVOQxMQ71DCphKJkBmrtIlPoD5fzPEUmAg0ZjYoMiEwIcIhU2NkmlPoC2widHIGDdf9yft3vYtJ1fPzvx_fwH5v9NKf9J8GzxdwEHm7CJeDdQn1crnGK9gzH-V0tbz20_UFEx-U-g
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=2013+International+Conference+on+Compilers%2C+Architecture+and+Synthesis+for+Embedded+Systems+%28CASES%29&rft.atitle=Platform-dependent+code+generation+for+embedded+real-time+software&rft.au=BaekGyu+Kim&rft.au=Phan%2C+Linh+T.+X.&rft.au=Sokolsky%2C+Oleg&rft.au=Insup+Lee&rft.date=2013-09-01&rft.pub=IEEE&rft.spage=1&rft.epage=10&rft_id=info:doi/10.1109%2FCASES.2013.6662512&rft.externalDocID=6662512