Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1109/INDIN.2015.7281797 | 2015 IEEE 13th International Conference on Industrial Informatics (INDIN) |
Keywords | Field | DocType |
remote operation,IOPT Petri-nets,communication architecture,embedded-system controllers,rapid prototyping,development framework,model-checking,automatic code generation tools,quasireal-time remote debugging,IOPT simulator tool,graphical user interfaces,distributed systems | Rapid prototyping,Remote operation,Architecture,Petri net,Remote control,Computer science,Real-time computing,Code generation,Graphical user interface,Operating system,Embedded system,Debugging | Conference |
ISSN | Citations | PageRank |
1935-4576 | 1 | 0.36 |
References | Authors | |
12 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Fernando Pereira | 1 | 17717 | 2124.79 |
Arildo Melo | 2 | 1 | 0.36 |
Luís Gomes | 3 | 87 | 22.71 |