Representação da Linguagem nesC Usando Técnicas Baseadas em Modelos

• Main Author: Ralo, João Filipe da Costa
• Publication Date: 2017
• Format: Master thesis
• Language: por
• Source: Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
• Download full: http://hdl.handle.net/10362/20680
• topic: Internet-das-Coisas; nesC; Modelação; MDA; UML; Ecore; Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática

A Internet-das-Coisas (IdC) é, essencialmente, um sistema de máquinas ou objetos equipa-dos com tecnologias de recolha de dados tais que estes possam comunicar entre si sem intervenção humana. Este paradigma de tecnologia possibilita um vasto número de implementações, tais como Cidades Inteligentes, Transportes Inteligentes, etc. Essas implementações são formadas por dis-positivos autónomos e de diferentes plataformas de hardware, capazes de monitorar condições ambientais, tais como temperatura, som e humidade. Devido à heterogeneidade destes dispositi-vos, o desenvolvimento de sistemas dedicados à IdC é complexo visto que, atualmente, não exis-tem métodos para auxiliar a criação e gestão destes sistemas. Tendo em conta as suas limitações (processamento, memória, etc), estes dispositivos são classificados como Dispositivos de Recursos Limitados (DRL). Possuem um sistema operativo próprio, sendo o TinyOS o mais utilizado. Este recorre à linguagem de programação Network Embedded System C (nesC). É então essencial a existência de um formalismo que habilite siste-mas/ferramentas na geração automática de código, consequentemente, implementações IdC. A falta de tal especificação dificulta o desenvolvimento de aplicações, pois é necessário que os en-genheiros possuam total conhecimento (detalhes técnicos) da linguagem de programação. Este trabalho teve como principal objetivo utilizar metodologias orientadas a modelos para descrever e formalizar a linguagem de programação nesC. O metamodelo nesC é apresentado utilizando classes UML (Unified Modelling Language) e linguagem Ecore. A partir do metamo-delo foi possível efetuar a transformação para outras linguagens (nomeadamente XML - eXten-sible Markup Language) e a geração automática de código nesC. Com esta formalização é então possível a integração com ferramentas que abstraiam o utilizador dos pormenores técnicos da linguagem ou, por exemplo, a integração com sistemas de simulação de dispositivos IdC.