NWO - VENI award


The time is now: Timing Verification for Safety-Critical Multi-Cores.

Dr. ir. S.J.A. (Sebastian) Altmeyer (m), UvA – Informatics Institute

Safety-critical computer systems embedded into cars or air-planes must work correctly, as a single failure or a wrong timing may have catastrophic consequences and cost lives. This research aims at guaranteeing the correct timing behaviour of such safety-critical systems for modern processor architectures by devising new mathematical models and tools.