Uma metodologia de injeção de falhas para modelos UML executáveis
| Ano de defesa: | 2021 |
|---|---|
| Autor(a) principal: | |
| Orientador(a): | |
| Banca de defesa: | |
| Tipo de documento: | Dissertação |
| Tipo de acesso: | Acesso aberto |
| Idioma: | por |
| Instituição de defesa: |
[s.n.]
|
| Programa de Pós-Graduação: |
Não Informado pela instituição
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Não Informado pela instituição
|
| Palavras-chave em Português: | |
| Link de acesso: | https://hdl.handle.net/20.500.12733/2809 |
Resumo: | Orientador: Leonardo Montecchi |
| id |
UNICAMP-30_fde74f16ce6a9b5675d6cc367944a433 |
|---|---|
| oai_identifier_str |
oai::1236160 |
| network_acronym_str |
UNICAMP-30 |
| network_name_str |
Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) |
| repository_id_str |
|
| spelling |
Uma metodologia de injeção de falhas para modelos UML executáveisA fault injection methodology for executable UML modelsEngenharia de software - Injeção de falhasEngenharia de software - MetodologiaSoftware - ConfiabilidadeUML (Linguagem de modelagem padrão)Software engineering - Fault injectionSoftware engineering - MethodologyComputer software - ReliabilityUML (Computer science)Orientador: Leonardo MontecchiDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de ComputaçãoResumo: Fault Injection (FI) ou Injeção de Falhas é uma técnica de verificação bastante utilizadapara sistemas críticos. A melhor definição de sistemas críticos é de um sistema que o maufuncionamento pode levar a consequências intoleráveis. Na técnica de FI, os defeitos (oufaults) são introduzidos de forma artificial, para avaliar como as medidas implementadaspara evitar falhas no sistema irão se comportar em condições excepcionais. A FI pode seraplicado em diferentes níveis, incluindo físico, hardware e software.Além disso, A FI também pode ser aplicado em nível de modelo, embora a quantidadede trabalho nessa direção seja limitada. No entanto, a importância dos modelos no de-senvolvimento de sistemas complexos está crescendo, fazendo com que seja cada vez maisnecessário a verificação e simulações em nível de modelo. A The Foundational UML Sub-set (fUML) é um subconjunto específico da UML, lançado como um padrão pela OMG,que possui uma semântica de execução precisa e, portanto, pode ser executado.Nesta dissertação definimos uma abordagem para fazer FI a modelos executáveis espe-cificados em fUML. Primeiro fizemos a caracterização dos tipos de faults que podem seraplicados aos modelos fUML ligando estes aos faults já bem estabelecidos na literatura e,em seguida, implementamos um mecanismo de injeção baseado na transformação auto-mática de modelos. A metodologia foi então aplicada a um exemplo simples no domínioespacial adaptado de um sistema real de satélites (NanosatC-BR2).Acreditamos que este seja um primeiro passo importante para para uma detecçãoprecoce de faults de projeto e adoção de técnicas de FI nos modelos fUML,. Concluímosdiscutindo alguns desafios e direções para trabalhos futurosAbstract: Fault Injection is a verification technique mostly used on critical systems. In those systems, if a malfunction occur, it can cause intolerable consequences. In these systems the faults are introduced in an artificial way to evaluate how the implemented measures to avoid system failure are going to behave in exceptional conditions. The FI can be Applied in different levels, including physical, hardware and software. The FI can also be Applied in a model level, even though the knowledge in this field is limited. However, the importance of models on the creation of complex systems are growing, making the verification and simulation more needed and urgente in a model level. The Foundational UML (fUML) is a specific subset of UML, launched as an OMG pattern, that posses precise execution, making the execution possible. In this paper, we made the FI executable models specific to fUML. First, we categorized the types of faults that can be applied to fUML models, connecting it to the pre existing and well known faults. Next, we implemented an injection mechanism based on the automatic transformation of models. The methodology was then applied to an adapted spatial domain of a real satellite system (NanosatC-BR2). We believe that this is the first important step to an early fault discovery, when it comes in terms of usage of FI techniques in the fUML models. In conclusion, we discuss some of the challenges and Direction for upcoming projectsMestradoCiência da ComputaçãoMestre em Ciência da Computação[s.n.]Montecchi, Leonardo, 1982-Rubira, Cecília Mary FischerMattiello-Francisco, Maria de FátimaUniversidade Estadual de Campinas (UNICAMP). Instituto de ComputaçãoPrograma de Pós-Graduação em Ciência da ComputaçãoUNIVERSIDADE ESTADUAL DE CAMPINASLopes, Guilherme Wilson dos Santos, 1990-20212021-11-25T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf1 recurso online (82 p.) : il., digital, arquivo PDF.https://hdl.handle.net/20.500.12733/2809LOPES, Guilherme Wilson dos Santos. Uma metodologia de injeção de falhas para modelos UML executáveis. 2021. 1 recurso online (82 p.) Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: 20.500.12733/2809. Acesso em: 29 set. 2025.https://repositorio.unicamp.br/acervo/detalhe/1236160https://repositorio.unicamp.br/acervo/detalhe/1236160Requisitos do sistema: Software para leitura de arquivo em PDFporreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2025-07-24T15:47:18Zoai::1236160Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2025-07-24T15:47:18Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false |
| dc.title.none.fl_str_mv |
Uma metodologia de injeção de falhas para modelos UML executáveis A fault injection methodology for executable UML models |
| title |
Uma metodologia de injeção de falhas para modelos UML executáveis |
| spellingShingle |
Uma metodologia de injeção de falhas para modelos UML executáveis Lopes, Guilherme Wilson dos Santos, 1990- Engenharia de software - Injeção de falhas Engenharia de software - Metodologia Software - Confiabilidade UML (Linguagem de modelagem padrão) Software engineering - Fault injection Software engineering - Methodology Computer software - Reliability UML (Computer science) |
| title_short |
Uma metodologia de injeção de falhas para modelos UML executáveis |
| title_full |
Uma metodologia de injeção de falhas para modelos UML executáveis |
| title_fullStr |
Uma metodologia de injeção de falhas para modelos UML executáveis |
| title_full_unstemmed |
Uma metodologia de injeção de falhas para modelos UML executáveis |
| title_sort |
Uma metodologia de injeção de falhas para modelos UML executáveis |
| author |
Lopes, Guilherme Wilson dos Santos, 1990- |
| author_facet |
Lopes, Guilherme Wilson dos Santos, 1990- |
| author_role |
author |
| dc.contributor.none.fl_str_mv |
Montecchi, Leonardo, 1982- Rubira, Cecília Mary Fischer Mattiello-Francisco, Maria de Fátima Universidade Estadual de Campinas (UNICAMP). Instituto de Computação Programa de Pós-Graduação em Ciência da Computação UNIVERSIDADE ESTADUAL DE CAMPINAS |
| dc.contributor.author.fl_str_mv |
Lopes, Guilherme Wilson dos Santos, 1990- |
| dc.subject.por.fl_str_mv |
Engenharia de software - Injeção de falhas Engenharia de software - Metodologia Software - Confiabilidade UML (Linguagem de modelagem padrão) Software engineering - Fault injection Software engineering - Methodology Computer software - Reliability UML (Computer science) |
| topic |
Engenharia de software - Injeção de falhas Engenharia de software - Metodologia Software - Confiabilidade UML (Linguagem de modelagem padrão) Software engineering - Fault injection Software engineering - Methodology Computer software - Reliability UML (Computer science) |
| description |
Orientador: Leonardo Montecchi |
| publishDate |
2021 |
| dc.date.none.fl_str_mv |
2021 2021-11-25T00:00:00Z |
| dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
| dc.type.driver.fl_str_mv |
info:eu-repo/semantics/masterThesis |
| format |
masterThesis |
| status_str |
publishedVersion |
| dc.identifier.uri.fl_str_mv |
https://hdl.handle.net/20.500.12733/2809 LOPES, Guilherme Wilson dos Santos. Uma metodologia de injeção de falhas para modelos UML executáveis. 2021. 1 recurso online (82 p.) Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: 20.500.12733/2809. Acesso em: 29 set. 2025. |
| url |
https://hdl.handle.net/20.500.12733/2809 |
| identifier_str_mv |
LOPES, Guilherme Wilson dos Santos. Uma metodologia de injeção de falhas para modelos UML executáveis. 2021. 1 recurso online (82 p.) Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: 20.500.12733/2809. Acesso em: 29 set. 2025. |
| dc.language.iso.fl_str_mv |
por |
| language |
por |
| dc.relation.none.fl_str_mv |
https://repositorio.unicamp.br/acervo/detalhe/1236160 https://repositorio.unicamp.br/acervo/detalhe/1236160 Requisitos do sistema: Software para leitura de arquivo em PDF |
| dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
| eu_rights_str_mv |
openAccess |
| dc.format.none.fl_str_mv |
application/pdf 1 recurso online (82 p.) : il., digital, arquivo PDF. |
| dc.publisher.none.fl_str_mv |
[s.n.] |
| publisher.none.fl_str_mv |
[s.n.] |
| dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) instname:Universidade Estadual de Campinas (UNICAMP) instacron:UNICAMP |
| instname_str |
Universidade Estadual de Campinas (UNICAMP) |
| instacron_str |
UNICAMP |
| institution |
UNICAMP |
| reponame_str |
Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) |
| collection |
Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) |
| repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP) |
| repository.mail.fl_str_mv |
sbubd@unicamp.br |
| _version_ |
1844628681156198400 |