Description: Das Projekt "Werkzeuge fuer den standardisierten Software-Sicherheitsnachweis (SOSAT3), Werkzeuge fuer den standardisierten Software-Sicherheitsnachweis (SOSAT2)" wird/wurde ausgeführt durch: TÜV Nord e.V., Geschäftsstelle Hamburg.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.
SupportProgram
Origin: /Bund/UBA/UFORDAT
Tags: Hamburg ? Kerntechnische Anlage ? Reaktorsicherheit ? Software ? Qualitätsmanagement ? Automatisierung ? Datenverarbeitung ? Mikroelektronik ? Sicherheitstechnik ? Systemtechnik ? Vergleichsanalyse ? Mikroprozessorsystem ? SOSAT2 ? Sicherheitsnachweis ? Werkzeug ? Zuverlässigkeit ?
Region: Hamburg
Bounding boxes: 9.99302° .. 9.99302° x 53.55073° .. 53.55073°
License: cc-by-nc-nd/4.0
Language: Deutsch
Time ranges: 1987-01-01 - 1990-12-31
Accessed 1 times.