Proposta de dissertação do MEI
Título: Domain Specific Language for specifying Home Automation IOTs Behavior
Proponente(s): Vasco Amaral
Créditos: 42 ECTS
Área científica: Software Engineering
Início preferencial: Qualquer semestre
URL:
Já estão em curso trabalhos preliminares executados pelo alunos:
João Cambeiro, Pedro Simão, Joana Páris Pereira
Breve descrição: Design a novel modelling and development language for CPS that offers basic constructs for specifying software and hardware component functionality on a given deployment scenario. This language will support the separation of concerns in multiple views. The designer should be able to specify the concern, as functionally needed, and the programming environment should derive functionally equivalent versions that specifically improve one or more quality attributes (possibly at the expense of other quality attributes).

The language aims at improving the development efficiency by reducing the accidental complexity of solving the problem at the code level. It should capture, with usability concerns, at a more appropriate level of abstraction, the essential properties, and system constraints. This information is relevant to the tooling that will support developers to manage the tradeoffs associated with functional correctness and reliability.
Observações: In this work, the work is part of the team of the Smartlab project at NOVALINCS, several IOTs are set in a real-life office automation environment. This topic is already taken by Vitor Mexia