Abstract
O ambiente de ferramentas utilizando tecnologias da web IOPT-Tools [1] suporta a implementação de controladores de sistemas embutidos utilizando ferramentas gráficas baseadas na web, iniciando o fluxo de desenvolvimento com um editor gráfico para especificar o comportamento do controlador através de um modelo em redes de Petri, complementado com ferramentas de verificação de propriedades usadas para depurar e verificar automaticamente a correção do comportamento do controlador (ajudando na detecção de falhas do modelo durante os primeiros estágios de projeto), permitindo gerar automaticamente o código de implementação do controlador final disponível para uso em plataformas específicas considerando código C para soluções de software ou código VHDL para descrições de hardware.
| Original language | Portuguese |
|---|---|
| Title of host publication | Atas das XV Jornadas sobre Sistemas Reconfiguráveis - REC'2019 |
| Number of pages | 1 |
| Publication status | Published - 2019 |
| Event | REC'2019 - XV Jornadas sobre Sistemas Reconfiguráveis - Universidade do Minho, Guimarães, Portugal Duration: 14 Feb 2019 → 15 Feb 2019 |
Conference
| Conference | REC'2019 - XV Jornadas sobre Sistemas Reconfiguráveis |
|---|---|
| Country/Territory | Portugal |
| City | Guimarães |
| Period | 14/02/19 → 15/02/19 |