CAST Computerunterstützte Systemtheorie

Dieses Buch befaßt sich mit der Aufgabe, einen Grundrahmen für den Aufbau einer Methodenbank der Systemtheorie zu schaffen und die Anwendung desselben mittels einer konkreten Software-Implementierung zu demonstrieren. Als allgemeines Problemlösungsgerüst wird die sogenannte STIPS-Maschine eingeführt, mit der "Systemtypen" über "Systemtransformationen" abgeleitet und interaktiv "Systemalgorithmen" entwickelt werden können. Am Beispiel der speziellen Methodenbank CAST.FSM für die Behandlung von Problemstellungen der Automaten- und Schaltwerktheorie wird dieses Konzept demonstriert. Ziel ist es zu zeigen, welche Systematik heute bei der Sammlung von Methoden der Systemtheorie angewandt werden kann und wie es gelingt, eine solche Sammlung für die Entwicklung von Anwendungssoftware für den CAD-Bereich einzusetzen. Im Vordergrund stehen dabei die klassischen Anwendungsgebiete der Systemtheorie im Bereich des Entwurfs von komplexen Hardwaremoduln der Computertechnik und im Bereich der Signalverarbeitung. Das Buch zeigt, wie über die Entwicklung von Programmpaketen hinaus mit den heutigen Mitteln der Softwaretechnik mit Workstations leistungsfähig interaktive Methodenbanken für den Einsatz von systemtheoretischen Methoden in der Technik gebaut werden können.