TU Darmstadt / ULB / TUbiblio

A case study on partial evaluation in embedded software design

Jung, M. ; Laue, Ralf ; Huss, Sorin A. (2005)
A case study on partial evaluation in embedded software design.
Third IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2005). Seattle, Washington, USA (16.05.2005-17.05.2005)
doi: 10.1109/SEUS.2005.1
Konferenzveröffentlichung, Bibliographie

Kurzbeschreibung (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.

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 2005
Autor(en): Jung, M. ; Laue, Ralf ; Huss, Sorin A.
Art des Eintrags: Bibliographie
Titel: A case study on partial evaluation in embedded software design
Sprache: Englisch
Publikationsjahr: 2005
Ort: Los Alamitos, Calif. [u.a.]
Verlag: IEEE Computer Society
Buchtitel: Third IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS'05)
Veranstaltungstitel: Third IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2005)
Veranstaltungsort: Seattle, Washington, USA
Veranstaltungsdatum: 16.05.2005-17.05.2005
DOI: 10.1109/SEUS.2005.1
Kurzbeschreibung (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.

Fachbereich(e)/-gebiet(e): 18 Fachbereich Elektrotechnik und Informationstechnik
20 Fachbereich Informatik
20 Fachbereich Informatik > Integrierte Schaltungen und Systeme
Hinterlegungsdatum: 20 Nov 2008 08:23
Letzte Änderung: 10 Jan 2025 08:24
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen