IOPT-tools-Towards cloud design automation of digital controllers with Petri nets

Fernando Pereira; Filipe Moutinho; Luis Gomes

doi:10.1109/ICMC.2014.7232002

IOPT-tools-Towards cloud design automation of digital controllers with Petri nets

Fernando Pereira, Filipe Moutinho, Luis Gomes

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

33 Citations (Scopus)

Abstract

This paper describes the IOPT-Tools cloud-based tool-chain, offering a complete set of Petri net tools with a Web interface supporting digital controllers development. The tools include an interactive graphical Petri net editor, a model-checking subsystem composed of a state-space generator, state-space visualization and a query system, and automatic code generation tools that produce software 'C' code or VHDL hardware descriptions ready to be deployed into implementation platforms. All interactive tools are executed directly in the user's Web Browser using AJAX principles, but file-storage and intensive processing operations are processed in the cloud. For example, state-space computation and the storage of the resulting data is performed in dedicated fast servers, minimizing network traffic and enabling the use of lightweight terminal equipment to access the tools, as simple as smart-phones or tablet computers. The tools are available on-line at http://gres.uninova.pt.

Original language	English
Title of host publication	Proceedings - 2014 International Conference on Mechatronics and Control, ICMC 2014
Publisher	Institute of Electrical and Electronics Engineers (IEEE)
Pages	2414-2419
Number of pages	6
ISBN (Electronic)	978-1-4799-2538-4
DOIs	https://doi.org/10.1109/ICMC.2014.7232002
Publication status	Published - 31 Aug 2015
Event	International Conference on Mechatronics and Control, ICMC 2014 - Jinzhou, China Duration: 3 Jul 2014 → 5 Jul 2014

Conference

Conference	International Conference on Mechatronics and Control, ICMC 2014
Country/Territory	China
City	Jinzhou
Period	3/07/14 → 5/07/14

Keywords

Browsers
Computational modeling
Generators
Hardware
Petri nets
Servers
Software

Access to Document

10.1109/ICMC.2014.7232002Licence: Unspecified

Cite this

@inproceedings{8db6925630bb4ffb87778f930a266caa,

title = "IOPT-tools-Towards cloud design automation of digital controllers with Petri nets",

abstract = "This paper describes the IOPT-Tools cloud-based tool-chain, offering a complete set of Petri net tools with a Web interface supporting digital controllers development. The tools include an interactive graphical Petri net editor, a model-checking subsystem composed of a state-space generator, state-space visualization and a query system, and automatic code generation tools that produce software 'C' code or VHDL hardware descriptions ready to be deployed into implementation platforms. All interactive tools are executed directly in the user's Web Browser using AJAX principles, but file-storage and intensive processing operations are processed in the cloud. For example, state-space computation and the storage of the resulting data is performed in dedicated fast servers, minimizing network traffic and enabling the use of lightweight terminal equipment to access the tools, as simple as smart-phones or tablet computers. The tools are available on-line at http://gres.uninova.pt.",

keywords = "Browsers, Computational modeling, Generators, Hardware, Petri nets, Servers, Software",

author = "Fernando Pereira and Filipe Moutinho and Luis Gomes",

note = "FCT - Fundacao para a Ciencia e a Tecnologia (PEst-OE/EEI/UI0066/2011; PTDC/EEI-AUT/2641/2012); International Conference on Mechatronics and Control, ICMC 2014 ; Conference date: 03-07-2014 Through 05-07-2014",

year = "2015",

month = aug,

day = "31",

doi = "10.1109/ICMC.2014.7232002",

language = "English",

pages = "2414--2419",

booktitle = "Proceedings - 2014 International Conference on Mechatronics and Control, ICMC 2014",

publisher = "Institute of Electrical and Electronics Engineers (IEEE)",

address = "United States",

}

Pereira, F, Moutinho, F & Gomes, L 2015, IOPT-tools-Towards cloud design automation of digital controllers with Petri nets. in Proceedings - 2014 International Conference on Mechatronics and Control, ICMC 2014., 7232002, Institute of Electrical and Electronics Engineers (IEEE), pp. 2414-2419, International Conference on Mechatronics and Control, ICMC 2014, Jinzhou, China, 3/07/14. https://doi.org/10.1109/ICMC.2014.7232002

IOPT-tools-Towards cloud design automation of digital controllers with Petri nets. / Pereira, Fernando; Moutinho, Filipe ; Gomes, Luis.
Proceedings - 2014 International Conference on Mechatronics and Control, ICMC 2014. Institute of Electrical and Electronics Engineers (IEEE), 2015. p. 2414-2419 7232002.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - IOPT-tools-Towards cloud design automation of digital controllers with Petri nets

AU - Pereira, Fernando

AU - Moutinho, Filipe

AU - Gomes, Luis

N1 - FCT - Fundacao para a Ciencia e a Tecnologia (PEst-OE/EEI/UI0066/2011; PTDC/EEI-AUT/2641/2012)

PY - 2015/8/31

Y1 - 2015/8/31

N2 - This paper describes the IOPT-Tools cloud-based tool-chain, offering a complete set of Petri net tools with a Web interface supporting digital controllers development. The tools include an interactive graphical Petri net editor, a model-checking subsystem composed of a state-space generator, state-space visualization and a query system, and automatic code generation tools that produce software 'C' code or VHDL hardware descriptions ready to be deployed into implementation platforms. All interactive tools are executed directly in the user's Web Browser using AJAX principles, but file-storage and intensive processing operations are processed in the cloud. For example, state-space computation and the storage of the resulting data is performed in dedicated fast servers, minimizing network traffic and enabling the use of lightweight terminal equipment to access the tools, as simple as smart-phones or tablet computers. The tools are available on-line at http://gres.uninova.pt.

AB - This paper describes the IOPT-Tools cloud-based tool-chain, offering a complete set of Petri net tools with a Web interface supporting digital controllers development. The tools include an interactive graphical Petri net editor, a model-checking subsystem composed of a state-space generator, state-space visualization and a query system, and automatic code generation tools that produce software 'C' code or VHDL hardware descriptions ready to be deployed into implementation platforms. All interactive tools are executed directly in the user's Web Browser using AJAX principles, but file-storage and intensive processing operations are processed in the cloud. For example, state-space computation and the storage of the resulting data is performed in dedicated fast servers, minimizing network traffic and enabling the use of lightweight terminal equipment to access the tools, as simple as smart-phones or tablet computers. The tools are available on-line at http://gres.uninova.pt.

KW - Browsers

KW - Computational modeling

KW - Generators

KW - Hardware

KW - Petri nets

KW - Servers

KW - Software

UR - http://www.scopus.com/inward/record.url?scp=84953807395&partnerID=8YFLogxK

U2 - 10.1109/ICMC.2014.7232002

DO - 10.1109/ICMC.2014.7232002

M3 - Conference contribution

SP - 2414

EP - 2419

BT - Proceedings - 2014 International Conference on Mechatronics and Control, ICMC 2014

PB - Institute of Electrical and Electronics Engineers (IEEE)

T2 - International Conference on Mechatronics and Control, ICMC 2014

Y2 - 3 July 2014 through 5 July 2014

ER -

IOPT-tools-Towards cloud design automation of digital controllers with Petri nets

Abstract

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this