Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Person

Druckansicht

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)

© 2024 DFG Kontakt / Impressum / Datenschutz