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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    PEAC: Ein partieller Evaluator für eingebettete Software


    Additional title:

    PEAC: a partial evaluator for embedded software


    Contributors:


    Publication date :

    2005


    Size :

    13 Seiten, 8 Bilder, 1 Tabelle, 16 Quellen



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    German




    Software schuetzt eingebettete Systeme

    Fraunhofer Inst.f.Sichere Informationstechnologie,SIT,Darmstadt,DE | Automotive engineering | 2016


    Eingebettete Antennen

    Hauri,S. / Hirschmann Car Communication,HCC,Neckartetzlingen,DE | Automotive engineering | 2010


    Eingebettete Controller, Verfahren und Entwicklungswerkzeug für eingebettete Controller

    YOSHIMURA KENTARO / MIYAZAKI TAIZO / YOKOYAMA TAKANORI | European Patent Office | 2018

    Free access

    Sicherheitsrelevante eingebettete Systeme

    Montenegro, S. | Tema Archive | 1997


    IN FAHRZEUGKAROSSERIE EINGEBETTETE ANTENNENVORRICHTUNG

    IMAMURA YUTAKA / KOBAYASHI RYUJI / ISHIDA JUN | European Patent Office | 2020

    Free access