Titlebook: Echtzeitkommunikation und Ethernet/Internet; PEARL 2001 Workshop Peter Holleczek,Birgit Vogel-Heuser Conference proceedings 2001 Springer-

栏杆

Zur Entwicklung zertifizierbarer fehlertoleranter Realzeit-Software mit Funktionsblock-Diagrammen füung nichtlinearer Zustands-Beobachter als analytische Redundanz, für verläßliche, insbesondere sichere Prozesse auf der Basis der “Verifikation durch Inspektion”, diskutiert. Dabei werden Funktionsblock-Diagramm-Architekturen mit “abgeleiteten” Funktionsblöcken zur Beherrschung der Komplexität auf T