嵌入式软件设计中局部评估的实例研究

Third IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS'05) Pub Date : 2005-05-16 DOI:10.1109/SEUS.2005.1

Michael Jung, R. Laue, S. Huss

{"title":"嵌入式软件设计中局部评估的实例研究","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":"{\"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}","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

摘要

源代码生成器经常应用于嵌入式系统设计中，以将可重用性所需的灵活性与高度专门化软件的性能相结合。然而，设计生成器给软件开发过程增加了额外的复杂性。局部评价有望为发电机开发提供一些自动化手段。本文报告了我们利用部分求值器C-Mix/II实现嵌入式操作系统生成器的经验。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

A case study on partial evaluation in embedded software design

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Third IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS'05)

自引率

0.00%

发文量