Simulation and Software Technology
Area of research:
Diploma & Master Thesis
Tasking Framework is an event-driven execution platform for real-time on-board software systems. It is developed and used to modularize the implementation of space missions and improve the reusability. Tasking Framework gives the software developer the ability to implement their applications as task graphs with arbitrary activation patterns (periodic, aperiodic and sporadic). It is written in C++ following the event-driven programming paradigm, and supports multithreading programming.
Spacecraft are usually classified as safety-critical systems and therefore they follow the hard real-time model, in which a task has to meet its deadline or otherwise catastrophic consequences may occur. Analyzing real-time systems to provide timing guarantees is a continues research topic, therefore, there exist a dozen of timing analysis tools to compute the Worst-Case Execution Time (WCET), and provide guarantees on the Worst-Case Response Time (WCRT). OTAWA, for instance, is an Open Toolbox for Adaptive WCET Analysis. It has been designed to host algorithms resulting from research in the domain of WCET analysis so that they can be combined to compute tight WCET estimates. OTAWA comes as a C++ library that can be used to develop WCET analysis tools.
In this work, we aim to use a WCET analysis tool, e.g., OTAWA, to compute the WCET of tasks implemented using Tasking Framework. In practice, you will have the following tasks to carry out:
address the state-of-the-art WCET analysis enhance Tasking Framework with means to compute WCET conduct experiments to illustrate the Tasking Framework overhead write a master thesis