The main goal of the research group addresses the design of embedded systems, emphasizing the use of reconfigurable computing platforms.
Different aspects of embedded systems design are addressed, ranging from analysis and specification to verification and implementation.
Graphical formalisms supporting concurrency modeling, like Petri nets and statecharts just to mention the main emphasis, have been successfully used.
Object-oriented formalisms, like UML notations, have been introduced more recently.
The main application areas include industrial embedded systems and intelligent buildings.