A Plug-in Based Approach for UML Model Simulation

Radjenovic, Alek; Paige, Richard F.; Rose, Louis M.; Woodcock, Jim; King, Steve

doi:10.1007/978-3-642-31491-9_25

Cited by 1 publication

(1 citation statement)

References 7 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Outra contribuição que deve ser mencionada, é a dos autores de [42] que criaram um plugin, com o intuito de fazer uma abordagem para emular modelos UML para que pudessem fornecer um suporte para a simulação de modelos de intertravamento ferroviário, para que possam ser analisados e avaliados em segurança, sem exigir que novas ferramentas de modelagem sejam utilizadas.…”

Section: Modelos Executáveisunclassified

Uma metodologia de injeção de falhas para modelos UML executáveis

Wilson dos Santos Lopes

View full text Add to dashboard Cite

Após essa longa jornada que foi o mestrado, de muito trabalho, estudo, lágrimas e frustração, gostaria de agradecer as pessoas que permitiram que eu permanecesse são. Gostaria de agradecer, primeiramente ao meu orientador, prof Dr. Leonardo Montecchi, pela excelente orientação, profissionalismo e por ser uma pessoa maravilhosa, que me ajudou e foi tão compreensivo comigo nesse período tão difícil em que estamos passando. Se não fosse ele, provavelmente, eu teria desistido deste mestrado.Agradeço também aos membros da banca examinadora que aceitaram participar e colaborar com esta dissertação.Agradeço aos meus pais, Devanir Lopes e Josefina dos Santos Lopes, pela vida que me deram, pelos recursos oferecidos, pelas possibilidades e principalmente por todo o carinho que me foi dado durante a minha vida.Aos meus irmãos Giovanna M.S. Lopes e Maurício H.S. Lopes, por todo o auxílio e apoio durante toda a minha vida e por me servirem de exemplos.A minha namorada, Sabrina Ventresqui, por todo apoio emocional, psicológico, por cuidar de mim e por me ajudar em algumas correções. Obrigado por permanecer ao meu lado, mesmo que as vezes eu não estivesse bem. Obrigado por sempre estar comigo, me deixando mais tranquilo, leve e por me fazer feliz.Agradeço também aos meus amigos Douglas C.P., Bruno R.R., Stela O.S. e André I.A.V. pelos anos de companheirismo, amizade e por manterem a minha sanidade.Aos meus amigos, Wesllei, Arthur, Kivson, Luiz, Erick, Damaris e Rafael, agradeço por estarem sempre me dando apoio.Um agradecimento especial aos professores Dr. Cristiano Maciel e Dra Eunice Nunes por me propiciarem a oportunidade de estar aqui na UNICAMP.Agradeço ao meu chefe, Raphael Pires, por ter sido tão compreensivo e aos meus colegas de trabalho na STI por me proporcionar conhecimento.A UFMT por me permitir fazer esse mestrado e por todo o apoio que ela propiciou. E finalmente gostaria de fazer um agradecimento mais que especial, a minha queridíssima professora, Andréia Gentil Bonfante que nos deixou em 2020. Você sempre foi um exemplo de pessoa e profissional e me incentivou a entrar no mundo da iniciação científica. Obrigado por tudo, professora. ResumoFault Injection (FI) ou Injeção de Falhas é uma técnica de verificação bastante utilizada para sistemas críticos. A melhor definição de sistemas críticos é de um sistema que o mau funcionamento pode levar a consequências intoleráveis. Na técnica de FI, os defeitos (ou faults) são introduzidos de forma artificial, para avaliar como as medidas implementadas para evitar falhas no sistema irão se comportar em condições excepcionais. A FI pode ser aplicado em diferentes níveis, incluindo físico, hardware e software.Além disso, A FI também pode ser aplicada em nível de modelo, embora a quantidade de trabalho nessa direção seja limitada. No entanto, a importância dos modelos no desenvolvimento de sistemas complexos está crescendo, fazendo com que seja cada vez mais necessário a verificação e simulações em nível de modelo. A The Foundational UML Subset (fUML) é um subconjunto específi...

show abstract

Section: Modelos Executáveisunclassified

Uma metodologia de injeção de falhas para modelos UML executáveis

Wilson dos Santos Lopes

View full text Add to dashboard Cite

show abstract

A Plug-in Based Approach for UML Model Simulation

Cited by 1 publication

References 7 publications

Uma metodologia de injeção de falhas para modelos UML executáveis

Uma metodologia de injeção de falhas para modelos UML executáveis

Contact Info

Product

Resources

About