Das Projekt "Werkzeuge fuer den standardisierten Software-Sicherheitsnachweis (SOSAT2)" wird vom Umweltbundesamt gefördert und von TÜV Nord e.V., Geschäftsstelle Hamburg durchgeführt. Aufbauend auf den Ergebnissen von SOSAT 1 wurden in SOSAT 2 Arbeiten ueber dynamische Tests durchgefuehrt, die in SOSAT 1 nebeneinanderstehenden Ergebnisse zum Kontrollfluss und zum Datenfluss wurden zusammengefuehrt. Weiterhin wurde ueber den Vergleich der Analyseergebnisse mit den Vorgaben aus der Spezifikation gearbeitet, und es erfolgten erste Schritte in Richtung auf Analyse des Zeitverhaltens. Moeglichkeiten zu Zuverlaessigkeitsangaben ueber Rechnersysteme aufgrund von Ausfalldaten zu machen, wurden dargestellt. Die erarbeiteten Verfahren wurden anhand eines der Praxis entnommenen Beispieles erprobt.
Das Projekt "Werkzeuge fuer den standardisierten Software-Sicherheitsnachweis (SOSAT3)" wird vom Umweltbundesamt gefördert und von TÜV Nord e.V., Geschäftsstelle Hamburg durchgeführt. Im Forschungsvorhaben wurden Daten- und Echzeit-Analysatoren zu den, im Vorlaeuferprojekt SOSAT 2 entwickelten analytischen, auf dem Objektcode der Prueflinge aufsetzenden Pruefwerkzeuge fuer 8-/16-Bit Mikroprozessoren entwickelt und erprobt. Werkzeugprototypen wurden entwickelt fuer die Unterstuetzung von Erstellung und Pruefung formalisierter Anforderungsspezifikationen und zur Erstellung von Testspezifikationen. Methodische Vorarbeiten wurden zu formalen Spezifikationsverfahren fuer Software und zur Spezifikation und Ueberpruefung des Echtzeitverhaltens von Rechnern durchgefuehrt.