Go directly to content Go directly to font size and contrast

Project Details

Person

Print View

Professor Dr. Hermann Härtig

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

Projects

As Applicant
- Current projects
  - FOSSIL: Operating System support to leverage byte-granular Non-Volatile Memory Technology (Priority Programmes)
- Completed projects
  - Echtzeitsysteme und Komponenten (Research Units)
  - Verifikation quantitativer Eigenschaften eines Mikrokernbetriebssystems durch eine Kombination von probabilistischem Model Checking und interaktivem Theorembeweisen (Research Grants)
  - VPFS 2: Ein mobiles Dateisystem mit höchsten Sicherheits- und Verlässlichkeitsanforderungen (Research Grants)
  - ASTEROID - An Analyzable, Resilient, Embedded Real-Time Operating System Design (Priority Programmes)
  - FFMK - A fast and fault tolerant microkernel-based system for exa-scale computing (Priority Programmes)
  - LCM: Large-Scale Capability Management (Research Grants)
As Participating Researcher
- Completed projects
  - GRK 191: Tools for the Effective Use of Parallel and Distributed Computing Systems (Research Training Groups)
  - EXC 1056: Center for Advancing Electronics Dresden (cfAED) (Clusters of Excellence)
As Project Head
- Completed projects
  - Entwurf verteilter Echtzeitsysteme (Collaborative Research Centres)
  - Energy-Aware Resource Management (Collaborative Research Centres)
As Participating Person
- Completed projects
  - Formale Spezifikation und Verifikation wesentlicher Sicherheitseigenschaften eines Mikrokerns (Research Grants)

© 2024 DFG Disclaimer / Copyright / Privacy Policy