形状 发表于 2025-3-25 03:19:22

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 发表于 2025-3-25 08:24:24

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 发表于 2025-3-25 12:44:44

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

种属关系 发表于 2025-3-25 15:56:54

http://reply.papertrans.cn/99/9820/981917/981917_24.png

反感 发表于 2025-3-25 22:00:17

http://reply.papertrans.cn/99/9820/981917/981917_25.png

Pessary 发表于 2025-3-26 01:25:21

http://reply.papertrans.cn/99/9820/981917/981917_26.png

平庸的人或物 发表于 2025-3-26 06:33:57

http://reply.papertrans.cn/99/9820/981917/981917_27.png

Esophagitis 发表于 2025-3-26 12:06:44

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.

正式演说 发表于 2025-3-26 15:52:18

http://reply.papertrans.cn/99/9820/981917/981917_29.png

conceal 发表于 2025-3-26 18:57:15

http://reply.papertrans.cn/99/9820/981917/981917_30.png
页: 1 2 [3] 4 5 6 7
查看完整版本: Titlebook: Verläßliche Informationssysteme; Proceedings der GI-F Gerhard Weck,Patrick Horster Conference proceedings 1993 Springer Fachmedien Wiesbade