Rechnersysteme
Veröffentlichungen
(die Namen von SEECERT-Mitarbeitern sind jeweils hervorgehoben)
Fachbücher
Unter Mitarbeit von G. Glöe, G. Rabe, Dependability of Critical Computer Systems 1, Ed. F. J. Redmill, Elsevier, London, GB, 1988, ISBN 1-85166-203-0
Unter Mitarbeit von 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, bearbeitet vom TÜV Norddeutschland e.V., Verlag TÜV Rheinland GmbH, Köln, 1990, ISBN 3-88585-836-3
Unter Mitarbeit von G. Glöe, R. Westhäußer, Software-Zuverlässigkeit, VDI-Verlag, Düsseldorf, 1993, ISBN 3-18-401185-2
Unter Mitarbeit von 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
Unter Mitarbeit von G. Glöe, R. Westhäußer, Zuverlässigkeit komplexer Systeme aus Hardware und Software, Beuth Verlag, Berlin Wien Zürich, 1998, ISBN 3-410-32889-0
Fachvorträge
G. Glöe, H. Eggert, Zum Einsatz von Prozeßrechnern für sicherheitstechnisch bedeutende Aufgaben in Kernkraftwerken, TÜ, Nr. 6, 1977
G. Glöe, Results of the Inspection of Process Control Computers, OECD Halden Reactor Project, Enlarged HPG Meeting, Loen, Norwegen, 1978
G. Glöe, Inspection of Process Control Computers; in: Transactions of the American Nuclear Society, Vol. 31, S. 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, Dezember 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, Norwegen, Mai 1983
G. Glöe, E.-U. Mainka, O. Nordland, Software Verification for a Control Rod Steering Computer, Enlarged Halden Programme Group Meeting, Loen, Norwegen, Mai 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, Vortrag auf dem 2. Kolloquium der Sektion Forschung der IVSS "Arbeitssicherheit bei Automatisierung und neuen Techniken", Bonn-Honnef, Mai 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, Italien, 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, Wien, Österreich, Juli 1986
G. Glöe, G. Goßner, H. Schüller, Software und Hardware Qualifizierung, Deutsches Atomforum, Fachtagung 'Mensch und Chip in der Kerntechnik', Bonn, Oktober 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, Norwegen, Mai 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, Warschau, Polen, Mai 1988
G. Rabe, ATM-Rechner in der Sicherheitstechnik, AMUSE-Treffen, Konstanz, Juni 1988
G. Glöe, Qualifizierung von Software für Sicherheitsaufgaben, Behördenseminar 'Sicherheitssystem Leittechnik', Köln, September 1988
G. Glöe, Rechnergestützte Prüfung im Zulassungsverfahren von Software-Produkten für Kernkraftanlagen, Vortrag an der TU Braunschweig, Oktober 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, Finnland, Mai 1989
G. Rabe, Verifikation von Software, Methoden und Werkzeuge, Vortrag an der TH Darmstadt, Februar 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, Heft 5, S. 98ff., Mai 1990
G. Glöe, G. Rabe, Tools for Quality Assurance of Controller Software, ISATA, 22nd International Symposium on Automotive Technology and Automation, Florenz, Italien, Mai 1990
G. Glöe, Unsere Kraftwerke sind TÜV-geprüft - CASE schafft die Diskussionsgrundlage, GEI Benutzertagung, Wiesbaden, Juni 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ø, Norwegen, Juni 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, Tokio, Japan, Mai 1992
G. Rabe, Certification of Safety Critical Systems in Germany, Safety Critical Systems Symposium 1993, Bristol, GB, Februar 1993
G. Glöe, Zuverlässigkeit und Qualität von Software - Wege, Bedingungen und Probleme, VDI-Gemeinschaftsausschuß „Industrielle Systemtechnik", Handwerkskammer Hamburg, 25. März 1993
G. Rabe, Certification of Safety Critical Systems in Europe, Safety Interlock Committee Meeting, Du Pont, Newark, USA, Mai 1993
G. Glöe, Effizientes Prüfen von Leittechnik für Reaktorschutz und andere sicherheitskritische Anwendungen, Symposium „Digitale Leittechnik", TÜV Rheinland, Köln, 24. Mai 1993
G. Rabe, TÜV Certification of Safety Related PLCs and their Application Software, Kemira Seminar, Helsingborg, 1./2. Juni 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, Finnland, 20. Juni 1994
G. Gall, G. Rabe, Internationaler und europäischer Stand der Normung für sicherheitsgerichtete programmierbare Systeme, 1. Internationales SPS-Symposium, Köln, 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, Oktober 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. Oktober 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. Februar 1995
G. Glöe, Software-Qualität und Software-Zuverlässigkeit - Eine Herausforderung an die industrielle Informationstechnik, Online '95, Hamburg, 6.-10. Februar 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, Nr. 8, 1995, S. 19-26
(übersetzt aus dem Englischen von Zdzislaw Zurakowski, engl. Titel: 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. Oktober 1995
G. Rabe, Assessment and Certification of PLCs in Safety Critical Applications, Safety Conference, „Programmierbare Sicherheitssysteme in Prozeßanlagen”, Carl Bro, Glostrup, Dänemark, 16. Januar 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, München, 5.-7. März 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, Heft 54 der Schriftenreihe des Instituts für Eisenbahnwesen und Verkehrssicherung der Technischen Universität 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. Oktober 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, Februar 1997, S. 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, Niederlande, 16. April 1997
G. Rabe, „Guidelines for the Maintenance and Modification of Safety-related Computer Systems”, EWICS TC7, Workshop on Maintenance, Wien, 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, Athen, Griechenland, 29./30. Mai 1997
H. Mehrgardt, G. Rabe, Qualification of a noble gas monitor for accident instrumentation in NPPs, ANS Annual Meeting, Orlando, USA, 1.-5. Juni 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, S. 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, Februar 1999, S. 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. Mai 1999
G. Glöe, Computer Systems Certification, EUROLAB / EURACHEM Workshop 'Quality Assurance of Computer Systems in Laboratories', Berlin, 1. Oktober 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, 4. Internationales Symposium „Programmierbare Systeme für sicherheitsgerichtete Anwendungen, Köln, 3./4. Mai 2000
G. Glöe, G. Rabe, Qualität für Embedded Systems, Praxisforum „32 Bit embedded system development“, MicroConsult / MAZ, Hamburg, 30. Mai 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, 2. Braunschweiger Symposium zum Thema „Automatisierungs- und Assistenzsysteme für Transportmittel“, TU Braunschweig, 20./21. Februar 2001
G. Glöe, G. Rabe, Qualifizierung von Software für Kraftfahrzeuge, 21. Tagung „Elektronik im Kraftfahrzeug“, Haus der Technik, München, 30./31. Mai 2001
G. Glöe, F. Jürgens, G. Rabe, Anwendung der IEC 61508 im Fahrzeugbereich, 5. Internationales Symposium „Programmierbare Systeme für sicherheitsgerichtete Anwendungen“, Köln, 7./8. Mai 2002
G. Glöe, Sicherheit von Software und Leittechnik, Projektkomitee „Dringlichkeitsprojekt Äußere Einwirkungen“, Köln, 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, Norwegen, 8.-13. September 2002
G. Glöe, Sicherheitsrelevante Software in der Kerntechnik - Sicht des Gutachters, 32. Jahrestagung der Gesellschaft für Informatik, Dortmund, 2. Oktober 2002
G. Glöe, G. Rabe, Qualifizierung von Software für Kraftfahrzeuge, 11. Aachener Kolloquium Fahrzeug- und Motorentechnik, Aachen, 8. Oktober 2002
G. Glöe, Das Maß aller Dinge - Definition von Qualitätsmerkmalen und ihre pragmatische Umsetzung, MicroConsult PraxisForum „Embedded Quality“, Zürich, 10. Oktober 2002, München, 15. Oktober 2002
G. Glöe, Sicherheit elektronischer Systeme im Automobil, EUROFORUM-Konferenz „Datenkommunikation im Automobil", Heidelberg, 3./4. Juni 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. März 2004
G. Glöe, Sicherheit von E/E-Systemen und der Datenkommunikation im Automobil, EUROFORUM-Konferenz "Datenkommunikation im Automobil", Heidelberg, 23./24. März 2004
G. Glöe, Ch. Hills, Funktionale Sicherheit elektrischer, elektronischer und programmierbarer elektronischer Systeme, EUROFORUM-Konferenz "Datenkommunikation im Automobil", Heidelberg, 23./24. März 2004
G. Glöe, Eigenschaften des Maschinen Codes von betriebssicheren Steuerungen, 6. Internationales Symposium "Programmierbare Systeme für sicherheitsgerichtete Anwendungen", Köln, 4./5. Mai 2004
G. Glöe, E.-U. Mainka, RiskCAT Nuclear - An Approach to Capture Requirements from Nuclear Standards, Enlarged Halden Programme Group Meeting, Sandefjord, Norwegen, 9.-14. Mai 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. Juni 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 zur 6. EUROFORUM-Jahrestagung "Software im Automobil", Stuttgart, 4. Mai 2005
G. Glöe, Prüfung und Zertifizierung von Software-Entwicklungsprozessen, 7. EUROFORUM-Jahrestagung "Software im Automobil", Stuttgart, 3./4. Mai 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. Juni 2006
G. Glöe, B. Hindel, R. Faller, Best Practice - Sicherheitsrelevante Software, Entwicklung und Prüfung nach IEC 61508, EUROFORUM-Seminar, Augsburg, 12./13. Juni 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. Oktober 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, Norwegen, 27.-29. November 2006
T.Nelke (geb.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, München, 5./6. Dezember 2006
G. Glöe, Prozesse zur Sicherheit von Embedded Systemen in der IEC 61508 Familie, METHOD PARK 6. Technologie-Forum, Nürnberg, 7. Dezember 2006
G. Glöe, Chr. Jung, J. Schmied, Sicherheitsrelevante Software, Entwicklung und Prüfung nach IEC 61508, EUROFORUM Seminar, Nürnberg, 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. Mai 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 Jahrestagung Elektronik-Systeme im Automobil, München, 5.-8. Februar 2008
G. Glöe, Qualität und Sicherheit von Kraftwerksleittechnik, VGB KELI 2008, Hamburg, 8. Mai 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 (geb.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 Jahrestagung Software im Automobil, Stuttgart, 2./3. Juni 2008
G. Glöe, T.Nelke (geb.Hadler), Entwicklung sicherheitskritischer Systeme aus der Sicht des Zertifizierers, ARTISAN Infotag: Komplexität beherrschen - Modellierung und Implementierung unternehmenskritischer Systeme, Braunschweig, 18. Juni 2008, Stuttgart, 15. Juli 2008, München, 16. Juli 2008
G. Glöe, VeNuS: Methoden für den Nachweis der Benutzbarkeit und Sicherheit komplexer Systeme, Embedded Software Engineering Kongress, Sindelfingen, 8.-10. Dezember 2008
G.Glöe, Bewerten von Prüfergebnissen zu Elektronik und deren Software, Workshop "SIT-Safety in Transportation", TU Braunschweig, 1./2. Dezember 2009
