Announcements 
Recent Publications
- Using Link-level Latency Analysis for Path Selection for Real-time Communication on NoCs (ASPDAC'12)
- Sampling-based Runtime Verification (FM'11)
- Resolving State Inconsistency in Distributed Fault-Tolerant Real-Time Dynamic TDMA Architectures (ETFA'11)
- Efficient Techniques for Near-optimal Instrumentation in Time-triggered Runtime Verification (RV'11)
- Optimal Instrumentation of Data-flow in Concurrent Data Structures (OPODIS'11)
- Runtime Monitoring of Time-sensitive Systems -- Tutorial Supplement (RV'11)
- Lowering Overhead in Sampling-based Execution Monitoring and Tracing (LCTES'11)
- Model-based Programming of Modular Robots (ISORC'10)
Group Overview
The Real-time Embedded Software Group concentrates on research on real-time embedded software systems at the intersection of software technology, embedded networking, and applied formal methods. Real-time embedded systems are characterized by their interaction with the environment through sensors and actuators, their resource constraint platforms, and non-functional properties. Successful research in this area focusses on providing concepts, methods, and tools to build better systems more easily as well as on development of precise analytical methods for characterizing non-functional system properties and timing.
Word Cloud for Publications in 2011
