Especificação e simulação interactiva de algoritmos de controlo paralelos e hierárquicos
Palavras-chave:
Unidade de controlo digital, Algoritmos de controlo, CAN, Controller Area Network, HiParaGraphs
Resumo
O método de especificação apresentado neste artigo é utilizado para descrever o comportamento de uma unidade de controlo digital. Os algoritmos de controlo que gerem esta unidade seguem um modelo hierárquico, paralelo ou uma conjugação de ambos. Neste artigo é abordada a especificação e a simulação dos algoritmos de controlo paralelos e hierárquicos em simultâneo. O estudo de caso apresentado neste artigo consta da especificação da unidade de controlo do controlador CAN – Controller Area Network utilizando os HiParaGraphs.