Specifying the Behaviour of Building Automation Systems EVALUATED

Detalhes: Os sistemas de automação de edifícios têm sentido um acréscimo de interesse devido ao seu potencial de poupança de energia, assim como através da criação de ambientes inteligentes. No entanto, o desenvolvimento deste tipo de sistemas consiste essencialmente em controladores embebidos em hardware, escritos em linguagens de baixo nível difíceis de programar. Em situações onde a actuação deve variar continuamente de acordo com o input dos sensores, o desenvolvimento e teste torna-se ainda mais difícil. Nesta dissertação é proposta uma framework baseada numa linguagem declarativa com o intuito de especificar o comportamento de um sistema de automação de edifícios. Esta linguagem permite a especificação do comportamento sem se preocupar com os detalhes de hardware. A linguagem e a framework propostas usam as noções de lógica fuzzy e lógica temporal. As especificações desenvolvidas usando esta linguagem descrevem sistemas de controlo fuzzy que interagem com actuadores usando um processo de defuzzification alterado. A nossa proposta foi validada através do desenvolvimento de um simulador da linguagem e do caso estudo descrito, que especificam o comportamento de um sistema de automação de um escritório. Para uma validação mais detalhada usámos um conjunto de dados de sensores e observámos o comportamento produzido pelo sistema. Por fim, analisámos os gráficos correspondentes a variação dos actuadores durante as simulações.

Discussão: setembro 6, 2011, 11:0

Publicação

Obra sujeita a Direitos de Autor

Orientação

AUTOR

João Elói Trindade de Aguiam (ist157371)

CO-ORIENTADOR

Andreas Miroslaus Wichert

Departamento de Engenharia Informática (DEI)

Professor Auxiliar

ORIENTADOR

Paulo Jorge Fernandes Carreira

Departamento de Engenharia Informática (DEI)

Professor Auxiliar