Temas para dissertao de mestrado

Ontology to model Internet of Things hardware

Comunidades como o Arduino crescem devido existncia de um diverso

nmero de aplicaes onde estes podem ser utilizados. Mas esta utilizao s
possvel devido existncia de mdulos de expanso para os mesmos. O
objectivo deste trabalho, o desenho de uma Ontologia compreensiva e
abrangente que represente capacidades e possibilidades de inter-coneces
destes mdulos, de forma a permitir aos seus utilizadores, descobrir facilmente
que conjugaes so possveis, fazendo queries avanadas sobre a
ontologia. A criao de uma metodologia para a populao automtica da
ontologia tambm desejada. Este trabalho de mestrado segue sob a
orientao cientfica do Prof. Pedro Mal e coordenao tcnica do Mestre
Bruno Almeida.

Security handshaking for IoT devices

Uma das barreiras atuais da utilizao das redes IoT a segurana. Por
exemplo, as pessoas querem saber como metem o seu dispositivo em sua casa
e este no partilha informao sensvel a terceiros. O objectivo deste trabalho
ento estudar as tcnicas de handshaking existentes e adapt-las para a
Internet-das-Coisas. Este trabalho de mestrado segue sob a orientao
cientfica do Prof. Pedro Mal e coordenao tcnica do Mestre Bruno Almeida.

Study of optimisation techniques for FPGAs

A utilizao de dispositivos lgicos programveis (particularmente FPGAs) tem

vindo a ganhar expresso e estima-se crescer a 8.1% anualmente at 2020
com um mercado a rendar os $8.5 bilies de dlares
(ver http://www.researchandmarkets.com/research/cr8ljf/fieldprogrammable).
Esta demanda requer contnuos avanos tecnolgicos em particular ao nvel do
consumo energtico, desempenho e rea. As tcnicas de optimizao hoje em
dia focam-se tipicamente na velocidade (desempenho) e rea (diminuio a
utilizao de lgica) partindo do principio de que diminuir rea implica um menor
consumo de energia (o que nem sempre verdade) e que desejar velocidade
antagnico de um baixo consumo energtico (o que no uma fatalidade). Esta
dissertao foca-se ento em estudar, caracterizar e modelar em detalhe as
diferentes tcnicas de optimizao utilizadas na sntese de circuitos
(e.g. http://zone.ni.com/reference/en-XX/help/371599H-
01/lvfpgaconcepts/optimizing_fpga_vis/) e os seus reais impactos em termos de
consumo energtico, desempenho, rea (e outros). Para estudo, usaremos
diversas FPGAs e sistemas de fabricantes de referncia como a Xilinx e outros.
Este trabalho de mestrado segue sob a orientao cientfica do Prof. Pedro
Mal e coordenao tcnica do Mestre Bruno Almeida.

e-Learning: Adapt contents by user profile

Dependendo dos target-users do e-learning, os mesmos contedos so

apresentados de forma diferente. O objectivo deste trabalho o estudo e
criao de uma metodologia para a adaptao automtica de contedos
consoante a audincia. Este trabalho vai passar pela criao de uma forma de
modelao de contedos, e a criao de uma ferramenta para a transformao
do mesmo, consoante a audincia. Este trabalho de mestrado segue sob a
orientao cientfica do Prof. Pedro Mal e coordenao tcnica do Mestre
Bruno Almeida.

Anlise multi-critrio para a escolha de arquitecturas das Internet-das-

Coisas (IoT)

A Internet-of-Things (IoT) hoje uma realidade, com o aparecimento de novas

implementaes usando IoT em todo o mundo e em diversas reas de
aplicao, tais como Cidades Inteligentes (Smart Cities), Sistemas de
Transporte Inteligente, Domtica (Prdios Inteligentes Smart Buildings), entre
muitos outros.
Devido s caractersticas muito prprias de cada uma das reas de aplicao,
os sistemas utilizados/criados seguem implementaes muito distintas,
recorrendo geralmente a abordagens e tecnologias diferentes de modo a
salientar pontos/vantagens especficos. Alguns exemplos em ter em conta so:
o critrio ambiente, se o sistema para ser usado em espaos abertos,
fechados ou ambos; ou se o hardware usado ter acesso a uma fonte de
energia constante ou limitada; ou a existncia de algum tipo de restrio no uso
de uma tecnologia especifica; etc.
Este trabalho destina-se inicialmente a identificar a procura e oferta existente
hoje em dia no estado-da-arte no que respeita a arquitecturas das Internet-das-
Coisas (IdC), seguido da identificao e definir os principais atributos de
qualidade/critrios/caractersticas de cada uma das arquitecturas identificadas.
Por fim este trabalho procura criar um mtodo de anlise multicritrio que
permita a escolha de uma arquitectura das IdC que melhor satisfaa um ou
mais critrios apontados.
Este trabalho de mestrado segue sob a orientao cientfica do Prof. Pedro
Mal e coordenao tcnica do Mestre Edgar Silva do UNINOVA-CTS.
Gerao Automtica de Blocos de Simulao para Aplicaes na Internet-
of-Things (IoT)

A IoT hoje uma realidade, com o aparecimento de novas implementaes em

todo o mundo e em diversas reas de aplicao, tais como Cidades Inteligentes
(Smart Cities), Sistemas de Transporte Inteligente, Domtica (Prdios
Inteligentes Smart Buildings), etc. Essas implementaes so construdas
com o recurso a Redes de Sensores sem Fios que so formadas por sensores
autnomos distintos para monitorar as condies fsicas ou ambientais, tais
como temperatura, som, presso, etc.
Estes sensores normalmente chamados de ns tm caractersticas muito
prprias, tais como o seu pequeno tamanho, recursos limitados em termos de
computao, comunicao, energia, etc. A comunidade cientfica indica o
Network Embedded System C (nesC) do TinyOS como a linguagem de
programao mais utilizada neste tipo de dispositivos e com mais suporte ao
programador.
No entanto, as caractersticas que estes ns apresentam e o aumento do seu
uso nas diversas reas, comeam a levantar diversas questes sobre o seu
desempenho. Assim sendo necessrio elaborar um sistema capaz de uma
maneira rpida e eficaz testar/simular as aplicaes que esto ou sero
implementadas nos dispositivos, tendo em conta todas as condicionantes que a
aplicao apresente mas tambm as restries impostas pelo hardware.
Assim prope-se o uso da ferramenta Simulink do Matlab, visto ser uma
ferramenta amplamente utilizada e conhecida por todos, sendo capaz realizar
simulaes em vrios domnios.
O principal objectivo deste trabalho ento o desenvolvimento do processo de
transformao (uma ferramenta nesC2Sim) entre modelos nesC e modelos
Simulink (Sim) usando um metodologia orientada a modelos (model-driven).
Permitindo a gerao automtica de diagrama de blocos que possam
posteriormente simular a execuo de uma tarefa (simples ou complexa), ou o
consumo energtico.