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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    PEAC: Ein partieller Evaluator für eingebettete Software


    Weitere Titelangaben:

    PEAC: a partial evaluator for embedded software


    Beteiligte:


    Erscheinungsdatum :

    2005


    Format / Umfang :

    13 Seiten, 8 Bilder, 1 Tabelle, 16 Quellen



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Deutsch




    Software schuetzt eingebettete Systeme

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


    Eingebettete Antennen

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


    Eingebettete Controller, Verfahren und Entwicklungswerkzeug für eingebettete Controller

    YOSHIMURA KENTARO / MIYAZAKI TAIZO / YOKOYAMA TAKANORI | Europäisches Patentamt | 2018

    Freier Zugriff

    Sicherheitsrelevante eingebettete Systeme

    Montenegro, S. | Tema Archiv | 1997


    IN FAHRZEUGKAROSSERIE EINGEBETTETE ANTENNENVORRICHTUNG

    IMAMURA YUTAKA / KOBAYASHI RYUJI / ISHIDA JUN | Europäisches Patentamt | 2020

    Freier Zugriff