A picture of Pavel Atanassov

Pavel Atanassov
Pavel Atanassov was a research assistant at the Institut für Technische Informatik, Real-Time Systems Group at the Vienna University of Technology, Vienna, Austria from March 1997 till January 2002. He fineshed successfully his PhD studies in June 2003. Previously he has studied Computer Science at the Faculty of Mathematics and Informatics, Sofia University St. Kliment Ohridski, Sofia, Bulgaria and received his Master's degree in 1997.

[ Research ] [ Links ] [ Publications ]

Research

Pavel Atanassov's research focus was on the Worst-Case Execution Time (WCET) analysis of real-time programs. His further interests include Object-Oriented Programming and Heuristic Optimization Methods. He was working on the SETTA project (Systems Engineering for Time-Triggered Architectures).

The activity of our Real-Time Systems Group within SETTA was the development of an integrated tool for static WCET analysis of real-time tasks. The WCET estimations made by the tool for a particular hardware platform had to be both safe (not to underestimate the actual WCET) and tight (low overestimation of the actual WCET). Pavel Atanassov was involved in the development of an automated test process for validation of these two properties of the tool's results. The test process was based on heuristic optimization techniques (Genetic Algorithms) and yielded actual execution times for the selected hardware architecture. The idea of the automated test process was to find a close (under-)estimation of the actual WCET of a real-time task by searching the task's input space for the worst-case input data. The results yielded by the static WCET analysis tool were compared to the actual execution times. The results proved to be both safe and tight (max. 5% overestimation).

Publications

The following page contains a list of Pavel Atanassov's publications.

This page was last updated on Nov 18 2003 by webmaster@vmars.tuwien.ac.at