Our research deals with design, verification and assessment of distributed and embedded real-time computing systems. We specifically address issues related to robustness, scheduling analysis, and architectures for fault-tolerant and safety-critical systems. Our research is best illustrated by our past and present projects, which can found in the left margin.