• Nenhum resultado encontrado

Análise do impacto de cenários implícitos na confiabilidade de sistemas computacionais

N/A
N/A
Protected

Academic year: 2021

Share "Análise do impacto de cenários implícitos na confiabilidade de sistemas computacionais"

Copied!
112
0
0

Texto

Loading

Imagem

Figura 1.1: Metodologia proposta simplificada
Figura 2.1: Processo de model checking - Figura adaptada de [23]
Figura 3.4: Diagrama hMSC para a especificação do sistema de gerência de combustível da usina nuclear
Figura 3.10: Exemplo de cenário implícito presente na especificação
+7

Referências

Documentos relacionados

O modelo experimental de análise de viscosidade do óleo hidráulico testado em laboratório trouxe uma proposição da correlação causal entre a unidade primária de

O 2º Esquadrão de Helicópteros de Emprego Geral (HU-2) foi criado em 26 de setembro de 1986 e dispõe das aeronaves UH-14 Super Puma (Pégasus) e UH-15 Super Cougar

Ativos e passivos monetários em moeda estrangeira são convertidos para a moeda funcional da Companhia pela taxa de câmbio da data do fechamento. Ativos e passivos não monetários

A teoria das filas de espera agrega o c,onjunto de modelos nntc;máti- cos estocásticos construídos para o estudo dos fenómenos de espera que surgem correntemente na

A amplitude da passada não se mostrou significativamente diferente nas duas corridas, já a freqüência da passada houve uma diminuição significativa dos 50 para os

One of the main strengths in this library is that the system designer has a great flexibility to specify the controller architecture that best fits the design goals, ranging from

Isabel Fraga Alves FCUL/ DEIO - Estatística Aplicada: Métodos Não-Paramétricos 2ºAno/2ºSem (6 ECTS) 28 • Não incorpora as suposições restritivas, características dos.

de tais temáticas, envolvendo inteligência artificial, controle de pandemias, dados pessoais, biopolítica digital, trazendo questionamentos críticos acerca de