Project title: Design and Analysis of Robust Timed Systems
Project acronym: DARTS
Project duration: From 15-09-2005 until 15-09-2009
Project goals:
  • Development of a framework for robustness in timed systems, specialized to timed automata, and inspired by frameworks for robustness and adaptive control from systems and control theory.
  • Development of techniques for both analyzing the robustness of a timed automata, and for solving possible robustness problems that may emerge from such an anal- ysis.
  • Transfer of robustness techniques (and their implications) to robustness problems in related areas like model checking of priced timed automata, real time testing, and hybrid systems.
  • Implementation of theory and techniques into an UPPAAL-based tool.
  • Demonstration of theory and tools on examples and case studies.