[pt] CONCORRÊNCIA SEGURA EM NÍVEL DE SISTEMA PARA NÓS COM RESTRIÇÕES DE RECURSOS EM CÉU

• Ano de defesa: 2017
• Autor(a) principal: FRANCISCO FIGUEIREDO GOYTACAZ SANT ANNA
• Tipo de documento: Tese
• Tipo de acesso: Acesso aberto
• Idioma: eng
• Instituição de defesa: MAXWELL
• Palavras-chave em Português: [pt] DETERMINISMO; [pt] REATIVO; [pt] ESTEREL; [pt] SINCRONO; [pt] REDES DE SENSORES SEM FIO; [pt] SISTEMA EMBARCADO; [pt] CONCORRENCIA; [en] DETERMINISM; [en] SYNCHRONOUS; [en] WIRELESS SENSOR NETWORK; [en] EMBEDDED SYSTEM; [en] CONCURRENCE
• Link de acesso: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=28739&idi=1; https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=28739&idi=2; http://doi.org/10.17771/PUCRio.acad.28739

[pt] Apesar da pesquisa contínua para facilitar a programação de redes de sensores sem fio, a análise de perigos de concorrência ainda é de responsabilidade do programador, que deve tratar manualmente de questões como sincronização e memória compartilhada. Nós apresentamos uma linguagem de sistema que garante concorrência segura tratando ameaças em tempo de compilação. A fundamentação estática e síncrona da nossa abordagem permite um raciocínio mais simples sobre questões de concorrência, permitindo uma análise em tempo de compilação que garante programas determinísticos. Como contra-partida, nosso modelo impõe em termos da expressividade da linguagem, tais como para efetuar cálculos demorados, ou atender prazos estritos em tempo real. Nós implementamos diversos protocolos de rede conhecidos e o driver para rádio CC2420 para mostrar que a expressividade e responsividade obtida com a linguagem é suficiente para uma gama considerável de aplicações para redes de sensores. As implementações mostram uma redução de tamanho de código, com um aumento de memória abaixo de 10 porcento em comparação com nesC. O uso da linguagem proposta implica em diversas propriedades de segurança que se baseiam em abstrações de controle de alto nível, também resultando em código mais conciso e legível.