Description: 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.
SupportProgram
Origin: /Bund/UBA/UFORDAT
Tags: Hamburg ? Kerntechnische Anlage ? Reaktorsicherheit ? Software ? Qualitätsmanagement ? Analysegerät ? Datenverarbeitung ? Informatik ? Mikroelektronik ? Prüfverfahren ? Sicherheitstechnik ? Systemtechnik ? Forschungsprojekt ? Echtzeitverhalten ? SOSAT3 ? Sicherheitsnachweis ? Werkzeug ?
Region: Hamburg
Bounding boxes: 9.99302° .. 9.99302° x 53.55073° .. 53.55073°
License: cc-by-nc-nd/4.0
Language: Deutsch
Time ranges: 1991-07-01 - 1995-06-30
Accessed 1 times.