DFG-Projekt SANDS erfolgreich abgeschlossen
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). (Uni Duisburg-Essen)
» Diesen Artikel via Mail weiterempfehlen
Schreiben Sie einen Kommentar »
Wilhelm Manchot-Forschungsprofessur 2011 für Herbert Waldmann
Herbert Waldmann, Professor für Biochemie an der Technischen Universität Dortmund und Direktor am Max-Planck-Institut für molekulare Physiologie, hat die Wilhelm Manchot-Forschungsprofessur 2011 erhalten. Die Verleihung erfolgte durch die Fakultät für Chemie der Technischen Universität München (TUM) und die Jürgen Manchot-Stiftung….
Leichtester bisher bekannte Kondensat mit Polaritonen erzeugt
Bei der Bose-Einstein-Kondensation gehen Gase aus ultrakalten Atomen in einen kollektiven Quantenzustand über, in dem sie alle dieselben Eigenschaften aufweisen. Dieser Zustand und die damit verbundenen Eigenschaften sind zum Beispiel für die Herstellung von neuartigen Schaltkreisen, in denen die kondensierten…
Reinigung des Buchbestands der Bibliothek der Uni Konstanz
Die Reinigung der 1,5 Millionen Bände in den Buchbereichen G und S der Bibliothek der Universität Konstanz kann am Montag, 24. Januar 2011, beginnen. Das Landratsamt Konstanz hat als zuständige Behörde die technischen und baulichen Voraussetzungen für die Spezialreinigung der…
Beurteilung von Operationsrisiken in der Herzchirurgie durch Bestimmung der cerebralen Sauerstoffsättigung
Operationsrisiken in der Herzchirurgie lassen sich mit der Bestimmung der cerebralen Sauerstoffsättigung schnell, einfach und – bei Patienten mit hohem Risiko – verlässlicher als mit den bisher üblichen Methoden vorhersagen. Dies geht aus einer Studie der Universitätskliniken für Anästhesie und…
Bewerbungen für den ersten Chemnitzer Krimipreis
Krimiautoren aufgepasst! Bis zum 30. September 2011 können sich Schriftsteller – und natürlich auch Schriftstellerinnen – mit ihren Kurzkrimis oder einem Kapitel aus einem selbstverfassten Kriminalroman um den 1. Chemnitzer Krimipreis bewerben. Die mit insgesamt 1.000 Euro dotierten drei Hauptpreise…