Titlebook: Verläßliche Informationssysteme; Proceedings der GI-F Gerhard Weck,Patrick Horster Conference proceedings 1993 Springer Fachmedien Wiesbade

形状

Sichere Delegation in Informationssystemengation dargestellt, diese in ein abstraktes Protokoll für Delegation umgesetzt und dieses schließlich auf die Ebene des Informationssystems DORIS übersetzt. Anschließend folgt eine Beschreibung von Sicherheitsanforderungen für Delegation.

diskitis

Ergebnisvalidierung und nebenläufige Hardwarefehlererkennung mittels systematisch erzeugter Diversitiete geforderte hohe Zuverlässigkeit und Sicherheit (im Sinne von engl. safety) kann durch Fehlertoleranzverfahren erreicht werden. Eine Möglichkeit hierzu bietet der Einsatz von Diversität, bei der mehrere Programme erstellt werden, welche die gleiche Spezifikation erfüllen sollen. Dabei ermöglicht

Dendritic-Cells

Graphische Entwicklung sicherheitstechnisch abnehmbarer Software für die Prozeßautomatisierunggiges Werkzeug zur graphischen Software-Entwicklung und zum schnellen Prototyping in industriellen Automatisierungsprojekten vorgestellt. Die Konstruktion der Programme erfolgt durch die Verknüpfung von Funktionsblockinstanzen, die aus einer Bibliothek bezogen werden und deren Korrektheit bewiesen i

种属关系

反感

Pessary

平庸的人或物

Esophagitis

Architektur von RiskMa — ein erster Ansatz zum on-line Risikomanagementssysteme entstehen, die sich aus vielen Komponenten zusammensetzen. Die Abhängigkeiten zwischen den Komponenten sind oft nicht mehr überschaubar. Die Risiken beim Einsatz solcher Systeme steigen. Es ist ein Risikomanagement erforderlich, das der ständigen Weiterentwicklung des Systems gerecht wird.

正式演说

conceal