Ontologia para especificação de requisitos em sistemas embarcados
Autor(a) principal: | |
---|---|
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 |