Der Artikel beschreibt die systematische Entwicklung einer Beschreibungssprache zur Beschreibung der Kommunikation zwischen Benutzungsschnittstelle (HMI) und Applikation. Das Ziel dieser Beschreibung ist die Einbindung in eine übergeordnete Methode zur automatischen Unterstützung bei der vollständigen Formalisierung. Die Sprache ist so gestaltet, dass sich deren Verwendung einfach in bestehende Entwicklungsprozesse einbinden und entwicklungsbegleitend über verschiedene Phasen einsetzen lässt, indem sie ein anpassbares Rollenkonzept umsetzt und sich einfach in bestehende Entwicklungswerkzeuge integrieren lässt. Sie bietet Unterstützung für unterschiedliche Abstraktionsgrade sowohl zur informellen, textuellen Beschreibung als auch zur formalen Modellierung mit Hilfe von Petri Netzen. Um alle lokalen Kommunikationseigenschaften berücksichtigen zu können, müssen die Petri Netze um geeignete Konstrukte erweitert werden.
Increasing functionality of today's automotive information and entertainment systems (infotainment systems) result in a fast-growing complexity of their development. Due to highly diverse objectives of the user interface and the underlying application these components are usually developed independently. Their strong coupling with respect to the overall functionality makes composing them to a full system a difficult task. One major issue during system composition is assuring a reliable communication between the components. This article describes a language for modeling the communication from different local points of view. It is the base for a computer-aided support method aiming at completely generating the communication code from the model. Since building complete, formal models is very complex and time consuming the method proposes to iteratively compose the full model from local descriptions, identify inconsistencies and gaps, and guide developers in resolving the problems in the local descriptions. Most existing approaches for the description of communication concentrate on specific aspects such as the syntax of the programming interfaces or the behavioral model of a transport protocol. None of these is suited to model the communication in its entirety. Based on the analysis of the requirements of different development roles the language CoML was invented. CoML consists of three layers: a core, process extension, and domain specific extension. The core defines the structure of the elements in an XML-based description format In the process extension the role concept and the ability to be integrated into a large scale development process are realized. The domain specific extension layer defines formal semantics for certain element types. For describing local component interfaces it combines an interface description language with petri nets for modeling causal dependencies. These petri net fragments are the building blocks of the global communication model. Several extensions of petri nets have been brought together in order to enable description of relevant aspects, e.g. queuing, continuous time, or instancing.
Entwicklung einer ganzheitlichen, formalisierten Beschreibung der Kommunikation zwischen Benutzungsschnittstelle und Applikation im Kraftfahrzeug
2012
12 Seiten, 3 Bilder, 11 Quellen
Aufsatz (Konferenz)
Deutsch
Konzept einer individuellen Fahrzeugprüfung mit formalisierten Modellen und Methoden
Tema Archiv | 2007
|VERFAHREN ZUR KOMMUNIKATION ZWISCHEN EINEM KRAFTFAHRZEUG UND EINER DIAGNOSEEINHEIT
Europäisches Patentamt | 2015
|Europäisches Patentamt | 2022
|