Ontologia para especificação de requisitos em sistemas embarcados

Detalhes bibliográficos
Autor(a) principal: SOUSA, Aêda Monalliza Cunha de
Data de Publicação: 2021
Tipo de documento: Tese
Idioma: por
Título da fonte: Repositório Institucional da UFPE
Texto Completo: https://repositorio.ufpe.br/handle/123456789/42333
Resumo: 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.
id UFPE_3b726885da41664902113ce1a63ce0f8
oai_identifier_str oai:repositorio.ufpe.br:123456789/42333
network_acronym_str UFPE
network_name_str Repositório Institucional da UFPE
repository_id_str 2221
spelling SOUSA, Aêda Monalliza Cunha dehttp://lattes.cnpq.br/1157311814704980Fernanda Maria Ribeiro de Alencarhttp://lattes.cnpq.br/5674391087077141ALENCAR, Fernanda Maria Ribeiro deRODRIGUES, Cleyton Mário de Oliveira2021-12-29T18:08:41Z2021-12-29T18:08:41Z2021-04-29SOUSA, Aêda Monalliza Cunha de. Ontologia para especificação de requisitos em sistemas embarcados. 2021. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Pernambuco, Recife, 2021.https://repositorio.ufpe.br/handle/123456789/42333Devido à 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.CAPESDue to the particularity existing in the various domains of Embedded Systems, it is often difficult to understand the requirements that must be identified and translate them into the system's expected functions and limitations. The inherent complexity of different domains and the need to find defects or flaws quickly and accurately are essential factors for developing these systems. Despite advances in the development of embedded systems, it is still an area that deserves attention from researchers due to its complexity and the few requirements engineering initiatives that meet these systems' particularities. Every day some approaches to the development of Embedded Systems are proposed, considering several knowledge areas, such as ontology. Managing knowledge in the area of embedded systems is a challenge for engineers and researchers, as the representation of these types of knowledge is the source of several problems. The main problem is related to the natural language used for eliciting and specifying requirements, and these languages are not fully formalized. With the advent of the Semantic Web and technologies for its realization, the possibilities of applying ontologies as a means of defining the semantics of information and knowledge become increasingly accepted in different domains. In this context, this thesis aims, based on the Semantic Web's open standards (the formalism of descriptive logic), to define an ontological approach to assist the elicitation and specification of requirements in Embedded Systems. Thus, through the built Ontologies, we highlight simulations of requirements specifications in real scenarios, extracting the requirements used, standards, and the positive and negative impacts that they can cause among themselves. The research method used was a systematic mapping of the literature, a systematic review of the literature, a survey, and interviews with experts in the field. As contributions to this thesis, we note the progress in using logically formalized ontologies for unambiguous and shared representation of requirements knowledge in Embedded Systems. This is expected to assist developers of embedded systems, creating a common core of requirements. It is essential to boost the conduct of research in requirements engineering to have quality and precision in the specification in the development of embedded systems.porUniversidade Federal de PernambucoPrograma de Pos Graduacao em Engenharia EletricaUFPEBrasilEngenharia ElétricaOntologiaEngenharia de requisitosSistemas embarcadosOntologia para especificação de requisitos em sistemas embarcadosinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisdoutoradoinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFPEinstname:Universidade Federal de Pernambuco (UFPE)instacron:UFPEORIGINALTESE Aêda Monalliza Cunha de Sousa.pdfTESE Aêda Monalliza Cunha de Sousa.pdfapplication/pdf4273552https://repositorio.ufpe.br/bitstream/123456789/42333/1/TESE%20A%c3%aada%20Monalliza%20Cunha%20de%20Sousa.pdf501739b37c7f629566a1093b8b66a32bMD51LICENSElicense.txtlicense.txttext/plain; charset=utf-82142https://repositorio.ufpe.br/bitstream/123456789/42333/2/license.txt6928b9260b07fb2755249a5ca9903395MD52TEXTTESE Aêda Monalliza Cunha de Sousa.pdf.txtTESE Aêda Monalliza Cunha de Sousa.pdf.txtExtracted texttext/plain298232https://repositorio.ufpe.br/bitstream/123456789/42333/3/TESE%20A%c3%aada%20Monalliza%20Cunha%20de%20Sousa.pdf.txt474384db714fdeb7d66806650a6fff13MD53THUMBNAILTESE Aêda Monalliza Cunha de Sousa.pdf.jpgTESE Aêda Monalliza Cunha de Sousa.pdf.jpgGenerated Thumbnailimage/jpeg1192https://repositorio.ufpe.br/bitstream/123456789/42333/4/TESE%20A%c3%aada%20Monalliza%20Cunha%20de%20Sousa.pdf.jpg7de7f0ab8049aeef0483461a5cfd63e9MD54123456789/423332021-12-30 02:10:36.064oai:repositorio.ufpe.br:123456789/42333VGVybW8gZGUgRGVww7NzaXRvIExlZ2FsIGUgQXV0b3JpemHDp8OjbyBwYXJhIFB1YmxpY2HDp8OjbyBkZSBEb2N1bWVudG9zIG5vIFJlcG9zaXTDs3JpbyBEaWdpdGFsIGRhIFVGUEUKIAoKRGVjbGFybyBlc3RhciBjaWVudGUgZGUgcXVlIGVzdGUgVGVybW8gZGUgRGVww7NzaXRvIExlZ2FsIGUgQXV0b3JpemHDp8OjbyB0ZW0gbyBvYmpldGl2byBkZSBkaXZ1bGdhw6fDo28gZG9zIGRvY3VtZW50b3MgZGVwb3NpdGFkb3Mgbm8gUmVwb3NpdMOzcmlvIERpZ2l0YWwgZGEgVUZQRSBlIGRlY2xhcm8gcXVlOgoKSSAtICBvIGNvbnRlw7pkbyBkaXNwb25pYmlsaXphZG8gw6kgZGUgcmVzcG9uc2FiaWxpZGFkZSBkZSBzdWEgYXV0b3JpYTsKCklJIC0gbyBjb250ZcO6ZG8gw6kgb3JpZ2luYWwsIGUgc2UgbyB0cmFiYWxobyBlL291IHBhbGF2cmFzIGRlIG91dHJhcyBwZXNzb2FzIGZvcmFtIHV0aWxpemFkb3MsIGVzdGFzIGZvcmFtIGRldmlkYW1lbnRlIHJlY29uaGVjaWRhczsKCklJSSAtIHF1YW5kbyB0cmF0YXItc2UgZGUgVHJhYmFsaG8gZGUgQ29uY2x1c8OjbyBkZSBDdXJzbywgRGlzc2VydGHDp8OjbyBvdSBUZXNlOiBvIGFycXVpdm8gZGVwb3NpdGFkbyBjb3JyZXNwb25kZSDDoCB2ZXJzw6NvIGZpbmFsIGRvIHRyYWJhbGhvOwoKSVYgLSBxdWFuZG8gdHJhdGFyLXNlIGRlIFRyYWJhbGhvIGRlIENvbmNsdXPDo28gZGUgQ3Vyc28sIERpc3NlcnRhw6fDo28gb3UgVGVzZTogZXN0b3UgY2llbnRlIGRlIHF1ZSBhIGFsdGVyYcOnw6NvIGRhIG1vZGFsaWRhZGUgZGUgYWNlc3NvIGFvIGRvY3VtZW50byBhcMOzcyBvIGRlcMOzc2l0byBlIGFudGVzIGRlIGZpbmRhciBvIHBlcsOtb2RvIGRlIGVtYmFyZ28sIHF1YW5kbyBmb3IgZXNjb2xoaWRvIGFjZXNzbyByZXN0cml0bywgc2Vyw6EgcGVybWl0aWRhIG1lZGlhbnRlIHNvbGljaXRhw6fDo28gZG8gKGEpIGF1dG9yIChhKSBhbyBTaXN0ZW1hIEludGVncmFkbyBkZSBCaWJsaW90ZWNhcyBkYSBVRlBFIChTSUIvVUZQRSkuCgogClBhcmEgdHJhYmFsaG9zIGVtIEFjZXNzbyBBYmVydG86CgpOYSBxdWFsaWRhZGUgZGUgdGl0dWxhciBkb3MgZGlyZWl0b3MgYXV0b3JhaXMgZGUgYXV0b3IgcXVlIHJlY2FlbSBzb2JyZSBlc3RlIGRvY3VtZW50bywgZnVuZGFtZW50YWRvIG5hIExlaSBkZSBEaXJlaXRvIEF1dG9yYWwgbm8gOS42MTAsIGRlIDE5IGRlIGZldmVyZWlybyBkZSAxOTk4LCBhcnQuIDI5LCBpbmNpc28gSUlJLCBhdXRvcml6byBhIFVuaXZlcnNpZGFkZSBGZWRlcmFsIGRlIFBlcm5hbWJ1Y28gYSBkaXNwb25pYmlsaXphciBncmF0dWl0YW1lbnRlLCBzZW0gcmVzc2FyY2ltZW50byBkb3MgZGlyZWl0b3MgYXV0b3JhaXMsIHBhcmEgZmlucyBkZSBsZWl0dXJhLCBpbXByZXNzw6NvIGUvb3UgZG93bmxvYWQgKGFxdWlzacOnw6NvKSBhdHJhdsOpcyBkbyBzaXRlIGRvIFJlcG9zaXTDs3JpbyBEaWdpdGFsIGRhIFVGUEUgbm8gZW5kZXJlw6dvIGh0dHA6Ly93d3cucmVwb3NpdG9yaW8udWZwZS5iciwgYSBwYXJ0aXIgZGEgZGF0YSBkZSBkZXDDs3NpdG8uCgogClBhcmEgdHJhYmFsaG9zIGVtIEFjZXNzbyBSZXN0cml0bzoKCk5hIHF1YWxpZGFkZSBkZSB0aXR1bGFyIGRvcyBkaXJlaXRvcyBhdXRvcmFpcyBkZSBhdXRvciBxdWUgcmVjYWVtIHNvYnJlIGVzdGUgZG9jdW1lbnRvLCBmdW5kYW1lbnRhZG8gbmEgTGVpIGRlIERpcmVpdG8gQXV0b3JhbCBubyA5LjYxMCBkZSAxOSBkZSBmZXZlcmVpcm8gZGUgMTk5OCwgYXJ0LiAyOSwgaW5jaXNvIElJSSwgYXV0b3Jpem8gYSBVbml2ZXJzaWRhZGUgRmVkZXJhbCBkZSBQZXJuYW1idWNvIGEgZGlzcG9uaWJpbGl6YXIgZ3JhdHVpdGFtZW50ZSwgc2VtIHJlc3NhcmNpbWVudG8gZG9zIGRpcmVpdG9zIGF1dG9yYWlzLCBwYXJhIGZpbnMgZGUgbGVpdHVyYSwgaW1wcmVzc8OjbyBlL291IGRvd25sb2FkIChhcXVpc2nDp8OjbykgYXRyYXbDqXMgZG8gc2l0ZSBkbyBSZXBvc2l0w7NyaW8gRGlnaXRhbCBkYSBVRlBFIG5vIGVuZGVyZcOnbyBodHRwOi8vd3d3LnJlcG9zaXRvcmlvLnVmcGUuYnIsIHF1YW5kbyBmaW5kYXIgbyBwZXLDrW9kbyBkZSBlbWJhcmdvIGNvbmRpemVudGUgYW8gdGlwbyBkZSBkb2N1bWVudG8sIGNvbmZvcm1lIGluZGljYWRvIG5vIGNhbXBvIERhdGEgZGUgRW1iYXJnby4KRepositório InstitucionalPUBhttps://repositorio.ufpe.br/oai/requestattena@ufpe.bropendoar:22212021-12-30T05:10:36Repositório Institucional da UFPE - Universidade Federal de Pernambuco (UFPE)false
dc.title.pt_BR.fl_str_mv Ontologia para especificação de requisitos em sistemas embarcados
title Ontologia para especificação de requisitos em sistemas embarcados
spellingShingle Ontologia para especificação de requisitos em sistemas embarcados
SOUSA, Aêda Monalliza Cunha de
Engenharia Elétrica
Ontologia
Engenharia de requisitos
Sistemas embarcados
title_short Ontologia para especificação de requisitos em sistemas embarcados
title_full Ontologia para especificação de requisitos em sistemas embarcados
title_fullStr Ontologia para especificação de requisitos em sistemas embarcados
title_full_unstemmed Ontologia para especificação de requisitos em sistemas embarcados
title_sort Ontologia para especificação de requisitos em sistemas embarcados
author SOUSA, Aêda Monalliza Cunha de
author_facet SOUSA, Aêda Monalliza Cunha de
author_role author
dc.contributor.authorLattes.pt_BR.fl_str_mv http://lattes.cnpq.br/1157311814704980
dc.contributor.advisorLattes.pt_BR.fl_str_mv Fernanda Maria Ribeiro de Alencar
dc.contributor.advisor-coLattes.pt_BR.fl_str_mv http://lattes.cnpq.br/5674391087077141
dc.contributor.author.fl_str_mv SOUSA, Aêda Monalliza Cunha de
dc.contributor.advisor1.fl_str_mv ALENCAR, Fernanda Maria Ribeiro de
dc.contributor.advisor-co1.fl_str_mv RODRIGUES, Cleyton Mário de Oliveira
contributor_str_mv ALENCAR, Fernanda Maria Ribeiro de
RODRIGUES, Cleyton Mário de Oliveira
dc.subject.por.fl_str_mv Engenharia Elétrica
Ontologia
Engenharia de requisitos
Sistemas embarcados
topic Engenharia Elétrica
Ontologia
Engenharia de requisitos
Sistemas embarcados
description 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.
publishDate 2021
dc.date.accessioned.fl_str_mv 2021-12-29T18:08:41Z
dc.date.available.fl_str_mv 2021-12-29T18:08:41Z
dc.date.issued.fl_str_mv 2021-04-29
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.citation.fl_str_mv SOUSA, Aêda Monalliza Cunha de. Ontologia para especificação de requisitos em sistemas embarcados. 2021. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Pernambuco, Recife, 2021.
dc.identifier.uri.fl_str_mv https://repositorio.ufpe.br/handle/123456789/42333
identifier_str_mv SOUSA, Aêda Monalliza Cunha de. Ontologia para especificação de requisitos em sistemas embarcados. 2021. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Pernambuco, Recife, 2021.
url https://repositorio.ufpe.br/handle/123456789/42333
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Universidade Federal de Pernambuco
dc.publisher.program.fl_str_mv Programa de Pos Graduacao em Engenharia Eletrica
dc.publisher.initials.fl_str_mv UFPE
dc.publisher.country.fl_str_mv Brasil
publisher.none.fl_str_mv Universidade Federal de Pernambuco
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFPE
instname:Universidade Federal de Pernambuco (UFPE)
instacron:UFPE
instname_str Universidade Federal de Pernambuco (UFPE)
instacron_str UFPE
institution UFPE
reponame_str Repositório Institucional da UFPE
collection Repositório Institucional da UFPE
bitstream.url.fl_str_mv https://repositorio.ufpe.br/bitstream/123456789/42333/1/TESE%20A%c3%aada%20Monalliza%20Cunha%20de%20Sousa.pdf
https://repositorio.ufpe.br/bitstream/123456789/42333/2/license.txt
https://repositorio.ufpe.br/bitstream/123456789/42333/3/TESE%20A%c3%aada%20Monalliza%20Cunha%20de%20Sousa.pdf.txt
https://repositorio.ufpe.br/bitstream/123456789/42333/4/TESE%20A%c3%aada%20Monalliza%20Cunha%20de%20Sousa.pdf.jpg
bitstream.checksum.fl_str_mv 501739b37c7f629566a1093b8b66a32b
6928b9260b07fb2755249a5ca9903395
474384db714fdeb7d66806650a6fff13
7de7f0ab8049aeef0483461a5cfd63e9
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFPE - Universidade Federal de Pernambuco (UFPE)
repository.mail.fl_str_mv attena@ufpe.br
_version_ 1802310769030725632