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

種屬關(guān)系

反感

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