Die Nutzung des Systemmodells wird an zwei Praxisbeispielen evaluiert, deren Nutzen beschrieben und mit den entstehenden Aufwänden verglichen.
The use of the system model is explained by two practical examples and their benefits are described and compared with the required expenses.
Verfahren nach Anspruch 9, bei welchem das adaptive Systemmodell aus der Auswahl von einem Ziel-Bauteil innerhalb des Systemmodells erzeugt wird, wobei eine Mehrzahl der kausalen Beziehungen eine Mehrzahl von Modell-Knoten innerhalb des adaptiven Systemmodells bestimmt, welches mit dem Ziel-Bauteil in Zusammenhang steht.
The method according to claim 9, wherein said adaptive system model is generated from the selection of a target component within said system to model, a plurality of said causal relationships determining a plurality of model nodes within said adaptive system model associated with said target component.
Zunächst wird ein Algorithmus vorgestellt, der die zur Entwurfszeit statisch bestimmbaren Eigenschaften des Systemmodells, wie z.B. die maximale Ausführungszeit, einbezieht und der auf der mathematischen Formulierung eines Optimierungsproblems basiert.
First, an algorithm is presented which incorporates design-time properties of the system model, e.g. the worst-case execution time of an application, and which is based on the mathematical formulation of an optimization problem.
Nach Ermittlung der Abweichung zwischen Ausgangssignal und Reaktionssignal wird die Übertragungsfunktion des Systemmodells angepasst und schließlich die angepasste Übertragungsfunktion als Schallübertragungsfunktion des Lagersystems angewandt.
Once the deviation between the output signal and the response signal has been determined, the transmission function of the system model is adapted and the adapted transmission function is used as the sound transmission function of the bearing system.
Die dadurch entstehende prädikatenlogische Struktur des Systemmodells wird ausgenutzt um ein Model Checking Modul zu integrieren, das seinerseits eine prädikatenlogische Variante der linearen temporalen Logik (LTL) verwendet.
Leveraging the resulting first-order logic structure of the system model, the simulation is coupled with a statistical model-checker that uses a first-order variant of time-bounded linear temporal logic (LTL) for describing properties.
Dabei können sowohl Zeit- als auch Ressourcenverhalten auf der Zielhardware überprüft werden. Für die Analyse können vorab definierte Anforderungen einfach wiederverwendet werden. Somit identifiziert der TA Inspector automatisch Abweichungen zwischen der Simulation des Systemmodells und dem Verhalten des ausgeführten Codes auf der Zielhardware.
This includes the inspection of both timing characteristic and resource consumption of an application on the target hardware. TA Inspector enables the automatic detection of divergences between a simulated system model and the developed code executed on the real target hardware.
Überraschenderweise ist die Komplexität nur einfach exponentiell in den Größen der temporalen Formel und des Systemmodells.
Surprisingly, it is only exponential in the sizes of the temporal formula and the system model.
Ausgestaltung von Methoden zur frühzeitigen Analyse auf Basis des Systemmodells
Designed methods for early analysis based on the system model
Wenn Sie die Konstruktionszeichnung des Systemmodells ändern, können Sie Detailansichten, Schnittansichten und Ansichtsdarstellungen aktualisieren, um die Änderungen widerzuspiegeln.
If you modify the system model in its construct drawing, you can automatically update detail, section, or elevation views to reflect the changes.
Dabei spielt die kontinuierliche Dokumentation der dynamischen Entwicklung des Systemmodells aus Sicht der Nachverfolgbarkeit eine zentrale Rolle.
The continuous dynamic development documentation of the system model plays a central role in the traceability of the system.
Auf Basis des Systemmodells und der Ergebnisse der Analyse wird ein Vertragskonzept vorgestellt, mit welchem Applikationen, Plattformen und integrierte Systeme anhand von verfügbaren und erforderlichen Ressourcen spezifiziert werden können.
Based on the system model and the analysis results a contract concept is introduced, which allows the specification of applications, platforms and integrated systems based on provided and required resources.
& umbrello; kann bereits vorhandenen Quelltext eines bestehenden Projektes einlesen, um beim Aufbau des Systemmodells zu unterstützen. & umbrello; 1.2 verfügt über die Möglichkeit C++ Quelltext einzulesen, weitere Sprachen werden in späteren Versionen folgen.
& umbrello; can import source code from your existing projects to help you build Model of your systems. & umbrello; 1.2 supports only C++ source code, but other languages should be available in future versions.
System nach Anspruch 1, ferner dadurch gekennzeichnet, daß das Steuerungssystem außerdem ein Anpassungsmodul (42) zur Steuerung des Systemmodells (32) enthält.
The system of Claim 1further characterised in that the control system further includes an adaptation module (42) for controlling the system model (32).
