Add to ORKGDie Arbeit stellt eine Methodik zur modellbasierten Spezifikation und Analyse des Zeitverhaltens eines Systems mit UML (Unified Modeling Language) vor. Durch Stereotypen und Tags des Profile for Schedulability, Performance and Time (SPT) werden die erforderlichen Eigenschaften beschrieben. Als Eingangsinformation dient das UML-Modell des zu entwerfenden Systems. Die Analyse liefert eine Aussage über die Einhaltung von Zeitconstraints als Ganzes. Bei Verletzungen erfolgen elementbezogene Kommentare. Damit wird mit standardisierten Mitteln eine Analyse des zeitbezogenen Systemverhaltens vor den Partitionierungsentscheidungen möglich. Die Modellierung erfolgt im Tool Real-time Studio (RtS) der Firma Artisan Software Tools, Inc
Bisher setzte die Systemmodellierung ausgewachsene Autorensysteme voraus. Sie implementieren etwa da...
Die Softwareentwicklung ist seit den Anfängen der Informatik stetig effizienter geworden. Beispielsw...
Bei der Programmierung verteilter Systeme ist vor allem die Wahl eines geeigneten Verteilungsmodells...
Die Arbeit stellt eine Methodik zur modellbasierten Spezifikation und Analyse des Zeitverhaltens ein...
Softwareentwicklung im betrieblichen Kontext erfordert neben dem Zusammenspiel verschiedener Technol...
Die Entwicklung komplexer heterogener Systeme erfordert den Einsatz neuer Methoden im Entwurf. Die M...
Der zunehmende Wettbewerbsdruck in der Softwareentwicklung erfordert den Einsatz effizienter Entwick...
Adaptive eingebettete Systeme haben die Fähigkeit, sich einem wechselnden Systemkontext anzupassen. ...
Die zunehmende Komplexität moderner Systeme erfordert den Einsatz neuer Entwick-lungstechniken und M...
Im Rahmen eines DFG-Forschungsprogrammes wurde am Fraunhofer IPA die Methode ODEMA entwickelt, mit d...
Die umfassende Analyse und formalisierte Beschreibung von Softwareentwicklungsprozessen wird momenta...
Die Komplexität von Steuerungen und deren Anwendungen in sicherheitskritischen Bereichen der Automat...
Industriell gefertigte Produkte/Teile müssen mit den Konstruktionsdaten verglichen werden. Dazu werd...
MBSE-Model-Based Systems Engineering wird als vielversprechender Ansatz gesehen, die steigende Kompl...
Eine grundlegende Aufgabe der Geschäftsprozessmodellierung ist die Dokumentation des Geschäftsablauf...
Bisher setzte die Systemmodellierung ausgewachsene Autorensysteme voraus. Sie implementieren etwa da...
Die Softwareentwicklung ist seit den Anfängen der Informatik stetig effizienter geworden. Beispielsw...
Bei der Programmierung verteilter Systeme ist vor allem die Wahl eines geeigneten Verteilungsmodells...
Die Arbeit stellt eine Methodik zur modellbasierten Spezifikation und Analyse des Zeitverhaltens ein...
Softwareentwicklung im betrieblichen Kontext erfordert neben dem Zusammenspiel verschiedener Technol...
Die Entwicklung komplexer heterogener Systeme erfordert den Einsatz neuer Methoden im Entwurf. Die M...
Der zunehmende Wettbewerbsdruck in der Softwareentwicklung erfordert den Einsatz effizienter Entwick...
Adaptive eingebettete Systeme haben die Fähigkeit, sich einem wechselnden Systemkontext anzupassen. ...
Die zunehmende Komplexität moderner Systeme erfordert den Einsatz neuer Entwick-lungstechniken und M...
Im Rahmen eines DFG-Forschungsprogrammes wurde am Fraunhofer IPA die Methode ODEMA entwickelt, mit d...
Die umfassende Analyse und formalisierte Beschreibung von Softwareentwicklungsprozessen wird momenta...
Die Komplexität von Steuerungen und deren Anwendungen in sicherheitskritischen Bereichen der Automat...
Industriell gefertigte Produkte/Teile müssen mit den Konstruktionsdaten verglichen werden. Dazu werd...
MBSE-Model-Based Systems Engineering wird als vielversprechender Ansatz gesehen, die steigende Kompl...
Eine grundlegende Aufgabe der Geschäftsprozessmodellierung ist die Dokumentation des Geschäftsablauf...
Bisher setzte die Systemmodellierung ausgewachsene Autorensysteme voraus. Sie implementieren etwa da...
Die Softwareentwicklung ist seit den Anfängen der Informatik stetig effizienter geworden. Beispielsw...
Bei der Programmierung verteilter Systeme ist vor allem die Wahl eines geeigneten Verteilungsmodells...