Computer systems
Publications
(the names of SEECERT staff are emboldened)
Specialist literature
In cooperation with G. Glöe, G. Rabe, Dependability of Critical Computer Systems 1, Ed. F. J. Redmill, Elsevier, London, GB, 1988, ISBN 1-85166-203-0
In cooperation with G. Glöe, G. Rabe, Dependability of Critical Computer Systems 2, Ed. F. J. Redmill, Elsevier, London, GB, 1988, ISBN 1-85166-381-9
G. Glöe, E.-U. Mainka, R. Westhäußer, TÜV Forschungsberichte, Mindestanforderungen für sicherheitsrelevante Rechner in Bahn- und Kerntechnik, Teilbericht Kerntechnik, edited by TÜV Norddeutschland e.V., published by TÜV Rheinland GmbH, Cologne, 1990, ISBN 3-88585-836-3
In cooperation with G. Glöe, R. Westhäußer, Software-Zuverlässigkeit, VDI-Verlag, Düsseldorf, 1993, ISBN 3-18-401185-2
In cooperation with U. Anders, R. Flor, Software Metrics for Product Assessment, McGraw-Hill, 1994, ISBN 0-07-707923-X
G. Rabe (Editor), SAFECOMP ’95, Proceedings of the 14th International Conference on Computer Safety, Reliability and Security, Belgirate, Italy, 11-13 October 1995, Springer Verlag, Berlin Heidelberg New York, 1995, ISBN 3-540-19962-4
In cooperation with G. Glöe, R. Westhäußer, Zuverlässigkeit komplexer Systeme aus Hardware und Software, Beuth Verlag, Berlin Vienna Zürich, 1998, ISBN 3-410-32889-0
Lectures and presentations
G. Glöe, H. Eggert, Zum Einsatz von Prozeßrechnern für sicherheitstechnisch bedeutende Aufgaben in Kernkraftwerken, TÜ, No. 6, 1977
G. Glöe, Results of the Inspection of Process Control Computers, OECD Halden Reactor Project, Enlarged HPG Meeting, Loen, Norway, 1978
G. Glöe, Inspection of Process Control Computers; in: Transactions of the American Nuclear Society, Vol. 31, Pages 134f., La Grange Park, USA, 1979
G. Glöe, Begutachtung und Prüfung von Prozeßrechneranlagen für Kernkraftwerke; in: Testen und Verifizieren von Prozeßrechner-Software, Hrsg. Gmeiner, L., Hommel, G., Kernforschungszentrum Karlsruhe GmbH, PDV-Bericht, KfK-PDV 179, December 1979
G. Glöe, Inspection of Process Computers for Nuclear Power Plants, in: Safety of Computer Control Systems, Hrsg. Lauber, R., Pergamon Press, Oxford, GB, 1980
G. Glöe, Prozeßrechner für Sicherheitsaufgaben in Kernkraftwerken, in: Informatik-Fachberichte, Band 39, Hrsg. Brauer, W., Springer-Verlag, Berlin, Heidelberg, New York, 1981
G. Glöe, S. Klews, O. Nordland, G. Rabe, R. Westhäußer, Disturbance Recording Systems, Enlarged Halden Programme Group Meeting, Loen, Norway, May 1983
G. Glöe, E.-U. Mainka, O. Nordland, Software Verification for a Control Rod Steering Computer, Enlarged Halden Programme Group Meeting, Loen, Norway, May 1983
G. Glöe, E.-U. Mainka, G. Rauch, U. Schmeil, J. Märtz, Safety Assessment of the Software of a Control Rod Motion Computer, Forum Safety of Computer Control Systems, Cambridge, GB, September 1983
U. Anders, G. Rabe, Sicherheitsanalyse von Prozeßrechnern und Mikroprozessoren, Lecture at the 2md Conference of the Research Sectin of the IVSS "Arbeitssicherheit bei Automatisierung und neuen Techniken", Bonn-Honnef, May 1985
G. Glöe, O. Nordland, Qualification and Licensing of Computer Based Systems for Safety Tasks in German Light Water Reactors, International Topical Meeting on Computer Applications for Nuclear Power Plant Operation and Control, Pasco, USA, September 1985
W. Ehrenberger, J. Märtz, G. Glöe, E.-U. Mainka, Reliability Evaluation of a Safety Related Operating System, SAFECOMP '85, Como, Italy, 1985
G. Glöe, G. Rabe, Experience with Computer Assessment in: Safety and Reliability of Programmable Electronic Systems, ed. by B. K. Daniels, Proceedings of Programmable Electronic Systems Safety Symposium, Guernsey, May 1986, Elsevier Applied Science Publishers, 1986
O. Nordland, G. Rabe, Safety Analysis for a Pipeline Control System, 5th IFAC/IFIP/IFORS International Conference on Control in Transportation Systems, Vienna, Austria, July 1986
G. Glöe, G. Goßner, H. Schüller, Software und Hardware Qualifizierung, Deutsches Atomforum, Fachtagung 'Mensch und Chip in der Kerntechnik', Bonn, October 1987
G. Dahll, G. Glöe, E.-U. Mainka, G. Rode, J. E. Sjøberg, SOSAT- Progress and Results, OECD Halden Reactor Project, Enlarged HPG Meeting, Loen, Norway, May 1988
G. Glöe, R. Westhäußer, Assessment and Licensing of Control Computers in the FRG, IFIP/IFAC Working Conference on Hardware and Software for Real Time Process Control, Warsaw, Poland, May 1988
G. Rabe, ATM-Rechner in der Sicherheitstechnik, AMUSE-Treffen, Constance, June 1988
G. Glöe, Qualifizierung von Software für Sicherheitsaufgaben, Behördenseminar 'Sicherheitssystem Leittechnik', Cologne, September 1988
G. Glöe, Rechnergestützte Prüfung im Zulassungsverfahren von Software-Produkten für Kernkraftanlagen, Lecture at TU Braunschweig, October 1988
E.-U. Mainka, G. Rabe, G. Rode, Development of a Logic Analyzer to Assist Dynamic Program Tests in the Software Safety Proof, IFAC/IFIP International Symposium on Safety Related Computers in an Expanding Market, SAFECOMP '88, Fulda, November 1988
G. Rabe, Safety Requirements in Process Automation, VTT Symposium, Tampere, Finland, May 1989
G. Rabe, Verifikation von Software, Methoden und Werkzeuge, Lecture at TH Darmstadt, February 1990
G. Glöe, K. Pierick, H. Walther, Software-Prüfung - Grundsätzliche Aussagen zu aufsichtsbehördlichen Prüfungen von Software-Produkten mit Sicherheitsverantwortung im spurgeführten Verkehr, in: Signal + Draht, Informationstechnik im Eisenbahnwesen, Volume 5, Page 98ff., May 1990
G. Glöe, G. Rabe, Tools for Quality Assurance of Controller Software, ISATA, 22nd International Symposium on Automotive Technology and Automation, Florence, Italy, May 1990
G. Glöe, Unsere Kraftwerke sind TÜV-geprüft - CASE schafft die Diskussionsgrundlage, GEI user seminar, Wiesbaden, June 1990
U. Anders, E.-U. Mainka, G. Rabe, Tools and Methodologies for Quality Assurance, SAFECOMP '90, Gatwick, GB, 1990
H. Gerdes, G. Glöe, VDI-Handbuch Softwarezuverlässigkeit, Gesamtdarstellung der Arbeiten, in: ITG Fachbericht 116, Technische Zuverlässigkeit 1991, VDE-Verlag, 1991
G. Dahll, G. Glöe, E.-U. Mainka, The Use of SOSAT-Tools in Practice, Two Examples, Enlarged Halden Programme Group Meeting, Bolkesjø, Norway, June 1991
G. Glöe, R. Westhäußer, Assessment of Computer Control Systems - Current Practice and Trends in Germany, NEA/IAEA Symposium on NPP Instrumentation and Control, Tokyo, Japan, May 1992
G. Rabe, Certification of Safety Critical Systems in Germany, Safety Critical Systems Symposium 1993, Bristol, GB, February 1993
G. Glöe, Zuverlässigkeit und Qualität von Software - Wege, Bedingungen und Probleme, VDI-Gemeinschaftsausschuß "Industrielle Systemtechnik", Handwerkskammer Hamburg,
25 March 1993
G. Rabe, Certification of Safety Critical Systems in Europe, Safety Interlock Committee Meeting, Du Pont, Newark, USA, May 1993
G. Glöe, Effizientes Prüfen von Leittechnik für Reaktorschutz und andere sicherheitskritische Anwendungen, Symposium "Digitale Leittechnik", TÜV Rheinland, Cologne, 24 May 1993
G. Rabe, TÜV Certification of Safety Related PLCs and their Application Software, Kemira Seminar, Helsingborg, 1/2 June 1994
G. Glöe, R. Westhäußer, Principles, Checklists and Tools for Verification and Validation of Safety Critical Control Systems, IAEA TCM, Espoo/Helsinki, Finland, 20 June 1994
G. Gall, G. Rabe, Internationaler und europäischer Stand der Normung für sicherheitsgerichtete programmierbare Systeme, 1. Internationales SPS-Symposium, Cologne, 7/8 September 1994
G. Gall, G. Rabe, International and European Standardization for PLCs in Safety Critical Systems - Qualification, Type Testings, Certification and Licensing, SAFECOMP ’94, Anaheim, October 1994
G. Glöe, G. Rabe, Software Quality Assurance for Safety Critical Systems, SARSS '94, Risk Management and Critical Protective Systems, Manchester, England, 12-13 October 1994
G. Glöe, Workshop - Zuverlässigkeit und Qualität von Software - Zufall oder bestimmbar?, VDI-Gesellschaft Systementwicklung und Projektgestaltung (VDI-GSP), Württembergischer Ingenieurverein Stuttgart, Stuttgart, 10 November 1994
G. Glöe, G. Rabe, Current Practice in Verification, Validation and Licensing of Safety Critical Systems - The Assessor`s Point of View, Safety Critical Systems Symposium, Brighton, England, 07-09 February 1995
G. Glöe, Software-Qualität und Software-Zuverlässigkeit - Eine Herausforderung an die industrielle Informationstechnik, Online '95, Hamburg, 6-10 February 1995
G. Glöe, G. Rabe, Niezawodnósc i bezpieczenstwo systemów komputerowych, Atestacja vertiyfikacja i licencjonowanie systemów komputerowych pelniacych funkcje zwiazane z bezpieczenstem, Informatyka, No. 8, 1995, Pages 19-26
(translated from the English by Zdzislaw Zurakowski, English title: Validation, certification, and licensing of safety related computer systems)
G. Glöe, Der Software-Ingenieur und seine Aufgabenstellung, TTZ '95, Fulda, 26/27 September 1995
G. Glöe, Qualität und Qualifizierung zeitgemäßer Leittechnik, Forschungszentrum Karlsruhe, Technik und Umwelt, K13 - Neuere Entwicklungen in der Reaktortechnik, Karlsruhe, 10 October 1995
G. Rabe, Assessment and Certification of PLCs in Safety Critical Applications, Safety Conference, "Programmierbare Sicherheitssysteme in Prozeßanlagen", Carl Bro, Glostrup, Denmark, 16 January 1996
G. Glöe, G. Pillmann, R. Westhäußer, Testing of Computer-Based Systems - Methods, Tools, and Results, OECD/NEA, International Workshop of Technical Support for Licensing Issues of Computer-Based Systems Important to Safety, Munich, 5-7 March 1996
G. Rabe, Sicherheitsgerichtete SPS-Systeme in der Praxis - Anwendungen, Prüfung und Begutachtung, 5th German ENCRESS Workshop, Hamburg, 23 April 1996
G. Glöe, Produktqualität - Kriterien und Nachweis, ESPITI-Seminar "Qualitätsmanagement in der Software-Entwicklung", Frankfurt, 23 April 1996
G. Glöe, Ein Verfahren zum Nachweis des anforderungsgemäßen Zeitverhaltens von Rechnersystemen mit Sicherheitsverantwortung, Volume 54 of the publication series of the Institute of railway systems engineering and traffic safety, University of Braunschweig, Braunschweig, 1996, ISSN 0721-7137, ISBN 3-923325-54-1
G. Rabe, F. Reche, Safe PLC Applications and IEC 1131-3, ICP Conference, Paris,
1/2 October 1996
G. Glöe, O. Jack, R. Mehl, M. Müllerburg, Zuverlässigkeit komplexer Systeme aus Hardware und Software, in: Sicherheitstechnik und Automatisierung, VDI Bericht 1336, VDI-Verlag, Düsseldorf, February 1997, Pages 23-33, ISSN 0083-5560, ISBN 3-18-091336-3
G. Rabe, The EWICS TC7 PLC Guideline, Symposium on Industrial Experience with the use of Safety Standards for Programmable Electronic Systems, Rotterdam, Netherlands, 16 April 1997
G. Rabe, "Guidelines for the Maintenance and Modification of Safety-related Computer Systems", EWICS TC7, Workshop on Maintenance, Vienna, 26 April 1997
U. Anders, J. Bøegh, B. Kitchenham, A. Pasquini, S. de Panfilis, S. Linkman, Automating Software Quality Modelling Measurement and Assessment, ENCRESS ’97, Athens, Greece, 29/30 May 1997
H. Mehrgardt, G. Rabe, Qualification of a noble gas monitor for accident instrumentation in NPPs, ANS Annual Meeting, Orlando, USA, 1-5 June 1997
M. Andernacht, H.-P. Balfanz, G. Glöe, Zuverlässigkeit digitaler Leittechnik, in: Zuverlässige Technik ist planbar, VDI Bericht 1364, VDI-Verlag, Düsseldorf, 1997, Pages 67-86, ISSN 0083-5560, ISBN 3-18-091364-9
G. Glöe, R. Westhäußer, Qualitätsverbesserung und Qualitätsbestätigung von Software durch Zertifizierung und Prüfung, in: Richter, D., Greif, N. [Hrsg.], Softwarequalitätssicherung in der Metrologie, PTB-IT-6, February 1999, Pages 89-99
G. Glöe, Das Jahr-2000-Problem, TÜV NORD AKADEMIE, Hannover, 14 April 1999´
G. Glöe, Qualität und Qualifizierung zeitgemäßer Leittechnik, K13-8 - Neuere Entwicklungen in der Reaktortechnik - Digitale Leittechnik in sicherheitsnahen Bereichen der Kernkraftwerke, Forschungszentrum Karlsruhe, 6 May 1999
G. Glöe, Computer Systems Certification, EUROLAB / EURACHEM Workshop 'Quality Assurance of Computer Systems in Laboratories', Berlin, 1 October 1999
H. Gall, E.-U. Mainka, G. Rabe, Funktionale Sicherheit von programmierbaren Systemen und Komponenten. Anforderungen aus nationalen und internationalen Standards abgeleitet unter Anwendung eines Werkzeugs, 4th International Symposium "Programmierbare Systeme für sicherheitsgerichtete Anwendungen", Cologne, 3/4 May 2000
G. Glöe, G. Rabe, Qualität für Embedded Systems, Praxisforum "32 Bit embedded system development", MicroConsult / MAZ, Hamburg, 30 May 2000
G. Glöe, G. Rabe, Erfahrungen mit der Prüfung digitaler Steuerungssysteme, 156. PTB-Seminar, Berlin, 17 November 2000
G. Glöe, F. Jürgens, G. Rabe, Anforderungen an die Kfz-Elektronik - Leittechnik, 2nd Braunschweiger Symposium on the subject of "Automatisierungs- und Assistenzsysteme für Transportmittel", TU Braunschweig, 20/21 February 2001
G. Glöe, G. Rabe, Qualifizierung von Software für Kraftfahrzeuge, 21st Conference "Elektronik im Kraftfahrzeug", Haus der Technik, Munich, 30/31 May 2001
G. Glöe, F. Jürgens, G. Rabe, Anwendung der IEC 61508 im Fahrzeugbereich, 5th International Symposium "Programmierbare Systeme für sicherheitsgerichtete Anwendungen", Cologne, 7/8 May 2002
G. Glöe, Sicherheit von Software und Leittechnik, Projektkomitee "Dringlichkeitsprojekt Äußere Einwirkungen", Cologne, 20 August 2002
G. Glöe, E.-U. Mainka, Lessons-learned in Assessing Safety of Computer-based Systems Including some Special Techniques and Outlook on a Future Project, Enlarged Halden Programme Group Meeting, Gol, Norway, 8-13 September 2002
G. Glöe, Sicherheitsrelevante Software in der Kerntechnik - Sicht des Gutachters, 32. Jahrestagung der Gesellschaft für Informatik, Dortmund, 2 October 2002
G. Glöe, G. Rabe, Qualifizierung von Software für Kraftfahrzeuge, 11. Aachener Kolloquium Fahrzeug- und Motorentechnik, Aachen, 8 October 2002
G. Glöe, Das Maß aller Dinge - Definition von Qualitätsmerkmalen und ihre pragmatische Umsetzung, MicroConsult PraxisForum "Embedded Quality", Zürich, 10 October 2002, Munich, 15 October 2002
G. Glöe, Sicherheit elektronischer Systeme im Automobil, EUROFORUM-Konferenz "Datenkommunikation im Automobil", Heidelberg, 3/4 June 2003
G. Glöe, R. Westhäußer, Prüfen von Software für "Embedded Systems", 12. GMA/ITG-Fachtagung "Sensoren und Messsysteme 2004", Ludwigsburg, 15/16 March 2004
G. Glöe, Sicherheit von E/E-Systemen und der Datenkommunikation im Automobil, EUROFORUM-Konferenz "Datenkommunikation im Automobil", Heidelberg, 23/24 March 2004
G. Glöe, Ch. Hills, Funktionale Sicherheit elektrischer, elektronischer und programmierbarer elektronischer Systeme, EUROFORUM-Konferenz "Datenkommunikation im Automobil", Heidelberg, 23/24 March 2004
G. Glöe, Eigenschaften des Maschinen Codes von betriebssicheren Steuerungen, 6. Internationales Symposium "Programmierbare Systeme für sicherheitsgerichtete Anwendungen", Cologne, 4/5 May 2004
G. Glöe, E.-U. Mainka, RiskCAT Nuclear - An Approach to Capture Requirements from Nuclear Standards, Enlarged Halden Programme Group Meeting, Sandefjord, Norway, 9-14 May 2004
G. Glöe, G. Rabe, Was bedeutet Software-Qualität, TÜV NORD Praxis-Tag "Fahrzeug-Elektronik und -Software für Nutzfahrzeuge und Arbeitsmaschinen", Melle, 15 June 2004
G. Glöe, Invariante Merkmale rechnerbasierter Leitsysteme mit sicherheitstechnischer Bedeutung, Tagung "Sicherheitsleittechnik - Funktionen, Auslegung, Instrumentierung", Berlin / Zeuthen, 9 September 2004
G. Glöe, Funktionale Sicherheit elektrischer, elektronischer und programmierbarer elektronischer Systeme - Rechte, Pflichten und Verantwortlichkeiten aus der IEC 61508 Praktische Umsetzung der IEC 61508, Workshop on 6th EUROFORUM annual conference "Software im Automobil", Stuttgart, 4 May 2005
G. Glöe, Prüfung und Zertifizierung von Software-Entwicklungsprozessen, 7. EUROFORUM annual conference "Software im Automobil", Stuttgart, 3/4 May 2006
G. Glöe, Funktionale Sicherheit elektrischer, elektronischer und programmierbarer elektronischer Systeme - Rechte, Pflichten und Verantwortlichkeiten aus der IEC 61508 - Praktische Umsetzung der IEC 61508 - Prüfung / Zertifizierung, EUROFORUM-Seminar "Best Practice - Sicherheitsrelevante Software", Augsburg, 12/13 June 2006
G. Glöe, B. Hindel, R. Faller, Best Practice - Sicherheitsrelevante Software, Entwicklung und Prüfung nach IEC 61508, EUROFORUM-Seminar, Augsburg, 12/13 June 2006
G. Glöe, Software-Engineering: Erfahrung mit industrieller Software, Kolloquium Automatisierungstechnik und Mechatronik, TU München, Lehrstuhl für Informationstechnik im Maschinenwesen, Garching, 25 October 2006
G. Glöe, Capturing of Dependable Requirements of Computer Systems at NPPs, International Seminar on Dependable Requirements Engineering of Computerised Systems at NPPs, Halden, Norway, 27-29 November 2006
T.Nelke (née Hadler), Evaluation of the compliance of Computerised Systems at NPPs with Dependable Requirements, International Seminar on Dependable Requirements Engineering of Computerised Systems at NPPs, Halden, Norway, 27-29 November 2006
G. Glöe, Rechte, Pflichten und Verantwortlichkeiten aus der IEC 61508 - Praktische Umsetzung der IEC 61508 - Prüfung / Zertifizierung, EUROFORUM Seminar Sicherheitsrelevante Software, Munich, 5/6 December 2006
G. Glöe, Prozesse zur Sicherheit von Embedded Systemen in der IEC 61508 Familie, METHOD PARK 6. Technologie-Forum, Nuremberg, 7 December 2006
G. Glöe, Chr. Jung, J. Schmied, Sicherheitsrelevante Software, Entwicklung und Prüfung nach IEC 61508, EUROFORUM Seminar, Nuremberg, 26/27 April 2007
G. Glöe, Die neue Automotive-Norm: ISO 26262-konforme Entwicklung von Systemen und Software, 6. ARTISAN Benutzerforum D.A.CH, Lindau (Bodensee), 10/11 May 2007
G. Glöe, Progress in the Inspection of Digital Instrumentation and Control Systems Important to Safety, Inspection of Digital I&C Systems Important to Safety in Nuclear Power Plants, OECD Nuclear Energy Agency (NEA), Garching, Germany, 24-26 September 2007
G. Glöe, Zukünftige Rolle der Überwachungsvereine angesichts verschleißfreier und selbstheilender Softwarefunktionen im Automobil, 12. EUROFORUM annual conference, Elektronik-Systeme im Automobil, Munich, 5-8 February 2008
G. Glöe, Qualität und Sicherheit von Kraftwerksleittechnik, VGB KELI 2008, Hamburg, 8. May 2008
G.Glöe, Results of the Inspection of Process Control Computers - From Loen 1978 to Loen 2008, Enlarged Halden Programme Group Meeting, Loen, Norway, 18-23 May 2008
T.Nelke (née Hadler), Procedure for the Efficient Demonstration of Usability and Safety of Computerised Control Systems (VeNuS), Enlarged Halden Programme Group Meeting, Loen, Norway, 18-23 May 2008
G. Glöe, R. Westhäußer, Sicherstellen von sicherheitsrelevanten Abläufen durch Anwendung der Sicherheitsnorm DIN EN 61508 - Vorgaben für die Software-Produktion, 9. EUROFORUM annual conference, Software im Automobil, Stuttgart, 2/3. June 2008
G. Glöe, T.Nelke (née Hadler), Entwicklung sicherheitskritischer Systeme aus der Sicht des Zertifizierers, ARTISAN Infotag: Komplexität beherrschen - Modellierung und Implementierung unternehmenskritischer Systeme, Braunschweig, 18 June 2008, Stuttgart, 15 Juli 2008, Munich, 16 July 2008
G. Glöe, VeNuS: Methoden für den Nachweis der Benutzbarkeit und Sicherheit komplexer Systeme, Embedded Software Engineering Kongress, Sindelfingen, 8-10 December 2008
G.Glöe, Bewerten von Prüfergebnissen zu Elektronik und deren Software, Workshop "SIT-Safety in Transportation", TU Braunschweig, 1/2 December 2010
