Description: 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.
Types:
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 box: 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.