DocumentCode
3107553
Title
A case study on partial evaluation in embedded software design
Author
Jung, Michael ; Laue, Ralf ; Huss, Sorin Alexander
Author_Institution
Dept. of Comput. Sci., Technische Univ. Darmstadt, Germany
fYear
2005
fDate
16-17 May 2005
Firstpage
16
Lastpage
21
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.
Keywords
automatic programming; embedded systems; operating systems (computers); partial evaluation (compilers); C-Mix/II partial evaluator; embedded operating system; embedded software design; software development process; source code generators; Application software; Computer aided software engineering; Computer science; Embedded software; Embedded system; Hardware; Operating systems; Programming; Software design; Software reusability;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Technologies for Future Embedded and Ubiquitous Systems, 2005. SEUS 2005. Third IEEE Workshop on
Print_ISBN
0-7695-2357-9
Type
conf
DOI
10.1109/SEUS.2005.1
Filename
1425037
Link To Document