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

Detailseite

Institution

Druckansicht

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

Adresse 01062 Dresden
Deutschland

GERiT Diese Institution in GERiT

01062 Dresden

Projekte

Forschungsgruppen
- abgeschlossene Projekte
  - Echtzeitsysteme und Komponenten
    (Antragsteller Härtig, Hermann )
Sachbeihilfen
- abgeschlossene Projekte
  - Formale Spezifikation und Verifikation wesentlicher Sicherheitseigenschaften eines Mikrokerns
    (Antragsteller Hohmuth, Michael )
  - LCM: Hochskalierende Capability-Systeme
    (Antragsteller Härtig, Hermann )
  - Verifikation quantitativer Eigenschaften eines Mikrokernbetriebssystems durch eine Kombination von probabilistischem Model Checking und interaktivem Theorembeweisen
    (Antragstellerinnen / Antragsteller Baier, Christel ; Härtig, Hermann ; Tews, Hendrik )
  - VPFS 2: Ein mobiles Dateisystem mit höchsten Sicherheits- und Verlässlichkeitsanforderungen
    (Antragsteller Härtig, Hermann )
Schwerpunktprogramme
- laufende Projekte
  - FOSSIL: Betriebssystemeunterstützung zur Erschließung des Potentials nichtflüchtigen Speichers
    (Antragsteller Härtig, Hermann )
  - VAMPIR – Virtualisierte nicht-funktionale Speichereigenschaften für Daten-Pipeline-Einplanung
    (Antragsteller Lehner, Wolfgang ; Schirmeier, Horst )
- abgeschlossene Projekte
  - ASTEROID - Ein analysierbares , fehlertolerantes, eingebettetes Echtzeit Betriebssystem Design
    (Antragsteller Ernst, Rolf ; Härtig, Hermann )
  - FFMK - Ein schnelles und fehlertolerantes mikrokernbasiertes System für Exa-Scale
    (Antragsteller Barak, Ph.D., Amnon ; Härtig, Hermann ; Reinefeld, Alexander )
Sonderforschungsbereiche
- abgeschlossene Projekte
  - Entwurf verteilter Echtzeitsysteme
    (Teilprojektleiter Härtig, Hermann )
  - Ressourcenmanagement unter Berücksichtigung von Energieaspekten
    (Teilprojektleiter Härtig, Hermann )
Graduiertenkollegs
- abgeschlossene Projekte
  - GRK 191: Werkzeuge zum effektiven Einsatz paralleler und verteilter Rechnersysteme
    (Sprecher Kabitzsch, Klaus )
Exzellenzcluster
- abgeschlossene Projekte
  - EXC 1056: Zentrum für Perspektiven in der Elektronik Dresden
    (Sprecher Fettweis, Gerhard P. )
Nationale Forschungsdateninfrastruktur Fach- und Methodenkonsortien
- laufende Projekte
  - Nationale Forschungsdateninfrastruktur für und mit Computer Science
    (Sprecher Goedicke, Michael )

© 2024 DFG Kontakt / Impressum / Datenschutz