TU Darmstadt / ULB / TUbiblio

PEAC : ein partieller Evaluator für eingebettete Software

Jung, M. ; Huss, Sorin A. ; Deegener, M. (2005)
PEAC : ein partieller Evaluator für eingebettete Software.
GI/VDI Workshop Zuverlässigkeit in eingebetteten Systemen. Aachen (13.10.2005-14.10.2005)
Konferenzveröffentlichung, Bibliographie

Kurzbeschreibung (Abstract)

Die Wiederverwendung erprobter Software-Komponenten stellt einen pragmatischen Ansatz dar, um eine hohe Zuverlässigkeit, wie sie insbesondere im Bereich der Automobilindustrie benötigt wird, zu erreichen. Bei der Entwicklung eingebetteter Software-Komponenten haben sich Code-Generatoren bewährt, um die für die Wiederverwendbarkeit notwendige Flexibilität mit der Effizienz spezialisierter Software zu kombinieren. Die Implementierung entsprechender Generatoren erhöht als zusätzlicher Schritt jedoch die Komplexität des Entwurfsprozesses. Partielle Evaluierung ist eine Technik, die unter anderem ein gewisses Mass an Automatisierung bei der Entwicklung von Generatoren ermöglicht. Dieser Aufsatz berichtet über PEAC, einen partiellen Evaluator für ANSI C, der unter Berücksichtigung der besonderen Anforderungen eingebetteter Software entworfen wurde.

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 2005
Autor(en): Jung, M. ; Huss, Sorin A. ; Deegener, M.
Art des Eintrags: Bibliographie
Titel: PEAC : ein partieller Evaluator für eingebettete Software
Sprache: Deutsch
Publikationsjahr: 2005
Veranstaltungstitel: GI/VDI Workshop Zuverlässigkeit in eingebetteten Systemen
Veranstaltungsort: Aachen
Veranstaltungsdatum: 13.10.2005-14.10.2005
Kurzbeschreibung (Abstract):

Die Wiederverwendung erprobter Software-Komponenten stellt einen pragmatischen Ansatz dar, um eine hohe Zuverlässigkeit, wie sie insbesondere im Bereich der Automobilindustrie benötigt wird, zu erreichen. Bei der Entwicklung eingebetteter Software-Komponenten haben sich Code-Generatoren bewährt, um die für die Wiederverwendbarkeit notwendige Flexibilität mit der Effizienz spezialisierter Software zu kombinieren. Die Implementierung entsprechender Generatoren erhöht als zusätzlicher Schritt jedoch die Komplexität des Entwurfsprozesses. Partielle Evaluierung ist eine Technik, die unter anderem ein gewisses Mass an Automatisierung bei der Entwicklung von Generatoren ermöglicht. Dieser Aufsatz berichtet über PEAC, einen partiellen Evaluator für ANSI C, der unter Berücksichtigung der besonderen Anforderungen eingebetteter Software entworfen wurde.

Fachbereich(e)/-gebiet(e): 18 Fachbereich Elektrotechnik und Informationstechnik
20 Fachbereich Informatik
20 Fachbereich Informatik > Integrierte Schaltungen und Systeme
Hinterlegungsdatum: 20 Nov 2008 08:24
Letzte Änderung: 06 Dez 2024 08:38
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