Checagem de arquiteturas de controle de veículos submarinos: uma abordagem baseada em especificações formais.
O desenvolvimento de arquiteturas de controle para veículos submarinos é uma tarefa complexa. Estas podem ser caracterizadas pelos seguintes atributos: tempo real, multitarefa, concorrência e comunicações distribuídas em rede. Neste cenário, existem múltiplos processos sendo executados em paralelo,...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | pt |
| Published: |
Biblioteca Digitais de Teses e Dissertações da USP
2009
|
| Subjects: | |
| Online Access: | http://www.teses.usp.br/teses/disponiveis/3/3152/tde-15092009-163107/ |