Dynamische Systeme analysieren

Nicht nur für große Firmen ist es wertvoll, wenn ihre Systeme und Netze ohne Abstürze laufen und nach außen hin geschützt sind.

An Techniken, mit denen man dies weiter verbessern kann, haben Informatiker der Universität Duisburg-Essen (UDE) mehrere Jahre gearbeitet: Das DFG-Projekt SANDS (Static Analysis of Dynamically Evolving Systems) wird jetzt erfolgreich abgeschlossen.

Es untersuchte mit einer neuen Software dynamische Systeme, das sind – unter anderem – sich verändernde Netzwerke, die die Teilnehmer betreten und verlassen können. Die Wissenschaftler der Abteilung für Informatik und Angewandte Kognitionswissenschaft überprüften in Fallstudien beispielsweise deren korrektes Verhalten, denn bisher gab es dafür nur wenige geeignete Techniken.

Der Ansatz war, sogenannte Graphtransformationssysteme zu nutzen. Dabei werden statische Zustände durch Graphen dargestellt, d.h. durch Netze aus Knoten und Kanten. Bereits existierende Analysetechniken wurden weiterentwickelt, und mehrere neue entstanden. In Kooperation mit anderen Forschergruppen konnte so die Verifikation dynamischer Systeme verbessert werden.

Jetzt gibt es die vom UDE-Team erstellte Software AUGUR 2, mit der man mit einer Benutzeroberfläche solche Systeme analysieren kann. Dieses Werkzeug gewann den „Graph-based Tool Contest 2009“ in der Kategorie „Verifikation“. Von den zahlreichen Veröffentlichungen erhielt zudem eine den Preis für den einflussreichsten Artikel in acht Jahren ICGT (International Conference on Graph Transformation).

Weitere Informationen:
Prof. Dr. Barbara König,
Tel. 0203/379-3397,
barbara_koenig@uni-due.de
Redaktion: Katrin Braun, Tel. 0203/379-1488

Media Contact

Katrin Braun Universitaet Duisburg-Essen

Weitere Informationen:

http://www.uni-due.de

Alle Nachrichten aus der Kategorie: Informationstechnologie

Neuerungen und Entwicklungen auf den Gebieten der Informations- und Datenverarbeitung sowie der dafür benötigten Hardware finden Sie hier zusammengefasst.

Unter anderem erhalten Sie Informationen aus den Teilbereichen: IT-Dienstleistungen, IT-Architektur, IT-Management und Telekommunikation.

Zurück zur Startseite

Kommentare (0)

Schreiben Sie einen Kommentar

Neueste Beiträge

Atomkern mit Laserlicht angeregt

Dieser lange erhoffte Durchbruch ermöglicht neuartige Atomuhren und öffnet die Tür zur Beantwortung fundamentaler Fragen der Physik. Forschenden ist ein herausragender Quantensprung gelungen – sprichwörtlich und ganz real: Nach jahrzehntelanger…

Wie das Immunsystem von harmlosen Partikeln lernt

Unsere Lunge ist täglich den unterschiedlichsten Partikeln ausgesetzt – ungefährlichen genauso wie krankmachenden. Mit jedem Erreger passt das Immunsystem seine Antwort an. Selbst harmlose Partikel tragen dazu bei, die Immunantwort…

Forschende nutzen ChatGPT für Choreographien mit Flugrobotern

Robotik und ChatGPT miteinander verbinden… Prof. Angela Schoellig von der Technischen Universität München (TUM) hat gezeigt, dass Large Language Models in der Robotik sicher eingesetzt werden können. ChatGPT entwickelt Choreographien…

Partner & Förderer