Description: Das Projekt "Werkzeuge fuer den standardisierten Software-Sicherheitsnachweis (SOSAT1)" wird vom Umweltbundesamt gefördert und von TÜV Nord e.V., Geschäftsstelle Hamburg durchgeführt. Rechnern war der Einsatz auf dem Gebiet der Sicherheitstechnik in der Bundesrepublik Deutschland noch weitgehend verschlossen. Um die Vorteile der Rechner- und Mikroprozessor-Technologie fuer sicherheitstechnische Anwendungen der Kerntechnik nutzbar zu machen und den Anschluss an fortschrittliche europaeische Laender, wo Mikroprozessoren bereits im Reaktorschutzsystem von Kernkraftwerken eingesetzt wurden, zu finden, wurde dieses Forschungsvorhaben vorgeschlagen. Es sollte dazu dienen, die umfangreichen zu Software-Qualifikation vorgestellten Theorien in technisch einsetzbare Hilfsmittel zur sicherheitstechnischen Qualifikation von Rechnersoftware umzusetzen. Damit sollte die Pruefung von Programmen fuer Prozessrechner und Mikroprozessoren vereinfacht und teilweise automatisiert werden. Das Arbeitsergebnis hat den Einsatz von Prozessrechnern und Mikroprozessoren fuer sicherheitstechnische Anwendungen vorbereitet und zusaetzliche Hinweise auf den zweckmaessigen Aufbau sicherheitstechnischer bedeutsamer Software geliefert.
Types:
SupportProgram
Origin: /Bund/UBA/UFORDAT
Tags: Hamburg ? Kernkraftwerk ? Kerntechnische Anlage ? Reaktorsicherheit ? Software ? Qualitätsmanagement ? Automatisierung ? Datenverarbeitung ? Informatik ? Kerntechnik ? Mikroelektronik ? Prüfverfahren ? Sicherheitstechnik ? Forschungsprojekt ? Sicherheitsnachweis ? Werkzeug ?
Region: Hamburg
Bounding box: 9.99302° .. 9.99302° x 53.55073° .. 53.55073°
License: cc-by-nc-nd/4.0
Language: Deutsch
Time ranges: 1984-10-01 - 1986-09-30
Accessed 1 times.