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. Anhand einer Fallstudie wird gezeigt, dass mit partieller Evaluierung eine Technik zur Verfügung steht, die die Wiederverwendung eingebetteter Software erlaubt ohne deren besondere Resourcenrestriktionen zu ignorieren. Es werden einige spezielle Anforderungen an einen partiellen Evaluator für eingebettete Software beschrieben, die von den zwei vorhandenen generischen Implementierungen (C/Mix-II und Tempo) nicht berücksichtigt werden. Abschließend wird anhand eines Beispiels die grundlegende Funktionsweise von PEAC, einem partiellen Evaluator für ANSI C und eingebettete Software dargestellt.
PEAC: Ein partieller Evaluator für eingebettete Software
PEAC: a partial evaluator for embedded software
2005
13 Seiten, 8 Bilder, 1 Tabelle, 16 Quellen
Conference paper
German
Software schuetzt eingebettete Systeme
Automotive engineering | 2016
|Automotive engineering | 2010
|Eingebettete Controller, Verfahren und Entwicklungswerkzeug für eingebettete Controller
European Patent Office | 2018
|Sicherheitsrelevante eingebettete Systeme
Tema Archive | 1997
|