A Code Generation Framework for Time-Triggered Real-Time Systems

J. Pletzer, J. Templ, W. Pree
{"title":"A Code Generation Framework for Time-Triggered Real-Time Systems","authors":"J. Pletzer, J. Templ, W. Pree","doi":"10.1109/ICESS.2009.46","DOIUrl":null,"url":null,"abstract":"We propose ttCodeGen, a flexible code generation framework for potentially distributed, time-triggered real-time systems. It is designed for developing systems based on the Logical Execution Time (LET) programming paradigm which enables the platform independent description of the timing behavior of such systems. The ttCodeGen framework covers both code generation on node level as well as the generation of a communication schedule for the bus connecting the nodes. For that purpose task and communication schedules must be generated. Those schedules influence each other and consequently our framework deals with their interdependence. The framework is extensible by the use of plug-ins, which are used to support specific node platforms and communication protocols and therefore guarantee a clear separation of platform independent from platform dependent concerns. We present the plug-in interfaces and describe sample plug-ins we developed for the FlexRay communication bus using two hardware platforms with FlexRay controllers.","PeriodicalId":335217,"journal":{"name":"2009 International Conference on Embedded Software and Systems","volume":"142 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2009-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2009 International Conference on Embedded Software and Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICESS.2009.46","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0

Abstract

We propose ttCodeGen, a flexible code generation framework for potentially distributed, time-triggered real-time systems. It is designed for developing systems based on the Logical Execution Time (LET) programming paradigm which enables the platform independent description of the timing behavior of such systems. The ttCodeGen framework covers both code generation on node level as well as the generation of a communication schedule for the bus connecting the nodes. For that purpose task and communication schedules must be generated. Those schedules influence each other and consequently our framework deals with their interdependence. The framework is extensible by the use of plug-ins, which are used to support specific node platforms and communication protocols and therefore guarantee a clear separation of platform independent from platform dependent concerns. We present the plug-in interfaces and describe sample plug-ins we developed for the FlexRay communication bus using two hardware platforms with FlexRay controllers.
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
时间触发实时系统的代码生成框架
我们提出ttCodeGen,一个灵活的代码生成框架,用于潜在的分布式,时间触发的实时系统。它是为开发基于逻辑执行时间(LET)编程范式的系统而设计的,该范式允许对此类系统的时序行为进行平台独立的描述。ttCodeGen框架既包括节点级的代码生成,也包括连接节点的总线的通信调度的生成。为此,必须生成任务和通信时间表。这些时间表相互影响,因此我们的框架处理它们的相互依赖性。该框架可以通过使用插件进行扩展,插件用于支持特定的节点平台和通信协议,从而保证了平台独立与平台依赖关系的清晰分离。我们展示了插件接口,并描述了我们使用FlexRay控制器的两个硬件平台为FlexRay通信总线开发的示例插件。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
On Modeling and Verifying of Application Protocols of TTCAN in Flight-Control System with UPPAAL A Mixed Timing System-Level Embedded Software Modelling and Simulation Approach Abstract Simulation: A Static Analysis of Simulink Models Privacy-Protection in Real-Time Video Communication RBFNN Aided Extended Kalman Filter for MEMS AHRS/GPS
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1