Logo do repositório
 
Miniatura indisponível
Publicação

Remote operation of embedded controllers designed using IOPT Petri-nets

Utilize este identificador para referenciar este registo.

Orientador(es)

Resumo(s)

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. © 2015 IEEE.

Descrição

Palavras-chave

IOPT Petri-nets Remote control Embedded-system controllers

Contexto Educativo

Citação

PEREIRA, Fernando; [et al] - Remote operation of embedded controllers designed using IOPT Petri-nets. In INDIN 2015 -13th International Conference on Industrial Informatics. Cambridge, UK : IEEE, 2015. ISBN 978-1-4799-6649-3. Pp. 572-579

Projetos de investigação

Unidades organizacionais

Fascículo

Editora

IEEE - Institute of Electrical and Electronics Engineers Inc.

Licença CC

Métricas Alternativas