Kommunikationsprotokolle werden oft aus frei formulierten Anforderungsprofilen und informellen Benutzungsszenarien entwickelt. Dies kann einerseits zu Missverständnissen bei der Implementierung führen, andererseits ist die Prüfung der vorgegebenen Szenarien auf Konsistenz u.a. nur schwer möglich. Die Definition von Protokollen auf formale Weise hilft, solche Probleme zu vermeiden. Zusätzlich kann aus formalen Spezifikationen automatisch Code generiert werden. In unserem Projekt haben wir eine Lösung entwickelt, die aus einer Protokollbeschreibung und vorgegebenen Ablaufszenarien ein Modell des Kommunikationssystems erstellt. Treten dabei keine größeren Inkonsistenzen zu Tage, wird aus diesem schließlich C-Code generiert. Über Funktionsaufrufe, die in den Ablaufszenarien vorgegeben wurden, kann der generierte Code in größere Systeme Integriert werden. Die Vorgehensweise wird anhand der Entwicklung eines Automotive-Profils für Bluetooth demonstriert.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Automatisierte Entwicklung von Kommunikationsprotokollen am Beispiel Bluetooth


    Weitere Titelangaben:

    Automated design of communication protocols as shown by the Bluetooth development


    Beteiligte:
    Siemes, J. (Autor:in) / Reuss, H.C. (Autor:in)


    Erscheinungsdatum :

    2004


    Format / Umfang :

    10 Seiten, 5 Bilder, 9 Quellen


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Deutsch