PEAC: Ein partieller Evaluator für eingebettete Software

Veröffentlicht in: Hubert B. Keller, Peter Dencker, Erhard Plödereder, Herbert Klenk, Michael Tonndorf (Hrsg.) Zuverlässigkeit in eingebetteten Systemen (ISBN 3-8322-4522-7)

Zusammenfassung

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 Maß 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.

Autoren

Michael Jung, Sorin A. Huss und Matthias Deegener

Download

Article (PDF) -- © 2005 Shaker Verlag