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 parale...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | Portuguese |
| Published: |
Universidade de São Paulo
2009
|
| Subjects: | |
| Online Access: | http://www.teses.usp.br/teses/disponiveis/3/3152/tde-15092009-163107/ |