Dein Suchergebnis zum Thema: Model

Meintest du modell?

Kontinuierliche Timing-Sicherstellung

https://www.dlr.de/de/se/forschung-transfer/themen/kontinuierliche-timing-sicherstellung

Die Sicherstellung zeitlicher Eigenschaften ist ein entscheidender Aspekt bei der Entwicklung sicherheitskritischer Systeme. So gehört zum Beispiel zum sicheren Betrieb hochautomatisierter Fahrzeuge die Fähigkeit, auf erkannte Hindernisse in einer bestimmten maximalen Zeit zu reagieren. Unser Asset „Kontinuierliche Timing-Sicherstellung“ bietet Methoden und Werkzeuge, die die Spezifikation, Verifizierung und Überwachung der zeitlichen Eigenschaften während des gesamten Systemlebenszyklus ermöglichen: Von der Spezifikation, Implementierung und Prüfung in der Entwicklungsphase bis hin zur Überwachung, Diagnose und Rückmeldung an die Entwickler in der Betriebsphase.
Das Unified Abstract Component Model (UACM) ist ein Zwischenformat zur Spezifikation