Research Line A
Group on Reconfigurable and Embedded Systems (GRES)
Main Research Areas
The research group is composed by 3 PhD researchers, 7 PhD Students, and a variable number of MSc students (8 at the fall of 2013). At the beginning of the period, the group was composed by 2 PhD researchers, 3 PhD Students, and several MSc students.

The main goal of the research group addresses the design of embedded and cyber-physical systems, emphasizing the use of reconfigurable computing platforms, and relying on a model based development methodology where Petri nets are considered as the main modeling formalism.

For that end, the group has been considering synergistic opportunities from developments in three main aspects: theory, tools, and applications, namely contributing to advances in theoretical aspects of Petri nets based modeling, complemented by tool development and applications to specific areas (such as automation, embedded, and cyber-physical systems, as well as distributed execution of models as globally-asynchronous locally-synchronous systems).

The main research areas are:

  • Petri nets modeling issues emphasizing structuring mechanisms, model composability and model partitioning issues.
  • Hardware-software co-design of embedded and cyber-physical systems using Petri nets and other models of concurrency (namely hierarchical and concurrent finite state machines based formalisms).
  • Distributed execution of models (using Petri nets and other models of concurrency), emphasis on GALS (Globally-Asynchronous-Locally-Synchronous) and NoCs (Network-on-Chip) paradigms.
  • Exploitation of reconfigurable computing platforms.

Interactions with a large number of researchers and practitioners have been performed, due to collaborations within reference communities, namely within IEEE Industrial Electronics Society, as well as the Petri nets community, resulting in collaborations to promote and/or support technical/scientific events, as conference, workshops, and special sessions, as well as contributions to several editorial boards and publication of special issues in selected journals.

© 2017 - Centre of Technology and Systems - Research Unit 13/66 - FCT Campus