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