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.
Automatisierte Entwicklung von Kommunikationsprotokollen am Beispiel Bluetooth
Automated design of communication protocols as shown by the Bluetooth development
2004
10 Seiten, 5 Bilder, 9 Quellen
Aufsatz (Konferenz)
Deutsch
Kaffeeklatsch der Rechenknechte Implementierung von Kommunikationsprotokollen in einem USIC-Modul
British Library Online Contents | 2008
ENTWICKLUNG - Abgasanlage: Automatisierte Auslegung von Abgasanlagen
Online Contents | 2006
|Automatisierte Auswertung am Beispiel der Ultraschallprüfung von Fernrohrleitungen
Tema Archiv | 1997
|British Library Conference Proceedings | 2006
|