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 Analyse komplexer Biosysteme mittels High-Performance-Computing
13.12.2017 | Institut für Bioprozess- und Analysenmesstechnik e.V.

nachricht Roboter-Navigation über die Cloud
11.12.2017 | Fraunhofer-Institut für Produktionstechnik und Automatisierung IPA

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

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

Im Focus: Lange Speicherung photonischer Quantenbits für globale Teleportation

Wissenschaftler am Max-Planck-Institut für Quantenoptik erreichen mit neuer Speichertechnik für photonische Quantenbits Kohärenzzeiten, welche die weltweite...

Im Focus: Long-lived storage of a photonic qubit for worldwide teleportation

MPQ scientists achieve long storage times for photonic quantum bits which break the lower bound for direct teleportation in a global quantum network.

Concerning the development of quantum memories for the realization of global quantum networks, scientists of the Quantum Dynamics Division led by Professor...

Im Focus: Electromagnetic water cloak eliminates drag and wake

Detailed calculations show water cloaks are feasible with today's technology

Researchers have developed a water cloaking concept based on electromagnetic forces that could eliminate an object's wake, greatly reducing its drag while...

Im Focus: Neue Einblicke in die Materie: Hochdruckforschung in Kombination mit NMR-Spektroskopie

Forschern der Universität Bayreuth und des Karlsruhe Institute of Technology (KIT) ist es erstmals gelungen, die magnetische Kernresonanzspektroskopie (NMR) in Experimenten anzuwenden, bei denen Materialproben unter sehr hohen Drücken – ähnlich denen im unteren Erdmantel – analysiert werden. Das in der Zeitschrift Science Advances vorgestellte Verfahren verspricht neue Erkenntnisse über Elementarteilchen, die sich unter hohen Drücken oft anders verhalten als unter Normalbedingungen. Es wird voraussichtlich technologische Innovationen fördern, aber auch neue Einblicke in das Erdinnere und die Erdgeschichte, insbesondere die Bedingungen für die Entstehung von Leben, ermöglichen.

Diamanten setzen Materie unter Hochdruck

Im Focus: Scientists channel graphene to understand filtration and ion transport into cells

Tiny pores at a cell's entryway act as miniature bouncers, letting in some electrically charged atoms--ions--but blocking others. Operating as exquisitely sensitive filters, these "ion channels" play a critical role in biological functions such as muscle contraction and the firing of brain cells.

To rapidly transport the right ions through the cell membrane, the tiny channels rely on a complex interplay between the ions and surrounding molecules,...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

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

Materialinnovationen 2018 – Werkstoff- und Materialforschungskonferenz des BMBF

13.12.2017 | Veranstaltungen

Innovativer Wasserbau im 21. Jahrhundert

13.12.2017 | Veranstaltungen

Innovative Strategien zur Bekämpfung von parasitären Würmern

08.12.2017 | Veranstaltungen

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

Rest-Spannung trotz Megabeben

13.12.2017 | Geowissenschaften

Computermodell weist den Weg zu effektiven Kombinationstherapien bei Darmkrebs

13.12.2017 | Medizin Gesundheit

Winzige Weltenbummler: In Arktis und Antarktis leben die gleichen Bakterien

13.12.2017 | Geowissenschaften