@MASTERSTHESIS{ 2018:1509488272,
 	title = {Metodologia para avaliação de falhas múltiplas em sistemas críticos visando o aumento da segurança},
 	year = {2018},
 	url = "http://tede.unioeste.br/handle/tede/4280",
 	abstract = "Assegurar segurança e confiabilidade são itens fundamentais para o desenvolvimento de projetos de sistemas críticos. Com o aumento contínuo na complexidade dos projetos de segurança de sistemas críticos, ocorre uma busca por novas técnicas analíticas mais avançadas, pois é necessário assegurar que as conseqüências indesejadas sejam altamente improváveis. Em geral, este processo é realizado mediante simulações computacionais envolvendo diversos cenários de operação e falhas, tendo como principal limitação a impossibilidade de representar todos os caminhos de evolução do sistema em análise. Neste trabalho apresenta-se o estudo e desenvolvimento de metodologias que subsidiem a proposição e validação de propostas de mantenabilidade de sistemas críticos capazes de elevar o nível na área de análise de segurança e confiabilidade. A abordagem proposta integra técnicas de Modelagem e Verificação Formal como ferramentas de suporte ao projeto, análise e implementação de estratégias de manutenção, principalmente no sentido de comprovar se a estratégia atende os requisitos de segurança. A metodologia consiste na verificação de propriedades descritas em lógica temporal discreta e continua, sob uma abstração apropriada (formalismo) do comportamento do sistema crítico e avaliação do aumento da disponibilidade do sistema com a implantação de propostas de manutenção, assim, o estudo e desenvolvimento de uma metodologia de mantenabilidade que permita a proposição e validação de abordagens de manutenção em sistemas críticos com base na técnica de verificação formal, visando aumentar a confiabilidade destes sistemas utilizando autômatos temporais discretos e híbridos para representá-los.",
 	publisher = {Universidade Estadual do Oeste do Paraná},
 	scholl = {Programa de Pós-Graduação em Engenharia Elétrica e Computação},
 	note = {Centro de Engenharias e Ciências Exatas}
}