During the past month CISTER/INESC-TEC received the visit of two international researchers, Professor Leandro Buss Becker and Professor J. Javier Gutiérrez, with the goal of strengthening networks and collaborations.
During his visit, Professor Leandro Buss Becker took the opportunity to give a distinguished series seminar on "Model-Driven Engineering of Cyber-Physical Systems". During his talk, he addressed some fundamental issues related to the development of functional models, used for simulation purposes in Cyber-Physical Systems (CPS).
Leandro Buss Becker received the MsC and PhD degree in Computer Science (1999 and 2003), both from the Federal University of Rio Grande do Sul, and the BsC degree in Informatics from the Federal University of Santa Maria in 1997. Since July 2004 he is an Associate Professor at the Automation and Control Systems Department of the Federal University of Santa Catarina. His international experience includes a one year stay in the Real-Time Systems and Communications Group of the University of Magdeburg, Germany (2001-2002) and another one year stay in the Wireless Communication Group of Northeastern University, USA (2011-2012).
During the visit of Professor J. Javier Gutiérrez, he took the opportunity to give a distinguished series seminar on "The event-driven approach in the development of distributed real-time systems". During his talk, he addressed some of the main schedulability analysis and optimization techniques for distributed real-time systems, together with the modeling framework MAST (Modeling and Analysis Suite for Real-Time Applications) and its integration in a Model-Driven Engineering (MDE) strategy.
J. Javier Gutiérrez received his B.S. and Ph.D. Degrees from the University of Cantabria (Spain) in 1989 and 1995 respectively. He is an Associate Professor in the Software Engineering and Real-Time Group at the University of Cantabria since 1996, where he works in software engineering for real-time. His research activity deals with the scheduling, analysis and optimization of embedded real-time distributed systems. He has been involved in several research projects building real-time controllers for robots, evaluating Ada for real-time applications, developing middleware for real-time distributed systems, and proposing models along with the analysis and optimization techniques for distributed real-time applications.