Universität Stuttgart

Universität Stuttgart
Institut für Automatisierungs- und Softwaretechnik 

Prof. Dr.-Ing. P. Göhner

Arbeitsschwerpunkte

Komponentenbasierte Entwicklung von Automatisierungssystemen

• Validierung komponentenbasierter Software für verteilte, eingebettete Systeme
• Synchrone Software-Komponenten für verteilte Echtzeitsysteme
• Frameworks in der Automatisierungstechnik
• Generische Komponenten
• Komponentenbasierte Entwicklung eingebetteter Systeme
• Zeitanalyse von Echtzeitsoftwaresystemen

Sicherheit von Automatisierungssystemen

• Gefahrenanalyse von Automatisierungssystemen
• Qualitative Modellierung komplexer dynamischer Systeme
• Formale Spezifikation und Verifikation

AIP - Aktive Informationspräsentation

• Einsatz von AIP bei der Entwicklung von Automatisierungssystemen
• Einsatz von AIP zur Generierung von CBT-Anwendungen

Automatisierungstechnik

• Architekturen von Automatisierungssystemen
• Programmiersprachen für die Prozeßautomatisierung
• Methoden zur Entwicklung von Automatisierungssystemen

Softwaretechnik

• Softwaretechnik für Automatisierungssysteme
• Online-Qualitätsmanagementsysteme
• Online-Projektinformationssysteme
• Entwicklung von Datenbank-Applikationen

Kfz-Elektronik

• Software-Entwicklungsmethoden für Kfz-Steuergeräte
• Applikationen für zeitgesteuerte Bussysteme

Projekte

• IAS2000 (ISO-Zertifizierung und Modernisierung der Lehre am IAS)
• DFG-Projekt KEES (Komponentenbasierte Entwicklung eingebetteter Systeme)
• Industrie-Kooperationsprojekt FAMOS (Fahrzeugmodul- und aggregateorientieres Elektroniksystem)
• Industrie-Kooperationsprojekt (Objektorientierte Analyse, Simulation,
• Entwurf und Erstellung echtzeitfähiger Software im Bereich Karosserieelektronik)
• Industrie-Kooperationsprojekt (Qualitative Modellierung von Dieseleinspritzanlagen)
• Industrie-Kooperationsprojekt (Automatisierung von Markiersystemen mit Hilfe von Softwarekomponenten)
• Industrie-Kooperationsprojekt (Entwurf eines neuen Kommunikationskonzeptes für eine neue Generation von Selbstbedienungs-Bankautomaten)

Veröffentlichungen

• P. Göhner: Aktive Informationspräsentation (AIP) - von Einzeldokumenten zur integrierten Information, 7. Kolloquium ``Software-Entwicklung'', Technische Akademie Esslingen (TAE), September 1997
• A. Knapp: Zertifizierung nach ISO: Impulse für die Lehre - UNI MIT PRÄDIKAT, iX 12/1997
• A. Knapp: Qualitätsmanagement für die Ausbildung an Hochschulen, atp 10/1997
• A. Knapp: IAS nach ISO 9000 zertifiziert, Informatik Spektrum 20/5 1997
• U. Biegert: Prozeßüberwachung auf der Basis von qualitativen Modellen, ASIM'97, 11. Symposium Simulationstechnik, Dortmund, 1997
• U. Biegert: Sicherheitsanalyse für Automatisierungssysteme, 7. Kolloquium ``Software-Entwicklung'', Technische Akademie Esslingen (TAE), September 1997
• E. Huber, G. Burgbacher, U. Biegert, W. Billmann: Qualitative Systemanalyse und Computerunterstützte Gefahrenidentifikation (HAZOP), Wiley-VCH, Chemie-Ingenieur-Technik, 7 / 97, 986ff
• S. Dujmovic: Katalog-basierte Unterstützung der Wiederverwendung, 7. Kolloquium ``Software-Entwicklung'', Technische Akademie Esslingen (TAE), September 1997
• W. Fleisch, Th. Ringler, R. Belschner: Simulation of application software for a TTP real-time subsystem, ESM 97, Europaen Simulation Multiconference 1997, Istanbul, Turkey, June 1-4, 1997
• W. Fleisch: Validierung von Entwurfsspezifikationen komponentenbasierter Software für verteilte, eingebettete Automatisierungssysteme mittels Simulation, 4. Berichtskolloquium des GK PVS, Universität Stuttgart, 13. Juni 1997
• P. Göhner, A. Moik: Formale Spezifikation der Steuerung einer Industriewaschmaschine, VDI-Berichte 1336, VDI Verlag, Düsseldorf, 1997, pp. 51-62
• E. Canver, J.-T. Gayen, A. Moik: Formale Spezifikation von Steuerungssoftware am Beispiel einer Weiche, atp, 5/1997, pp. 57-64
• W. Fleisch, P. Göhner, R. Belschner, M. Gunzert: Building complex automation systems based on the simulation of object-oriented basic components, ESM 96, Europaen Simulation Multiconference 1996, Budapest, Hungary, June 2-6, 1996
• E. Canver, J.-T. Gayen, A. Moik: Formale Entwicklung der Steuerungssoftware für eine elektrisch ortsbediente Weiche mit VSE, Ulmer Informatik-Berichte, Nr.96-01, Universität Ulm, Februar 1996

Produkte und Werkzeuge

• SQMA-Werkzeuge (Situationsbasierte Qualitative Modellbildung und Analyse)
• AISA (Aktive Information für Studentische Arbeiten) Werkzeug zur multimedialen Aufbereitung von studentischen Dokumenten nach dem IAS-Vorgehensmodell

Kontaktadresse:

Prof. Dr.-Ing. P. Göhner
Universität Stuttgart
Institut für Automatisierungs- und Softwaretechnik
Pfaffenwaldring 47, 70550 Stuttgart
Tel.: (0711) 685-7031
Fax: (0711) 685-7302
ias@uni-stuttgart.de