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...

• Type: Journal
• Year: 2015
• Where: MODELS
• Authors: Fernando Pereira, Filipe Moutinho, João Paulo Barros, Anikó Costa, Luís Gomes 0001
• Keywords: MODELS 2015, Natural Language Processing