Das Interesse an fehlertolerierenden Rechnersystemen wachst. Grunde da fur sind einerseits die Forderungen der Anwender nach groBerer Zuver lassigkeit und hoherer Verfugbarkeit der daten- und informationsverar beitenden Systeme und andererseits die entsprechenden zunehmenden Akti vitaten in Forschung und Entwicklung zur Losung der aufgeworfenen Pro bleme. Dies ist der Hintergrund dafur, der Thematik der "fehlertole rierenden Rechnersysteme" in einer eigenen Fachtagung eine breite Ba sis zu schaffen und die bestehenden Probleme universell bewuBt zu ma chen. Ziele dieser Tagung sind - den...

Dieses Buch befat sich mit der Aufgabe, einen Grundrahmen fur den Aufbau einer Methodenbank der Systemtheorie zu schaffen und die Anwendung desselben mittels einer konkreten Software-Implementierung zu demonstrieren. Als allgemeines Problemlosungsgerust wird die sogenannte STIPS-Maschine eingefuhrt, mit der "Systemtypen" uber "Systemtransformationen" abgeleitet und interaktiv "Systemalgorithmen" entwickelt werden konnen. Am Beispiel der speziellen Methodenbank CAST.FSM fur die Behandlung von Problemstellungen der Automaten- und Schaltwerktheorie wird dieses Konzept demonstriert. Ziel ist es...