IOPT-Tools is a tool chain framework that supports controllers’ specification through Petri net models, models’ validation, and automatic generation of C and VHDL (VHSIC Hardware Description Language) code. Additionally, this framework supports the remote control and monitoring of embedded controllers that were implemented using the automatically generated C code. This paper presents an ongoing work where IOPT-Tools will be extended to support the remote control and monitoring of FPGA (Field Programmable Gate Array) based controllers. Additionally, the IOPT-Tools will be also extended to support the remote reconfiguration of FPGA-based controllers, enabling their adaptation to new application requirements
This book focuses on prototyping aspects of concurrent control systems and their further implementat...
This work describes the implementation of digital reconfigurable systems (DRS) using commercial FPGA...
This paper presents a model translation to allow automatic simulation and verification of controller...
This work was partially financed by Portuguese Agency ”Fundac¸ao para a Ci ˜ encia e a Tecnologia” (...
This paper presents a new communication architecture to enable the remote control, monitoring and de...
Conferência: 39th Annual Conference of the IEEE Industrial-Electronics-Society (IECON), Vienna, Aust...
Fundação para a Ciência e a Tecnologia (FCT) PTDC/EEI-AUT/2641/2012We present IOPT-Tools, a tool fra...
Published in IEEE International Symposium on Industrial Electronics (ISIE 2010)This work presents a ...
The input–output place-transition (IOPT)-flow modeling framework was created to support the design o...
Part 6: Embedded SystemsInternational audienceIOPT-Tools is a cloud based integrated development env...
The IOPT-Flow modeling framework is a Web-based set of tools for the design of embedded and cyber-ph...
This work presents the development of a tool for control systems, capable to configure the control p...
Part 6: Petri NetsInternational audienceThis paper presents a state-space based model-checking frame...
Design of distributed embedded controllers can benefit from the adoption of a model-based developmen...
Input-output place-transition nets (IOPT nets) is a Petri net based formalism targeted for the devel...
This book focuses on prototyping aspects of concurrent control systems and their further implementat...
This work describes the implementation of digital reconfigurable systems (DRS) using commercial FPGA...
This paper presents a model translation to allow automatic simulation and verification of controller...
This work was partially financed by Portuguese Agency ”Fundac¸ao para a Ci ˜ encia e a Tecnologia” (...
This paper presents a new communication architecture to enable the remote control, monitoring and de...
Conferência: 39th Annual Conference of the IEEE Industrial-Electronics-Society (IECON), Vienna, Aust...
Fundação para a Ciência e a Tecnologia (FCT) PTDC/EEI-AUT/2641/2012We present IOPT-Tools, a tool fra...
Published in IEEE International Symposium on Industrial Electronics (ISIE 2010)This work presents a ...
The input–output place-transition (IOPT)-flow modeling framework was created to support the design o...
Part 6: Embedded SystemsInternational audienceIOPT-Tools is a cloud based integrated development env...
The IOPT-Flow modeling framework is a Web-based set of tools for the design of embedded and cyber-ph...
This work presents the development of a tool for control systems, capable to configure the control p...
Part 6: Petri NetsInternational audienceThis paper presents a state-space based model-checking frame...
Design of distributed embedded controllers can benefit from the adoption of a model-based developmen...
Input-output place-transition nets (IOPT nets) is a Petri net based formalism targeted for the devel...
This book focuses on prototyping aspects of concurrent control systems and their further implementat...
This work describes the implementation of digital reconfigurable systems (DRS) using commercial FPGA...
This paper presents a model translation to allow automatic simulation and verification of controller...