Jung, M. ; Huss, Sorin A. ; Deegener, M. (2005)
PEAC : ein partieller Evaluator für eingebettete Software.
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 |
| Reihe: | GI/VDI Workshop Zuverlässigkeit in eingebetteten Systemen, Aachen, 13.-14. Oktober 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: | 13 Dez 2018 10:49 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum