A case study on partial evaluation in embedded software design

Michael Jung, R. Laue, S. Huss
{"title":"A case study on partial evaluation in embedded software design","authors":"Michael Jung, R. Laue, S. Huss","doi":"10.1109/SEUS.2005.1","DOIUrl":null,"url":null,"abstract":"Source code generators are often applied in embedded systems design to combine the flexibility necessary for reusability with the performance of highly specialized software. However, designing generators adds additional complexity to the software development process. Partial evaluation promises to provide some means of automation in generator development. This paper reports on our experiences with the implementation of a generator for an embedded operating system, utilizing the partial evaluator C-Mix/II.","PeriodicalId":384535,"journal":{"name":"Third IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS'05)","volume":"78 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2005-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Third IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS'05)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SEUS.2005.1","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 3

Abstract

Source code generators are often applied in embedded systems design to combine the flexibility necessary for reusability with the performance of highly specialized software. However, designing generators adds additional complexity to the software development process. Partial evaluation promises to provide some means of automation in generator development. This paper reports on our experiences with the implementation of a generator for an embedded operating system, utilizing the partial evaluator C-Mix/II.
嵌入式软件设计中局部评估的实例研究
源代码生成器经常应用于嵌入式系统设计中,以将可重用性所需的灵活性与高度专门化软件的性能相结合。然而,设计生成器给软件开发过程增加了额外的复杂性。局部评价有望为发电机开发提供一些自动化手段。本文报告了我们利用部分求值器C-Mix/II实现嵌入式操作系统生成器的经验。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信