Go directly to content
Go directly to font size and contrast
Servicenavigation
DFG Homepage
Disclaimer / Copyright
|
Help
|
Data Monitor
Deutsch
Hauptnavigation
Search
Catalogue
People Index
Location Index
About GEPRIS
Project Details
Back
Institution
Technische Universität Dresden
Fakultät Informatik
Institut für Systemarchitektur
Professur für Betriebssysteme
Address
01062 Dresden
Deutschland
GERiT
This institution in GERiT
01062 Dresden
Projects
Research Units
Completed projects
Echtzeitsysteme und Komponenten
(Applicant
Härtig, Hermann
)
Research Grants
Completed projects
Formale Spezifikation und Verifikation wesentlicher Sicherheitseigenschaften eines Mikrokerns
(Applicant
Hohmuth, Michael
)
LCM: Large-Scale Capability Management
(Applicant
Härtig, Hermann
)
Verifikation quantitativer Eigenschaften eines Mikrokernbetriebssystems durch eine Kombination von probabilistischem Model Checking und interaktivem Theorembeweisen
(Applicants
Baier, Christel
;
Härtig, Hermann
;
Tews, Hendrik
)
VPFS 2: Ein mobiles Dateisystem mit höchsten Sicherheits- und Verlässlichkeitsanforderungen
(Applicant
Härtig, Hermann
)
Priority Programmes
Current projects
FOSSIL: Operating System support to leverage byte-granular Non-Volatile Memory Technology
(Applicant
Härtig, Hermann
)
VAMPIR – Virtualized Non-Functional Memory Properties for Data-Pipeline Scheduling
(Applicants
Lehner, Wolfgang
;
Schirmeier, Horst
)
Completed projects
ASTEROID - An Analyzable, Resilient, Embedded Real-Time Operating System Design
(Applicants
Ernst, Rolf
;
Härtig, Hermann
)
FFMK - A fast and fault tolerant microkernel-based system for exa-scale computing
(Applicants
Barak, Ph.D., Amnon
;
Härtig, Hermann
;
Reinefeld, Alexander
)
Collaborative Research Centres
Completed projects
Energy-Aware Resource Management
(Project Head
Härtig, Hermann
)
Entwurf verteilter Echtzeitsysteme
(Project Head
Härtig, Hermann
)
Research Training Groups
Completed projects
GRK 191: Tools for the Effective Use of Parallel and Distributed Computing Systems
(Spokesperson
Kabitzsch, Klaus
)
Clusters of Excellence
Completed projects
EXC 1056: Center for Advancing Electronics Dresden (cfAED)
(Spokesperson
Fettweis, Gerhard P.
)
NFDI technical and methodological consortia
Current projects
National Research Data Infrastructure for and with Computer Science
(Spokesperson
Goedicke, Michael
)
Additional Information
© 2024
DFG
Disclaimer / Copyright
/
Privacy Policy
Textvergrößerung und Kontrastanpassung