Sciweavers

Share
MODELS
2015
Springer

Executable models for Embedded Controllers Development - A Cloud Based Development Framework

5 years 7 months ago
Executable models for Embedded Controllers Development - A Cloud Based Development Framework
—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. I. MOTIVATION AND GOALS Digital controllers are often developed and programmed using textual languages. Due to the well-known suitability of Petri nets to graphically specify sequence, concurrency, and synchronizations, specific classes of Petri nets have been designed to support the specification of this type of systems (e.g., [1]–[4]). Yet, somehow surprisingly, the ”Petri Nets Tool Database” [5] shows a notable scarcity of tools able to support the design and, especially, the generation of code for digital controllers. T...
Fernando Pereira, Filipe Moutinho, João Pau
Added 15 Apr 2016
Updated 15 Apr 2016
Type Journal
Year 2015
Where MODELS
Authors Fernando Pereira, Filipe Moutinho, João Paulo Barros, Anikó Costa, Luís Gomes 0001
Comments (0)
books