Autor(es):
Pereira, Fernando ; Moutinho, Filipe ; Barros, João Paulo ; Costa, Aniko ; Gomes, Luís
Data: 2015
Origem: Repositório Institucional da UNL
Assunto(s): Cloud-based; Code Generation; Development frameworks; Development process; Digital controllers; Embedded controllers; Executable model; Hardware platform; Computer Science(all)
Descrição
Fundação para a Ciência e a Tecnologia (FCT) PTDC/EEI-AUT/2641/2012
We present IOPT-Tools, a tool framework for the development of digital controllers based on graphical executable models. The framework supports edition, simulation, verification through state-space querying, and code generation for several hardware platforms, most notably microcontrollers (e.g. Arduino, PIC, and Raspberry Pi) and FPGAs. The tool framework uses a class of Petri nets and is cloud based: the development process is performed using a browser.