Especificação e simulação interactiva de algoritmos de controlo paralelos e hierárquicos

Abstract

The specification method, which is presented in this paper, is used to describe the behavior of a digital control unit. The control algorithms that manage this unit may be hierarchical, parallel and both. In this paper is shown the specification and simulation of hierarchical and parallel control algorithms at the same time. The CAN - Controller Area Network protocol was used as a case study being specified using HiParaGraphs.