Publicação
Executable models for embedded controllers development - A cloud based development framework
| Resumo: | 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. |
|---|---|
| Autores principais: | Pereira, Fernando |
| Outros Autores: | Moutinho, Filipe; Barros, João Paulo; Costa, Aniko; Gomes, Luís |
| Assunto: | Cloud-based Code Generation Development frameworks Development process Digital controllers Embedded controllers Executable model Hardware platform General Computer Science |
| Ano: | 2015 |
| País: | Portugal |
| Tipo de documento: | documento de conferência |
| Tipo de acesso: | acesso aberto |
| Instituição associada: | Universidade Nova de Lisboa |
| Idioma: | inglês |
| Origem: | Repositório Institucional da UNL |
| Resumo: | 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. |
|---|