杂役
发表于 2025-3-30 11:47:52
Einige formale Methoden zur Programmverifikation,ogrammeinheiten mathematisch streng beweisen läßt, werden die symbolische Programmausführung sowie die Methode der Vor- und Nachbedingungen nach Hoare vorgestellt und dann beispielhaft auf typische Funktionsblöcke der Automatisierungstechnik angewendet.
仲裁者
发表于 2025-3-30 13:51:51
Unterbrechungsfreie asynchrone Echtzeitverarbeitung mit Zustandswiederherstellung zur Laufzeit,Fähigkeit von Rechnerknoten zum Neuaufsetzen der Verarbeitung im laufenden Betrieb durch Kopieren des internen Zustands redundanter Knoten. Diese Zustandsdaten brauchen nur protokolliert zu werden, um im Testbetrieb nachträgliche Ablauf- und für den Normalbetrieb Post-mortem-Analysen zu ermöglichen.
Haphazard
发表于 2025-3-30 19:50:16
Statisch und dynamisch sichere Prozessoren,tekturen mit hardwarebasierten Fehlererkennungsmerkmalen vorgestellt. Diese erlauben einfache und zuverlässige Erkennung auftretender Kontroll- und Datenflussfehler und sind bisherigen Ansätzen deutlich überlegen.
朴素
发表于 2025-3-30 21:33:39
http://reply.papertrans.cn/87/8670/866915/866915_54.png
FUSE
发表于 2025-3-31 04:46:03
Ein sicherheitsgerichteter Feldbus,itlich synchronisiert werden und wie Daten mittels des Summenrahmentelegramms übertragen werden. Echtzeitfähigkeit wird dadurch erzielt, dass sich durch Einsatz bestimmter Fehlertoleranzmaßnahmen weitestgehend vermeiden lässt, Telegrammübertragungen im Fehlerfalle wiederholen zu müssen.
毛细血管
发表于 2025-3-31 08:45:17
Book 2018Latest editiononeller Grundlagen sicherheitsgerichteter Echtzeitsysteme wird in die Denkweise der Sicherheitstechnik eingeführt. Architekturen für sichere Hardware sowie Verfahren zur Erstellung möglichst fehlerfreier Software und zu deren Verifizierung werden dargestellt und bewertet. Weiterhin werden Ergebnisse
哄骗
发表于 2025-3-31 11:22:17
http://reply.papertrans.cn/87/8670/866915/866915_57.png
GENUS
发表于 2025-3-31 15:31:24
Wolfgang A. Halang,Rudolf M. Konakovskyinternal phase/amplitude control.Outstanding experts from inOptical Resonators provides a detailed discussion of the properties of optical resonators for lasers from basic theory to recent research. In addition to describing the fundamental theories of resonators such as geometrical optics, diffract