Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

UML-Erweiterungen zur Timing-Erfassung

27.11.2006
Im Rahmen des OMEGA-Projekts wurde ein UML-Zusatz entwickelt, der eine Reihe von Erweiterungen zur Timing-Wiedergabe umfasst. Dieser soll den Entwicklern von Echtzeit- und integrierten Systemen ein verbessertes Hilfsmittel zur Erfassung von Systemanforderungen und zum Zuschneiden von Software auf die physische Architektur liefern.

Unified Model Language (UML) repräsentiert den wesentlichen Versuch einer Vielzahl von Methodikern, ein gemeinsames Mittel zur Beschreibung komplexer Systeme mittels der Objektorientierungskonzepte auszuarbeiten. Seit der Übernahme des UML-Standards und seines neuen, weiterentwickelten Release UML 2.0 wurde diese Modellierungssprache zur Entwicklung einer Vielzahl zeit- und ressourcenkritischer Systeme eingesetzt.

Jedoch fehlt UML in einigen Schlüsselbereichen, die für die Konstrukteure und Entwickler von Echtzeit- und integrierten Systemen besonders wichtig sind. Insbesondere der Mangel an quantifizierbaren Zeit- und Ressourcenbegriffen stellte ein Hindernis für ihre verbreitetere Nutzung dar, und eine strenge Semantik-Definition ist eine zwingende Voraussetzung. Glücklicherweise fand man heraus, dass UML über alle erforderlichen Mechanismen verfügte, um diese Probleme durch ihre Funktionen der Erweiterbarkeit zu beheben.

Die Verbindung zwischen Systemausführung und Zeitverlauf kann als präzises Verhalten beschrieben werden und unterstützt somit die Modellierung zeitabhängigen Verhaltens. Zu diesem Zwek wurde eine aktive Entität eingeführt, die eine Definition von Laufzeitbeschränkungen zwischen willkürlichen Ereignissen innerhalb des Systems ermöglicht. Neben dem Timer-Objekt fragt eine Uhr den aktuellen Zeitpunkt ab. Zusätzliche Erweiterungen sorgen für die Identifizierung syntaktisch bedeutungsvoller Ereignisse der Systemausführung, einschließlich Ereigniszeit und artbezogener Informationen.

Darüber hinaus wurde ein operativer Formalismus definiert, mit dem Vermutungen und Anforderungen ausgedrückt werden sollen, die komplexere Bedingungen umfassen, als den Abstand zwischen zwei Ereignissen. Ein Beobachter kann synchron mit einem System arbeiten und seinen Zustand und die auftretenden Ereignisse überwachen. Dieser wird als Sprachempfänger genutzt, der über lokale Speicherattribute verfügen kann. Deren Verhalten wird über eine Statusmaschine beschrieben.

Das neue UML-Echtzeitprofil wird innerhalb industrieller Fallstudien untersucht, die von den Industriepartnern des OMEGA-Projekts zur Verfügung gestellt und ausgearbeitet wurden. Das Ziel besteht darin, detailliertere Schritte und Richtlinien zur Nutzung der wesentlichen UML-Sprache einzubinden, insbesondere in Bezug auf die vorgeschlagenen Zeitverlängerungen.

Susanne Graf | ctm
Weitere Informationen:
http://www-verimag.imag.fr/

Weitere Berichte zu: OMEGA-Projekts Systemausführung UML UML-Erweiterung

Weitere Nachrichten aus der Kategorie Informationstechnologie:

nachricht Schutz vor Angriffen dank flexibler Programmierung
22.03.2017 | FZI Forschungszentrum Informatik am Karlsruher Institut für Technologie

nachricht Störungsfreie Kommunikation für die Fabriken von morgen
22.03.2017 | Hochschule für Technik, Wirtschaft und Kultur Leipzig

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

Die letzten 5 Focus-News des innovations-reports im Überblick:

Im Focus: Fliegende Intensivstationen: Ultraschallgeräte in Rettungshubschraubern können Leben retten

Etwa 21 Millionen Menschen treffen jährlich in deutschen Notaufnahmen ein. Im Kampf zwischen Leben und Tod zählt für diese Patienten jede Minute. Wenn sie schon kurz nach dem Unfall zielgerichtet behandelt werden können, verbessern sich ihre Überlebenschancen erheblich. Damit Notfallmediziner in solchen Fällen schnell die richtige Diagnose stellen können, kommen in den Rettungshubschraubern der DRF Luftrettung und zunehmend auch in Notarzteinsatzfahrzeugen mobile Ultraschallgeräte zum Einsatz. Experten der Deutschen Gesellschaft für Ultraschall in der Medizin e.V. (DEGUM) schulen die Notärzte und Rettungsassistenten.

Mit mobilen Ultraschallgeräten können Notärzte beispielsweise innere Blutungen direkt am Unfallort identifizieren und sie bei Bedarf auch für Untersuchungen im...

Im Focus: Gigantische Magnetfelder im Universum

Astronomen aus Bonn und Tautenburg in Thüringen beobachteten mit dem 100-m-Radioteleskop Effelsberg Galaxienhaufen, das sind Ansammlungen von Sternsystemen, heißem Gas und geladenen Teilchen. An den Rändern dieser Galaxienhaufen fanden sie außergewöhnlich geordnete Magnetfelder, die sich über viele Millionen Lichtjahre erstrecken. Sie stellen die größten bekannten Magnetfelder im Universum dar.

Die Ergebnisse werden am 22. März in der Fachzeitschrift „Astronomy & Astrophysics“ veröffentlicht.

Galaxienhaufen sind die größten gravitativ gebundenen Strukturen im Universum, mit einer Ausdehnung von etwa zehn Millionen Lichtjahren. Im Vergleich dazu ist...

Im Focus: Giant Magnetic Fields in the Universe

Astronomers from Bonn and Tautenburg in Thuringia (Germany) used the 100-m radio telescope at Effelsberg to observe several galaxy clusters. At the edges of these large accumulations of dark matter, stellar systems (galaxies), hot gas, and charged particles, they found magnetic fields that are exceptionally ordered over distances of many million light years. This makes them the most extended magnetic fields in the universe known so far.

The results will be published on March 22 in the journal „Astronomy & Astrophysics“.

Galaxy clusters are the largest gravitationally bound structures in the universe. With a typical extent of about 10 million light years, i.e. 100 times the...

Im Focus: Auf der Spur des linearen Ubiquitins

Eine neue Methode ermöglicht es, den Geheimcode linearer Ubiquitin-Ketten zu entschlüsseln. Forscher der Goethe-Universität berichten darüber in der aktuellen Ausgabe von "nature methods", zusammen mit Partnern der Universität Tübingen, der Queen Mary University und des Francis Crick Institute in London.

Ubiquitin ist ein kleines Molekül, das im Körper an andere Proteine angehängt wird und so deren Funktion kontrollieren und verändern kann. Die Anheftung...

Im Focus: Tracing down linear ubiquitination

Researchers at the Goethe University Frankfurt, together with partners from the University of Tübingen in Germany and Queen Mary University as well as Francis Crick Institute from London (UK) have developed a novel technology to decipher the secret ubiquitin code.

Ubiquitin is a small protein that can be linked to other cellular proteins, thereby controlling and modulating their functions. The attachment occurs in many...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

IHR
JOB & KARRIERE
SERVICE
im innovations-report
in Kooperation mit academics
Veranstaltungen

Lebenswichtige Lebensmittelchemie

23.03.2017 | Veranstaltungen

Die „Panama Papers“ aus Programmierersicht

22.03.2017 | Veranstaltungen

Über Raum, Zeit und Materie

22.03.2017 | Veranstaltungen

 
VideoLinks
B2B-VideoLinks
Weitere VideoLinks >>>
Aktuelle Beiträge

Besser lernen dank Zink?

23.03.2017 | Biowissenschaften Chemie

Lebenswichtige Lebensmittelchemie

23.03.2017 | Veranstaltungsnachrichten

Innenraum-Ortung für dynamische Umgebungen

23.03.2017 | Architektur Bauwesen