Remote operation of embedded controllers designed using IOPT Petri-nets

This paper presents a new communication architecture to enable the remote control, monitoring and debug of embedded-system controllers designed using IOPT Petri nets. IOPT Petri nets and the related tools (http://gres.uninova.pt) have been used as a rapid prototyping and development framework, including model-checking, simulation and automatic code generation tools. The new architecture adds remote operation capabilities to the controllers produced by the automatic code generators, enabling quasi-real-time remote debugging and monitoring using the IOPT simulator tool. Furthermore, it enables the creation of graphical user interfaces for remote operation and the development of distributed systems where a Petri net model running on a central system supervises the actions of multiple remote subsystems.

[1]  Douglas Crockford,et al.  The application/json Media Type for JavaScript Object Notation (JSON) , 2006, RFC.

[2]  Luis Gomes,et al.  Automatic synthesis of VHDL hardware components from IOPT Petri net models , 2013, IECON 2013 - 39th Annual Conference of the IEEE Industrial Electronics Society.

[3]  L. Gomes,et al.  The Input-Output Place-Transition Petri Net Class and Associated Tools , 2007, 2007 5th IEEE International Conference on Industrial Informatics.

[4]  Neil W. Bergmann,et al.  Embedded Linux as a Platform for Dynamically Self-Reconfiguring Systems-on-Chip , 2004, ERSA.

[5]  Stefano Scanzio,et al.  Performance of a Real-Time EtherCAT Master Under Linux , 2011, IEEE Transactions on Industrial Informatics.

[6]  Adam Dunkels,et al.  Full TCP/IP for 8-bit architectures , 2003, MobiSys '03.

[7]  Fernando Pereira,et al.  Minimalist Architecture to Generate Embedded System Web User Interfaces , 2013, DoCEIS.

[8]  Filipe Moutinho,et al.  An IOPT-net state-space generator tool , 2011, 2011 9th IEEE International Conference on Industrial Informatics.

[9]  A. G. Moya,et al.  Practical course of embedded Linux for XUPV2P development boards , 2012, 2012 Technologies Applied to Electronics Teaching (TAEE).

[10]  Filipe Moutinho,et al.  Asynchronous-Channels Within Petri Net-Based GALS Distributed Embedded Systems Modeling , 2014, IEEE Transactions on Industrial Informatics.

[11]  Luís Gomes,et al.  Rapid Prototyping of Graphical User Interfaces for Petri-Net-Based Controllers , 2010, IEEE Transactions on Industrial Electronics.

[12]  Filipe Moutinho,et al.  IOPT-tools — Towards cloud design automation of digital controllers with Petri nets , 2014, 2014 International Conference on Mechatronics and Control (ICMC).

[13]  Fernando Pereira,et al.  IOPT-tools — A Web based tool framework for embedded systems controller development using Petri nets , 2013, 2013 23rd International Conference on Field programmable Logic and Applications.

[14]  Hanspeter Mössenböck,et al.  A Comprehensive Solution for Deterministic Replay Debugging of SoftPLC Applications , 2011, IEEE Transactions on Industrial Informatics.

[15]  Filipe Moutinho,et al.  From IOPT Petri nets to C: An automatic code generator tool , 2011, 2011 9th IEEE International Conference on Industrial Informatics.

[16]  Luis Gomes,et al.  From Petri net models to VHDL implementation of digital controllers , 2007 .

[17]  Filipe Moutinho,et al.  Extending input-output place-transition Petri nets for distributed controller systems development , 2014, 2014 International Conference on Mechatronics and Control (ICMC).

[18]  L. Gomes,et al.  Petri nets tools framework supporting FPGA-based controller implementations , 2008, 2008 34th Annual Conference of IEEE Industrial Electronics.

[19]  Kurt Jensen,et al.  Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .

[20]  P. Basanta Val,et al.  Usage of DDS Data-Centric Middleware for Remote Monitoring and Control Laboratories , 2013 .

[21]  Roy T. Fielding,et al.  Hypertext Transfer Protocol - HTTP/1.1 , 1997, RFC.

[22]  André V. Fidalgo,et al.  Ethernet communication platform for synthesized devices in Xilinx FPGA , 2011, 2011 IEEE EUROCON - International Conference on Computer as a Tool.

[23]  Nicholas C. Zakas,et al.  Professional Ajax , 2006 .

[24]  Chen Tiejun,et al.  Implementation of the Modbus/TCP Protocol on the STM32 , 2013 .

[25]  Fabrice Kordon,et al.  New features in CPN-AMI 3: focusing on the analysis of complex distributed systems , 2006, Sixth International Conference on Application of Concurrency to System Design (ACSD'06).