IMPRIMIR VOLTAR A. Ciências Exatas e da Terra - 2. Ciência da Computação - 4. Engenharia de Software ANÁLISE ESPECIFICADA DE UM MODELO DE PROTOCOLO DE COMUNICAÇÃO PARA DISPOSITIVOS MÓVEIS E EMBARCADOS Paulo César da Costa Rodrigues 1, Augusto Flávio 1 e Ricardo Rodrigues de Araújo 1 1- Centro Federal de Educação Tecnológica do Ceará – CEFET-CE , CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA DO CEARÁ - CEFET-CE Esta pesquisa partiu de uma das linhas de pesquisa do Instituto de Telemática: processos de engenharia de software aplicados a sistemas telemáticos, no qual visa aplicar os vários métodos, processos, métricas, tecnologias de modelagem de software, em seus diferentes níveis de abstração, voltada para analisar, especificar, documentar, projetar os sistemas da telemática, como, protocolos de comunicação, ambientes móveis, rede de dispositivos, computação distribuída e outros sistemas em que haja requisitos de comunicação de processos situados em ambientes ou dipositivos distintos ou diferentes em nível de arquitetura computacional. Para este trabalho, o principal objetivo é realizar uma especificação formal dos requisitos de um protocolo de comunicação voltados para um ambiente agrupando dispositivos móveis e embarcados. Este tipo de especificação envolve a identificação de componentes como processos, seus respectivos estados e ações, e a análise da máquina de estados em função desses componentes identificados através do estudo da transição de estados bem como também de estados concorrentes ou mesmo exceções de processo. Isso se torna possível através do uso de sintaxes matemáticas ou de linguagem própria de especificação formal, no caso, o FSP com o auxílio de uma ferramenta de interpretação, o LTSA. Então, através de métodos formais de engenharia de software, empresas de tecnologia e desenvolvimento, por exemplo, poderão seguir o modelo formal especificado do protocolo atingindo assim uma compatibilidade em requisitos de comunicação em projetos e sistemas de telemática. Com todo o artefato de especificação, dando um foque para os dispositivos de menor arquitetura computacional, no caso, móveis e embarcados, ensejaria numerosos produtos na promoção de facilidades, comodidades e controle; e encontraria um leque de aplicações para pessoas jurídicas na prestação de serviços e elaboração dos produtos para o usuário final e fins corporativos Instituição de fomento: CNPq Trabalho de Iniciação Científica Palavras-chave:  Especificação Formal FSP; sistemas distribuídos; protocolo de comunicação Anais da 57ª Reunião Anual da SBPC - Fortaleza, CE - Julho/2005