Abstract
Die Entwicklung von Realzeitsystemen muß durch rechnergestützte Werkzeuge in allen Dimensionen (Lebenszyklus, Management, Qualität, Dokumentation) unterstützt werden, um eine zeit- und kostentreue Projektabwicklung zu erreichen. Die heute erhältlichen Werkzeuge sind auf einzelne Entwurfsschritte abgestimmt und nicht durchgängig einsetzbar. Ziel des Projektes PROSYT war daher eine Integration von Werkzeugen zwischen den Schnittstellen PRODAT (Datenerhaltungssysteme) und PRODIA (Dialogsysteme). Beide Schnittstellen werden in ihrer Funktionalität erläutert. In diese Schnittstellen sind Werkzeugsätze integriert, die eine durchgängige Unterstütztung von der Spezifikationsphase bis zur Implementationsphase gewährleisten. Hierzu gehören formale Spezifikationswerkzeuge, automatische Umsetzer in Simulationssprachen zur Evaluierung, Simulatoren und Umsetzer in Programmiersprachen. Ein spezielles Kapitel ist der Verifikation von Softwaresystemen gewidmet. (IITB)