« Personen
Prof. Dr. Wolf Zimmermann
Martin-Luther-Universität Halle-Wittenberg
Naturwissenschaftliche Fakultät III
Institut für Informatik
Mit Methoden des Cloud Computing können Softwaredienste auf externe Rechnenzentren ausgelagert werden - insbesondere werden dort auch Daten gespeichert. Beispiele solcher Softwaredienste sind Apps, die zwar auf Smartphones ausgeführt werden, jedoch Softwaredienste aus der Cloud benötigen.Bei Überlast eines Rechenzentrums können sowohl die Softwaredienste an anderen Rechenzentren des Cloudanbieters ausgeführt werden. Inbesondere betrifft dies auch die Speicherung von Nutzerdaten. Softwaredienste können auch andere Softwaredienste aufrufen und Daten weitergeben. Eine sichere Verschlüsselung der Nutzerdaten löst das Problem nicht, da Softwaredienste dies zur Verarbeitung entschlüsseln müssen.
Mit der sogenannten Datenflussanalyse, deren methodischen Grundlagen aus dem Übersetzerbau stammen, kann analysiert wohin die Daten in der Cloud fließen. Außerdem kann mit ähnlichen Methoden analysiert werden, ob alle vom Nutzer angestoßenen Prozesse auch beendet werden.
Profil Service
Vita
1982-1987 | Studium an der Universität Karlsruhe(TH) |
1987-1988 | Wissenschaftlicher Mitarbeiter an der Forschungsstelle Programmstrukturen der GMD |
1988-1990 | Wissenschaftlicher Mitarbeiter an der Universität Karlsruhe (TH) |
27.6.1990 | Promotion an der Universität Karlsruhe (TH) |
1990-1991 | Postdoktorand am International Computer Sciene Institut in Berkeley, Kalifornien |
1992-1998 | Wissenschaftlicher Assistent an der Universität Karlsruhe (TH) |
10.1.1998 | Habilitation an der Universität Karlsruhe (TH) |
1998-1999 | Vertretungsprofessur an der Martin-Luther-Universität Halle-Wittenberg |
1999 | Gastprofessor am Institute National Polytechnique Grenoble (Frankreich) |
2000 | Wissenschaflicher Mitarbeiter am Forschungszentrum Informatik, Karlsruhe |
seit 2000 | Professor für praktische Informatik mit Schwerpunkt Programmiersprachen an der Martin-Luther-Universität Halle-Wittenberg |
Expertenprofil
- Domänenspezifische Sprachen und Modell-basierte Entwicklung
- Korrektheit, Sicherheit und Schutz von Software-Systemen
- Web-Services und Komponententechnologie
- Compilerbau (insbesondere Korrektheit von Compilern)
- Softwarewerkzeuge und Codegeneratoren
- Cloud Computing (insbesondere Software Services und Analysen)
Serviceangebot
Forschergruppen Projekte Kooperationen
Forschergruppen
Projekte
Kooperationen
- Technische Universität Darmstadt - PD Dr. Ulf Lorenz, Institut Optimierung (OPT) des Fachbereichs Mathematik
- KSB Aktiengesellschaft, Mechatronik Automation - Dr.-Ing. Sven Urschel
- Technische Universität Darmstadt - Professor Dr. Peter Pelz, Institut für Fluidsystemtechnik (FST) des Fachbereichs Maschinenbau
- BestSens AG, Coburg - Dipl.-Ing. Sebastian Stich
- LeiKon GmbH, Herzogenrath - Dr.-Ing. Udo Enste
- Fachhochschule Coburg, Institut für Sensor- und Aktortechnik ISAT - Prof. Dr. Gerhard Lindner
- Karlsruher Institut für Technologie, Institut für Technik der Informationsverarbeitung (ITIV) - Prof. Dr.-Ing. Jürgen Becker
- KSB Aktiengesellschaft, Mechatronik Automation - Dr.-Ing. Jochen Mades
- OR Soft GmbH Merseburg