Energy-Autonomous Systems: Tool Implementation for Power-Optimal Computing via SDF and Uppaal

title:Energy-Autonomous Systems: Tool Implementation for Power-Optimal Computing via SDF and Uppaal
keywords:Model-Driven Software Engineering, Timed Automata, Data Flow, UPPAAL, Eclipse.
topics:Case studies and Applications, Graphs
contact:dr. M.I.A. Stoelinga & prof.dr. J.C. van de Pol & W. Ahmad MSc & B.M. Yildiz MSc
to be started:as soon as possible


Description

Synchronous Data Flow (SDF) graphs are considered as a widely accepted way of defining computational models of real-time systems. Nowadays, SDF graphs are used to perform offline performance analysis and design optimization of real-time systems that are running on multiprocessors. 

Timed automata can be used to model and analyze the timing behavior of real-time systems. The timed automata models incorporates concurrency, compositionality and can be extended with annotations including cost-related, stochastic and continuous variables. The model checking with timed-automata models can be achieved by popular model checkers such as UPPAAL.

Although, Synchronous Data Flow graphs are widely accepted modeling technique for real-time systems, the available tools do not provide full support for all concerns such as underlying platform (processor configuration) for computation, related time and cost optimizations. The timed-automata models supported with model checkers support these concerns, however, the model representations are not domain-specific enough for Synchronous Data Flow graphs.

This master/bachelor project aims to bridge the gap between SDF graphs and the UPPAAL model checker. In this project, you will implement a tool chain for the end user to help to do analysis for time-energy optimization. The tool chain serves as an interface between the user and the underlying details of bridging model transformations and time automata model checking domain.

Tasks:

- Implementing a full chain for time-energy analysis 
    - Implementing a visual editor for SDF graphs using Eclipse technologies,
    - Implementing and maintaining model transformations between SDF graphs and timed-automata models,
    - Visualising the results created by the UPPAAL model checker to help the end user.

Offerings:
- You will have an experience using the UPPAAL model checker as an example of state-of-art time automata model checker,
- You will have an experience of implementing a model-driven software engineering approach with most recent tools,
- You will apply theoretical knowledge on practice,
- You will learn how to manage and design domain-specific languages and models.

A recent paper [1] discusses the translation from SDF to UPPAAL.

References

  1. Ahmad, W. and de Groote, R. and Hölzenspies, P.K.F. and Stoelinga M. and van de Pol J.C., ACSD 2014 (Digital version available here)