Luis GOMES
Professor, Faculty of Sciences and Technology, Universidade Nova de Lisboa, Portugal
Research interests:
petri nets, embedded systems, hardware/software co-design, reconfigurable computing platform, fpga, model-based development, design automation, cyber physical systems, globally asynchronous locally synchronous (gals) systems, energy awareness, system synthesis, sensorial systems, engineering education
Keynote address:
Petri nets modeling and distributed embedded controller design
Abstract:
Adoption of a model-based development attitude can benefit the design of distributed embedded controllers, allowing adequate support for designer’s needs integrating reusability of already available components, as well as design automation tools. Selection of Petri nets as reference modeling formalism provides support for a comprehensive specification and documentation of the system, complementing graphical expressiveness with formal verification capabilities. A Petri nets based development flow based on composition (using net addition operation) and decomposition (using net splitting operation) of Petri net models is presented, targeted for the design of distributed embedded controllers. Input-Output Place-Transition Petri nets (IOPT nets) are used as the underlying formalism, allowing explicit representation of dependencies on input and output signals and events (as common whenever generation of code for controllers is foreseen). Distributed execution is addressed adding the concept of time domains to IOPT nets. A tool chain framework supports the whole development process from specification to implementation, including tools for model edition, proprieties verification, and automatic code generation targeting for deployment into specific implementation platforms (where VHDL coding is used for hardware-based implementation and C coding is selected for software-oriented implementation).
Luis GOMES received his Electrotech. Eng. degree from Universidade Técnica de Lisboa, Lisbon, Portugal, in 1981, and a PhD degree in Digital Systems from Universidade Nova de Lisboa, in 1997. He is an Associate Professor at the Electrical Engineering Department, Faculty of Sciences and Technology of Universidade Nova de Lisboa, Portugal and a researcher at UNINOVA Institute, Portugal. From 1984 to 1987, he was with EID, a Portuguese medium enterprise, in the area of electronic system design, in the R&D engineering department. He was made a “Profesor Onorific”, at Transilvanea University of Brasov, Romania in 2007. His main interests include the usage of Petri nets and other concurrency models applied to reconfigurable and embedded systems co-design. Dr. Gomes is author of more than 170 papers and chapters published in journals, books and conference proceedings. Dr. Gomes has served in several roles within IEEE Industrial Electronics Society, and is serving as IES Vice President for Conferences from 2011 to 2013. Dr. Gomes has been serving as Associate Editor for the IEEE Transactions on Industrial Informatics, between 2005 and 2008, and after 2011, as Associate Editor for the IEEE Transactions on Industrial Electronics, since 2009, and a member of the Editorial Board of LNCS ToPNoC - Transactions on Petri Nets and Other Models of Concurrency, since 2006, among other editorial boards.