(Informatik bewegt: Informatik 2002 - 32. Jahrestagung der Gesellschaft für Informatik e.v. (GI), Ergänzungsband, 2002) Glöe, Günter
Software wird in der Kerntechnik seit etwa 30 Jahren für sicherheitsrelevante Aufgaben eingesetzt. Der Zusammenhang von Sicherheit mit anderen Qualitätsmerkmalen von Software wird dargestellt. Die Rolle des Gutachters im Zusammenhang mit sicherheitsrelevanter Leittechnik und Software wird beschrieben. Besonders eingegangen wird auf die üblicherweise unvollständigen Qualitätsund Sicherheitsvorgaben für die Software-Entwicklung, auf vorbenutzte Software, auf Statische Analysen, auf Mängel im Code und auf den Umgang mit Standards in Entwicklung und Begutachtung. Einige bei der Begutachtung verwendete Hilfsmittel (Tools) werden genannt.