Resumo
O objetivo deste trabalho é especificar, modelar e otimizar o desempenho de sistemas de monitoramento ambiental, mais especificamente, do Sistema de Plataformas de Coleta de Dados, desenvolvido pelo INPE Instituto Nacional de Pesquisas Espaciais. Será dada ênfase à modelagem markoviana desses sistemas e ao desenvolvimento de softwares para sua análise e otimização.