Um ambiente GMB+ para o desenvolvimento de sistemas distribuidos de controle digital : a maquinas GMB+

Este trabalho, no contexto da Implementação de uma ferramenta experimental de ensino e pesquisa na área de controle de processos por computador, apresenta e discute um formalismo para o modelamento e programação de sistemas distribuídos de controle digital. Tal formalismo baseia-se no GMB (Graph Model of Behavlor) desenvolvido na UCLA, ao qual foram incorporados os seguintes mecanismos para o processamento em tempo-real: escalonamento da ativação dos nós de controle em função de prioridades associadas às marcas do grafo do controle; marcação de arco de controle ap6s intervalo de tempo especificado; marcação frequencial de arco de controle e marcação de arco de controle por eventos externos durante a execução do modelo (interrupção). Em função deste novo formalismo, agora denominado GMB*, propõe-se a implementação de uma máquina característica distribuída capaz de processá-lo. Em adição ao modelo GMB* e sua máquina, são estabelecidas as linhas gerais de um conjunto de ferramentas de apoio à programação GMB* que, quando integradas, constituirão um ambiente para o desenvolvimento de sistemas distribuídos de controle digitalNot informe