Skip navigation
Skip to navigation
Skip to the bottom
Simulate organization breadcrumb open
Simulate organization breadcrumb close
Friedrich-Alexander-Universität
Lehrstuhl für Informatik 4 (Systemsoftware)
FAU
To the central FAU website
Friedrich-Alexander-Universität
Technische Fakultät
Department Informatik
Please enter the search term for searching into the documents of this website:
Suche öffnen
Deutsch
Campo
StudOn
FAUdir
Jobs
Map
Help
Friedrich-Alexander-Universität
Technische Fakultät
Department Informatik
Friedrich-Alexander-Universität
Lehrstuhl für Informatik 4 (Systemsoftware)
Navigation
Navigation close
Chair
Team
News
Contact and directions
Mission Statement
Portal Chair
Research
Research Fields
Confidential Computing
Distributed Systems
Embedded Systems Software
Operating Systems
Research Projects
AIMBOS
BALu
BFT2Chain
DOSS
Mirador
NEON
PAVE
ResPECT
Watwa
Project Initiatives
maRE
Seminar
Systemsoftware
Portal Research
Publications
Teaching
List of German Lectures
Portal Teaching
Theses
Home
Research
Research
Research
This is the description of research activities of the chair of infomatics 4.
Confidential Computing
BFT2Chain: Design and validation of scalable, Byzantine fault tolerant consensus algorithms for blockchains
Distributed Systems
BALu: Blockchain applications in aviation
BFT2Chain: Design and validation of scalable, Byzantine fault tolerant consensus algorithms for blockchains
E³: Energy-aware Execution Environments
EDC: Efficient Distributed Coordination
Mirador: Micro Replication for Dependable Network-based Services
Embedded Systems Software
AIMBOS: Abstract Interpretation for Embedded AI Code Safety
SPP 2378 ResPECT: Resilient Power-Constrained Embedded Communication Terminals
Watwa: Whole-System Optimality Analysis and Tailoring of Worst-Case–Constrained Applications
Operating Systems
DOSS: Dynamic Operating-System Specialisation
maRE: Migration-Aware Multi-Core Real-Time Executive
NEON: Non-volatility in energy-aware operating systems
PAVE: Power-fail aware byte-addressable virtual non-volatile memory
SPP 2378 ResPECT: Resilient Power-Constrained Embedded Communication Terminals