Geração e implementação de soluções de software eficientes e seguras para dispositivos IoT

O projeto irá criar uma solução unificada para o desenvolvimento e operação de sistemas IoT, com um desenvolvimento continuo após a instalação do sistema. Para suportar a fase de desenvolvimento será criada uma arquitetura de engenharia baseada em modelos para dispositivos IoT, para as fases de desenvolvimento, desde a modelização do sistema até à sua instalação. Os dispositivos vão poder ser atualizáveis, de forma flexível e segura. O GenerIoT tem como objetivos principais acelerar o processo de desenvolvimento e melhorar a qualidade dos sistemas construídos. As abordagens seguidas para a metodologia devem ser aplicáveis a qualquer área de aplicação, como a automação de casas e edifícios, a monitorização industrial, automóvel, ou energia. A arquitetura de modelos será o componente principal e irá operar de forma consistente nos diferentes níveis que cobrem os aspetos completos do sistema, tais como a arquitetura geral do sistema, projeto do hardware embebido, implementações de software, e canais de comunicação. Isto permite não só a geração de código a partir dos modelos, mas também a análise da arquitetura do sistema em fase inicial e a avaliação do seu desempenho (temporal, energia, etc.). Outra componente chave envolve o projeto de um ambiente de prototipagem configurável, que irá permitir uma avaliação do hardware e software, e do desempenho das comunicações do sistema. Esta abordagem também guiará a automação de testes, através de um modelo compreensivo das interações do sistema. A mesma arquitetura de modelos irá suportar a fase de operação. Um objetivo desta fase é melhorar e unificar os processos operacionais, através de mecanismos e práticas normalizadas. Outro objetivo é melhorar a compreensão do sistema como instalado , o que permite um raciocínio mais seguro sobre as mudanças a propor e a implementar, evitando problemas, como o impacto no desempenho ou a introdução de vulnerabilidades de segurança. Implementações típicas para IoT concentram-se apenas no provisionamento, na implementação, na colocação em serviço e na utilização operacional. Muito poucos cobrem outros elementos que garantem redes contínuas seguras e fiáveis, tais como a deteção e mitigação de vulnerabilidades e a remoção do serviço. Dispositivos com vulnerabilidades conhecidas permanecem em operação, expondo dados durante o processo de remoção e, permanecendo ativos, sem manutenção e monitorização, muito depois da sua utilidade terminar. Neste contexto global, os objetivos do consórcio nacional são focados no apoio à criação da metodologia, nas fases de análise de arquitetura do sistema, na geração de código e no processo de instalação do sistema. A nível de metodologia, CWD e ISEP irão suportar as decisões na modelação dos sistemas. Na análise da arquitetura um objetivo central é o desenvolvimento de uma fase de análise e validação do sistema que garanta a qualidade do serviço, tanto a nível do dispositivo, como na comunicação e interação entre dispositivos e no sistema em geral. Esta fase irá garantir que cada dispositivo executa corretamente, conforme as suas características e limitações no ambiente em que executa (p.e. comunicação interrupta), e que o sistema irá operar de forma adequada e estável. A geração de código irá tomar como base o resultado da análise efetuada, permitindo a automação, configuração e geração do código (a nível de firmware e software).