Professor Dr. Hermann Härtig

Adresse Technische Universität Dresden
Fakultät Informatik
Institut für Systemarchitektur
Professur für Betriebssysteme
01062 Dresden

Projekte

Als Antragsteller
- laufende Projekte
  - FOSSIL: Betriebssystemeunterstützung zur Erschließung des Potentials nichtflüchtigen Speichers (Schwerpunktprogramme)
- abgeschlossene Projekte
  - Echtzeitsysteme und Komponenten (Forschungsgruppen)
  - Verifikation quantitativer Eigenschaften eines Mikrokernbetriebssystems durch eine Kombination von probabilistischem Model Checking und interaktivem Theorembeweisen (Sachbeihilfen)
  - VPFS 2: Ein mobiles Dateisystem mit höchsten Sicherheits- und Verlässlichkeitsanforderungen (Sachbeihilfen)
  - ASTEROID - Ein analysierbares , fehlertolerantes, eingebettetes Echtzeit Betriebssystem Design (Schwerpunktprogramme)
  - FFMK - Ein schnelles und fehlertolerantes mikrokernbasiertes System für Exa-Scale (Schwerpunktprogramme)
  - LCM: Hochskalierende Capability-Systeme (Sachbeihilfen)
Als beteiligter Wissenschaftler
- abgeschlossene Projekte
  - GRK 191: Werkzeuge zum effektiven Einsatz paralleler und verteilter Rechnersysteme (Graduiertenkollegs)
  - EXC 1056: Zentrum für Perspektiven in der Elektronik Dresden (Exzellenzcluster)
Als Teilprojektleiter
- abgeschlossene Projekte
  - Entwurf verteilter Echtzeitsysteme (Sonderforschungsbereiche)
  - Ressourcenmanagement unter Berücksichtigung von Energieaspekten (Sonderforschungsbereiche)
Als Beteiligte Person
- abgeschlossene Projekte
  - Formale Spezifikation und Verifikation wesentlicher Sicherheitseigenschaften eines Mikrokerns (Sachbeihilfen)