Pressemeldungen, Nachrichten und Produktinformationen von Unternehmen und Institutionen

Pressemeldung veröffentlichen! | Kategorien | Archiv | Über/Impressum

nächster Artikel | vorheriger Artikel

Modellierung, Simulation und Animation komplexer Systeme

Das P-Umlaut-Tool wird nach Angaben des Departments für Informatik der Universität Oldenburg im formalen Software-Entwurf im Rahmen des Model Driven Design (MDD) eingesetzt. Es bietet Werkzeuge für den Entwurf, die Simulation und die prototypische Implementierung korrekter Hard- und Softwaresysteme, heißt es.

Diese Werkzeuge ergänzen einen UML-basierten Entwicklungsprozess mit einer formalen Semantik der Spezifikation und sollen so weitergehende automatische oder interaktive Untersuchungen des Systems ermöglichen. Simulationen zum Testen oder Veranschaulichen des Systems finden in der 3D-Darstellungskomponente des Tools statt. Die gebotenen Verifikationsmöglichkeiten erweitern den Simulationsansatz um die Möglichkeit einer vollständigen Untersuchung von Eigenschaften für alle Systemzustände. Auf diese Art bewiesene Eigenschaften gelten somit grundsätzlich für das System. Gegenbeispiele können in Simulationen gezeigt werden und liefern Hinweise auf Schwachstellen in der Modellierung. Weitere Einsatzgebiete des Tools sind Hardware-in-the-loop-Tests und das Digital Manufacturing.

Carl-von-Ossietzky-Univ. Oldenburg, Department für Informatik
Carl-von-Ossietzky-Straße
26129 Oldenburg
Internet: http://www.p-umlaut.de
Halle: 9, Stand: C21

Kategorie: CeBIT-Produkte und Innovation :: 06. Februar 2006, 18:46Uhr :: ID 1762 :: Druckansicht

nächster Artikel | vorheriger Artikel


Google
 

Übernehmen Sie einfach den untenstehenden permanten Link zur Pressemeldung und bauen ihn in Ihre Webseite ein:

*Die hier veröffentlichten Meldungen werden von Unternehmen oder Agenturen eingestellt bzw. direkt oder indirekt an uns übermittelt, das jeweilige Unternehmen wird im Anschluss von "Mehr zu" ODER im Text genannt. Die Veröffentlichung der Pressemeldungen erfolgt in der Regel innerhalb von 24 Stunden nach Eingang bei uns (Ausnahme: Wochenende). Das hat zur Folge, dass das Veröffentlichungsdatum bei uns nicht zwingend mit dem Datum der Veröffentlichung durch das Unternehmen übereinstimmt.
Für die Korrektheit oder Vollständigkeit der darin enthaltenen Informationen übernimmt die Redaktion von inar.de keine Verantwortung. Bei Fragen zum Inhalt der Meldung wenden Sie sich bitte an den Verfasser (insbesondere bei rechtlichen Fragen, Abmahnungen, etc.).