Die Konfiguration der Standardsoftware in heutigen Kfz-Elektroniksystemen ist bedingt durch die Wechselwirkungen, die zwischen den einzelnen Modulen auftreten, ein komplexer Vorgang. Bisher gibt es noch kein zufrieden stellendes Konzept, mit dem sich eine korrekte Konfiguration toolunterstützt sicherstellen lässt. In diesem Beitrag wird ein entsprechendes Konzept vorgestellt. Grundlage dabei sind Merkmalmodelle, wie sie bei Software Produktlinien eingesetzt werden. Das Ziel von Software Produktlinien ist das möglichst effektive Erzeugen von vielen, ähnlichen Software Produkten. Ebenso wie bei Standardsoftware Konfigurationen kommt dabei dem Variantenmanagement eine große Bedeutung zu. In einem Merkmalmodell werden die Merkmale, also die strukturellen und funktionalen Eigenschaften der untersuchten Systeme kategorisiert. Eine sehr weit verbreitete Merkmalmodell-Notation, die als Grundlage für viele Erweiterungen im Bereich der Software Produktlinien dient, ist die FODA (Feature-Oriented Domain Analysis) Notation. Die Konfigurationsmöglichkeiten von Standardsoftware Modulen können auch als Merkmale einer Standardsoftware Produktlinie aufgefasst werden. Darum liegt es nahe, diese auch mit denselben Modellen zu beschreiben. Um auch kompliziertere Abhängigkeiten zwischen Merkmalen oder zwischen Parametern von Merkmalen darstellen zu können, gibt es Ansätze, diese mittels einer Erweiterung der Sprache Prolog zu beschreiben. Damit wird es möglich, mathematische Bedingungen zwischen Parametern verschiedener Merkmale oder auch Abhängigkeiten zwischen drei oder mehr Merkmalen zu beschreiben. Die Informationen, die zur Konfiguration der Standardsoftware Module benötigt werden, sind je nach Modul und Softwarefirma in verschiedenen Konfigurationsformaten abgespeichert. Um eine Prüfung der Standardsoftware Konfiguration zu ermöglichen, muss diese Information eingelesen und gegen das Merkmalmodell geprüft werden Die Gesamtheit der Konfigurationsdateien der einzelnen Module stellen eine konkrete Standardsoftware Konfiguration dar. Das Merkmalmodell beschreibt im Gegensatz dazu die Gesamtheit aller gültigen Standardsoftware Konfigurationen. Bei der Prüfung wird festgestellt, ob die konkrete Konfiguration ein Teil aller gültigen Konfigurationen ist.

    In automotive electronics systems, the configuration of standard software is a complex process due to the interdependencies between the several modules. Up to now, there is no satisfying, tool-supported concept to ensure a correct configuration. This paper presents such a concept.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Konfigurationsprüfung für Standardsoftware mit Hilfe von Merkmalmodellen


    Weitere Titelangaben:

    Verification of standard software configurations with feature models


    Beteiligte:
    Frieß, W. (Autor:in) / Krüger, A. (Autor:in) / Kubica, S. (Autor:in) / Schröder-Preikschat, Wolfgang (Autor:in)


    Erscheinungsdatum :

    2005


    Format / Umfang :

    10 Seiten, 6 Bilder, 9 Quellen




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Deutsch




    Konfigurationspruefung fuer Standardsoftware mit Hilfe von Merkmalmodellen

    Friess,W. / Krueger,A. / Kubica,S. et al. | Kraftfahrwesen | 2005


    Qualitative Standardsoftware

    Hiekel, Hans-Ulrich / Woltemate, Hartmut | IuD Bahn | 1994


    Qualitative Standardsoftware

    Hiekel, H.-U. / Woltemate, H. | British Library Online Contents | 1994


    Standardsoftware nach Maß

    Strothmann, J. | Tema Archiv | 2003


    Chancen durch Standardsoftware-Einführung

    Barbitsch, Christian E. | IuD Bahn | 1996