Ontologia para especificação de requisitos em sistemas embarcados

Abstract

Devido à particularidade existente nos diversos domínios dos Sistemas Embarcados, muitas vezes torna-se difícil entender os requisitos que devem ser identificados e traduzi-los nas funções e limitações esperadas do sistema. A complexidade inerente de diferentes domínios, bem como a necessidade de encontrar defeitos ou falhas com rapidez e precisão, são fatores importantes a serem considerados ao desenvolver esses sistemas. Apesar dos avanços em desenvolvimento de sistemas embarcados, ainda é uma área que merece atenção dos pesquisadores devido a sua complexidade e às poucas iniciativas de engenharia de requisitos que atendem às particularidades desses sistemas. A cada dia algumas abordagens para o desenvolvimento de Sistema Embarcados são propostas, considerando várias áreas do conhecimento, tais como ontologia. Gerenciar conhecimento na área de sistemas embarcados é um desafio para engenheiros e pesquisadores, pois a representação desses tipos de conhecimento é fonte de diversos problemas. O principal problema está relacionado à linguagem natural usada para elicitação e especificação de requisitos, e essas linguagens não são totalmente formalizadas. Com o advento da Web Semântica e das tecnologias para sua realização, as possibilidades de aplicação de ontologias como meio de definir a semântica da informação e do conhecimento tornam-se cada vez mais aceitas em diferentes domínios. Nesse contexto, esta tese visa, a partir dos padrões abertos da Web Semântica (o formalismo da lógica descritiva), definir uma abordagem ontológica para auxiliar a elicitação e especificação de requisitos em Sistemas Embarcados. Assim, através das Ontologias construídas, destacamos simulações de especificações de requisitos em cenários reais, extraindo os requisitos utilizados, normas e os impactos positivos e negativos que eles podem causar entre si. O método de pesquisa utilizado foi um mapeamento sistemático da literatura, uma revisão sistemática da literatura, survey e entrevistas com especialistas do domínio. Como contribuições desta tese, assinalamos o avanço no uso de ontologias logicamente formalizadas para a representação não-ambígua e compartilhada do conhecimento de requisitos em Sistemas Embarcados. Espera-se com isso auxiliar os desenvolvedores de sistemas embarcados, criando-se um núcleo comum de requisitos. É essencial impulsionar a condução das pesquisas na área da engenharia de requisitos, forma a ter-se qualidade e precisão na especificação no desenvolvimento de sistemas embarcados.