Titlebook: Sicherheitsgerichtete Echtzeitsysteme; Wolfgang A. Halang,Rudolf M. Konakovsky Book 2018Latest edition Springer-Verlag GmbH Deutschland, e

杂役

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.

仲裁者

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

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.

朴素

FUSE

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.

毛细血管

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

哄骗

GENUS

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