Xvii Simpep Art 1145

UM EXEMPLO DE AVALIAO DE
RISCOS POR PARADAS DE SERVIOS

EM UMA EMPRESA, UTILIZANDO
LGICA PARACONSISTENTE
ANOTADA EVIDENCIAL ET COMO
AUXILIO NA ELABORAO DE
PLANOS DE CONTINGNCIA.
DEBORA CANDIDO LULA (UNIP)

deby_hcx@yahoo.com.br
Resumo: A GARANTIA DA CONTINUIDADE DOS SERVIOS MUITO IMPORTANTE

EM UMA ORGANIZAO, PARADAS DE SERVIOS PODEM OCASIONAR
EM GRANDES IMPACTOS. ASSIM FAZ SE NECESSRIO A ADEQUAO
DO AMBIENTE, PARA GARANTIR CONTINUIDADE QUANDO H FALHA
EM UM SERVIO. PARA ELABORAR UM PLANO DE CONTINGNCIA
NECESSRIO CONHECER OS PROCESSOS EFETUADOS NOS SETORES
DAS ORGANIZAES E AS TECNOLOGIAS UTILIZADAS PARA
REALIZAO DESSES PROCESSOS, PARA ISSO PODE SER EFETUADO
UM MAPEAMENTO, ELE IR FORNECER UMA VISO DETALHADA PARA
QUE SE POSSAM SER EFETUADOS OS PLANOS EFETIVOS, O USO DA
LGICA PARACONSISTENTE NOS PERMITE A TOMADA DE DECISES
LIDANDO COM CONTRADIES, PODENDO MEDIR OS GRAUS DE
EVIDNCIA FAVORVEIS (Μ) E GRAUS DE EVIDNCIA
DESFAVORVEIS (Λ) DE UMA DETERMINADA DECISO.
Palavras-chaves: PALAVRAS-CHAVE: RISCOS, CONTINGNCIA, LGICA

PARACONSISTENTE.
1
XVIII SIMPSIO DE ENGENHARIA DE PRODUO
Gesto de projetos e Engenharia de produo
Bauru, SP, Brasil, 08 a 10 de novembro de 2010
AN EXAMPLE OF RISK ASSESSMENT

FOR SERVICE STOPS ON A COMPANY
USING PARACONSISTENT
ANNOTATED EVIDENTIAL LOGIC ET
AS PREPARATION OF CONTINGENCY
PLANS.
Abstract: ENSURING CONTINUITY OF SERVICES IS VERY IMPORTANT IN AN

ORGANIZATION, STOPS OF SERVICES MAY RESULT IN LARGE
IMPACTS, SO IT IS NECESSARY FIT THE COMPANY ENVIRONMENT, TO
ENSURE CONTINUITY WHEN THERE IS FAILURE IN ONE SERVICE. TO
PREPARE A COONTINGENCY PLAN IS NECESSARY TO UNDERSTAND
THE PROCESSES CARRIED OUT IN THE FIELDS OF ORGANIZATIONS
AND THE TECHNOLOGIES USED TO PERFORM THESE PROCESSES, IT
CAN BE DONE TO A MAPPING, IT WILL PROVIDE INSIGHT TO
WHETHER THE PLANS CAN BE MADE EFFECTIVE THE USE OF
PARACONSISTENT LOGIC ALLOWS US TO MAKING DECISIONS
DEALING WITH CONTRADICTIONS, WHICH CAN MEASURE THE
DEGREES OF EVIDENCE FAVORABLE (Μ) AND DEGREES OF
EVIDENCE UNFAVORABLE (Λ) OF A PARTICULAR DECISION.
Keyword: KEYWORDS: RISK, CONTINGENCY, PARACONSISTENT LOGIC.
2
1. INTRODUO
Em uma organizao a parada de determinados servios pode gerar grande impacto.

Conhecendo profundamente as atividades e os processos para realizao de cada
atividade nos setores da empresa, ser possvel identificar e traar outros meios de realizao
das atividades, caso algum meio venha estar indisponvel garantindo assim a continuidade do
negcio.
Segundo a norma NBR ISO/IEC 17799 (2005, p. 104): Convm que os planos sejam
desenvolvidos e implementados para a manuteno ou recuperao das operaes e para
assegurar a disponibilidade da informao no nvel requerido e na escala de tempo requerida,
aps a ocorrncia de interrupes ou falhas dos processos crticos do negcio.
Assim ser apresentado um exemplo de processo que possa ser adotado para criar um
mapa de riscos em uma rede corporativa e elaborar planos de contingencia a partir do uso da
lgica Paraconsistente.
Para isso ser necessrio alguns levantamentos:
Levantamento de softwares utilizados em cada setor da empresa;
Levantamento de atividades realizadas em cada setor da empresa;
Levantamento de processo atual e organizao;
Levantamentos dos fatores que possam ser considerados como contingncia;
Coleta de dados junto a grupo de especialistas;
Avaliao dos resultados.
Com esse mapa de informaes da rede devidamente levantado e analisado, ser
possvel avaliar os riscos em cada setor em cada uma de suas atividades, mantendo
organizado e identificado as atividades e os recursos dentro da organizao.
Para os estudos realizados dentro do contexto proposto pelo presente trabalho foi
utilizada
como base uma lgica anotada Evidencial E. As Lgicas anotadas constituem uma
classe de
Lgicas Paraconsistentes (COSTA ET AL., 1999).
A lgica Paraconsistente permitir a tomada de decises para elaborao de planos de
contingncia adequados para o momento atual que a empresa enfrenta.
2. A LGICA PARACONSISTENTE
3
Os primeiros relatos sobre a Lgica Paraconsistente foram marcados pelos trabalhos do

polons S. Jaskowski em 1948 e foram objeto de estudo de Newton Carneiro Affonso da
Costa, brasileiro, em 1954. Da Costa aprofundou seus estudos e desenvolveu aplicaes
paraconsistentes utilizando todos os nveis lgicos atuais e visto pela cincia moderna
recente como um dos idealizadores da Lgica Paraconsistente.
Na histria mais recente podemos destacar Jair Minoro Abe, entre outros pesquisadores, que
desenvolveu suas pesquisas e sistemas utilizando a Lgica Paraconsistente Anotada
Evidencial E para os segmentos da Cincia da Computao, Robtica, Inteligncia Artificial,
Sistemas Mdicos entre outros.
A Lgica Paraconsistente Anotada Evidencial E e um ramo da Lgica Paraconsistente que
considera proposies e deve ser representada por valores de anotaes. Trabalhos anteriores
a esse definem sua estrutura terica, como (DA COSTA ET AL., 1999), (DA SILVA FILHO,
ABE, 2000) e (DA SILVA FILHO, ABE, 2001).
3. ALGORITIMO PARANALIZADOR
3.1 Proposio
O processo tem incio com a definio de uma proposio a ser analisada. Trata-se de
uma sentena declarativa que ser classificada entre os estados definidos no QUPC.
3.2 Fatores
Dependendo do tipo e complexidade da anlise, pode ser necessrio levantar um
conjunto de fatores que exercem influencia sobre a proposio em questo. Neste caso, a
anlise no mais realizada sobre a proposio em si, mas sim sobre cada fator identificado.
Assim, o estado lgico da proposio passa a corresponder ao resultado da analise dos fatores.
Atribuio de graus de evidencia favorvel e evidncia contrria
proposio, ou fatores, sob anlise, atribuem-se os respectivos graus de evidncia

favorvel () e evidncia contrria (), com limite mnimo de 0 e mximo de 1, no sendo
ambos necessariamente complementares.
A fonte dos valores e depende da aplicao considerada: para tomadas de deciso de
um rob, por exemplo, os dados podem vir de sensores de distncia; j para uma aplicao
financeira, os mesmos podem corresponder a opinies de especialistas da rea.
Portanto, para uma mesma proposio/ fator possvel que sejam atribudos vrios
pares de valorese (ex. uso de vrios sensores, ou opinies de vrios especialistas).
Buscando um maior detalhamento, pode-se ainda dividir as fontes de dados em grupos,
possibilitando um tratamento particular para cada um.
3.3 Aplicao de regras
4
Como conseqncia do uso de diversos fatores e fontes de dados, necessrio definir

um conjunto de regras que sero aplicadas sobre os pares (, ) levantados, at que se chegue
a apenas um par de valores final.
Para isso, as operaes NOT, Maximizao e Minimizao, definidas na Lgica
Paraconsistente Anotada, podem ser utilizadas.
Operao NOT: inverte os valores de e .
Exemplo: (0.4, 0.6) = (0.6, 0.4)
Operao de Maximizao: indicada por OR.
Definida como: (1, 1) OR (2, 2) = (mx{1, 2};{mn{ 1, 2})
Exemplo: (0.8, 0.6) OR (0.4, 0.2) = (0.8, 0.2)
Operao de Minimizao: indicada por AND.
Definida como: (1, 1) AND (2, 2) = (mn{1, 2};{mx{ 1, 2})
Exemplo: (0.8, 0.6) OR (0.4, 0.2) = (0.4, 0.6)
A mdia aritmtica e a mdia ponderada tambm so operaes comumente aplicadas
sobre os valores de e .
3.4 Definio do estado resultante

O resultado da aplicao das regras a obteno de um nico par (,) que, com o
auxilio do QUPC, define finalmente o estado lgico da proposio.
Figura 1 QUPC (fonte: ABE, 2009, p.54)
As tabelas abaixo apresentam os quatro estados extremos e os oito no-extremos que

compem o QUPC.
Estados Extremos Smbolo
5
Verdadeiro V
Falso F
Inconsistente T
Paracompleto
Tabela 1 Estados lgicos (fonte: ABE, 2009, p.53)
Estados No-Extremos Smbolo

Quase-verdadeiro tendendo ao Inconsistente
Quase-verdadeiro tendendo ao Paracompleto
Quase-falso tendendo ao Inconsistente
Quase-falso tendendo ao Paracompleto
Quase-Inconsistente tendendo ao Verdadeiro
Quase-Inconsistente tendendo ao Falso
Quase-Paracompleto tendendo ao Verdadeiro
Quase-Paracompleto tendendo ao Falso
Tabela 2 Estados lgicos (fonte: ABE, 2009, p.53)
Atravs dos conceitos acima citados, os Alunos da Ps-Graduao em Engenharia de
Softwar e Unip Tatuap 2010, criaram um algoritmo para-analisador que ser ferramenta de
apoio neste estudo.
4. O MAPEAMENTO
Foi aplicado em um setor especifico da empresa entrevistas e observaes, afim de

detectar as atividades efetuadas no setor e tecnologias atualmente utilizadas para realizao
das atividades, com o levantamento dessas tecnologias pde ser efetuado um mapeamento das
dependncias dessas tecnologias, possibilitando assim a tentativa de elaborao de
alternativas para continuidade da para realizao dessas atividades.
O levantamento inicialmente foi efetuado no setor Rh detectou-se as principais

ferramentas de trabalho utilizadas:
Tecnologia Utilizao Freqncia

utilizao
Email Contato e negociaes com fornecedores, Diria
recebimento de currculos, comunicao,
6
divulgaes internas.
ERP Envio de dados de pagamento para Quinzenal
departamento financeiro...
Programa de Coleta de espelho de ponto de funcionrios, Quinzenal
espelho de emisso de relatrios, elaborao da folha de
ponto pagamento...
Programa de Cadastramento de pedidos e verificao de Mensal
interface do pagamentos do vale.
vale refeio
Internet Sistemas online de vale transporte, convnios e Mensal ou quando h
outros recursos. necessidade
Telefone Negociaes, contato inicial para entrevistas, Dirio.
comunicaes...
Tabela 3 Resultado do Levantamento de informaes Realizado
Aps levantamento dessas informaes foi possvel iniciar um processo de anlise de

cada tecnologia e dependncias dessas tecnologias.
Ex: email, servidor de email disponvel, servio smtp ativo, links disponveis, etc.
Para elaborao dos planos de contingncia utilizou-se a Lgica Paraconsistente
Anotada Evidencial E para avaliar os graus de evidncia favorveis () e graus de evidncia
desfavorveis ().
E assim possibilitar as implantaes que realmente sejam as mais necessrias no
momento para a empresa.
5. ELABORANDO O PLANO DE CONTINGNCIA UTILIZANDO A LGICA

PARACONSISTENTE
Considerando os fatores abaixo descritos, foi definida a seguinte proposicao: A

implantao dos fatores se aplica atualmente para empresa e os fatores podem ser
considerados e utilizados como contingncia.
5.1 Levantamento dos Fatores

Fatores:
F1 Uso de gerador para o caso de queda de energia
F2 Replica de servidores
7
F3 Virtualizao servidores
F4 Virtualizao Desktop
F5 - Computao de cluster
F6 Uso de celulares coorporativos
F7 - Sistemas Raid
F8 Redundncia na infra-estrutura de rede.
5.2 Justificativas dos Fatores
F1 Uso de Gerador para o caso de queda de energia

Permanentemente instalado geradores so a melhor maneira para a prestao de backup
de energia durante uma queda de energia.
F2 Replica de servidores
No caso de parada ou falha em algum servidor, a rplica que uma copia fiel do servidor
ser promovida a servidor principal facilitando e agilizando a recuperao do servio
oferecido por esse servidor.
F3 Virtualizao servidores
Facilita a clonagem de mquinas, facilitando a restaurao de sistemas com falha . Mquinas

virtuais so armazenadas como arquivos e, portanto, restaurar um sistema com falha pode ser
to simples quanto copiar seu arquivo para uma nova mquina, a virtualizao de servidores
permite consolidar os servios oferecidos em um nmero menos de mquinas totalmente
utilizadas. Isso implica em menos gente para gerenciar aqueles computadores, menos espao
para acomod-los e menos kilowatts/h de energia para execut-los, e tudo isso economiza
dinheiro.
F4 Virtualizao Desktop
O uso de Desktops virtuais facilitaria a administrao de recursos em comum entre os
usurios de um setor, ex. o sistema de vale refeio utilizado por varias pessoas no setor, o
mesmo envolve um banco que armazena as informaes. Com o sistema em uma maquina
virtual no h necessidade de instalao de clients do banco em varias maquinas, e sim
somente em uma, que ser acessada pelos usurios por sua estao por exemplo via browser
O mesmo ocorre com o ERP que pouco utilizado e instalado em cada uma das
mquinas utiliza recursos desnecessariamente, se utilizado em um desktop virtual
disponibilizado aos usurios suas maquinas poderiam melhorar a performance.
8
F5 - Computao de cluster
Com servidores trabalho em cluster pode ocorrer melhorar na performance atravs do
compartilhamento de recursos dos servidores, as mquinas trabalham em conjunto h tambm
a possibilidade do uso dos ns de cluster para efetuar entre servidores.
F6 Uso de celulares coorporativos

Aumenta a possibilidade de comunicao dentro e at fora da empresa para resoluo
dos assuntos do trabalho, tambm ser til caso haja problemas no sistema telefnico no h
perda de comunicao.
F7 - Sistemas Raid
Raid uma tecnologia que proporciona maior fiabilidade de armazenamento atravs de
redundncia , combinando mltiplos de baixo custo, confivel drives de disco componentes
menos em uma unidade lgica, onde todas as unidades da matriz so interdependentes.
F8 Redundncia na infra-estrutura de rede.

Um exemplo de redundncia na infra-estrutura de rede a redundncia entre switch, Se
um switch vir a falhar o outro automaticamente assume o comando evitando a perda de
comunicao. H possibilidade tambm de efetuar redundncia entre os links de dados e
comunicao.
5.3 Grupo de especialistas
Efetuou-se uma coleta de dados de grupos de especialistas
Grupos Representantes
9
Grupo A Administrador de redes e Analista de Suporte Senior.

Grupo B Analista Basis e DBA.
Grupo C Gerencia de TI e Gerencia de Projetos.
Tabela 4 - Grupo de especialistas
Com a utilizao do software ParaAnalisador.exe (criado pelos alunos da Ps

Graduao em Engenharia de Software Unip Tatuap 2010), aps lanar os resultados da
coleta de dados dos grupos de especialistas, a representao grfica dos reticulados permitir
medir os graus de certeza e incerteza de cada proposio e prover bases para a tomada de
deciso.
5.4 Construo da Base de Dados
Grupo A Grupo B Grupo C

Mdia Mdia Mdia
Fator 1 1 2 2 3 3
F1 1,0 0,0 0,1 0,0 0,95 0,05
F2 0,90 0,10 0,875 0,125 0,80 0,20
F3 0,95 0,05 0,90 0,10 0,80 0,20
F4 0,35 0,65 0,10 0,90 0,50 0,50
F5 0,55 0,45 0,70 0,30 0,50 0,50
F6 0,65 0,35 0,75 0,25 0,975 0,025
F7 0,50 0,50 0,75 0,25 0,40 0,60
F8 1,0 0,0 0,90 0,10 0,75 0,25
Tabela 5 - Base de dados formada pelos graus de evidncia favorvel
e graus de evidncia desfavorvel atribudos pelos especialistas
Neste momento tambm possvel determinar pesos para um especialista que

represente um conhecimento maior sobre o fator em questo.
6. ANALIZANDO OS RESULTADOS
6.1 Descrio Geral
10
Contedo da tabela: (Valores de cada fator da preposio e mdia dos fatores).

FATORES - Conjunto de fatores que exercem influencia sobre a preposio.
MI - valor evidencia favorvel.
LAMBDA valor evidencia contrria.
(valores definidos a partir da mdia de cada fator da tela de Dados os resultados de sua
interseo formam os pontos analisados no reticulado.)
CERTEZA porcentagem de certeza.
INCERTEZA porcentagem de incerteza.
ALGORITIMO Mostra o resultado de acordo com o algoritmo.
PARA ESTADOS USANDO O RETICULADO mostra o resultado obtido atravs do
reticulado utilizado.
Figura 2 - Tabela de resultados.
6.2 Analisando os resultados atravs do Grfico QUPC
11
Figura 3 Grfico QUPC obtido atravs da anlise.
O grfico deve ser analisado da seguinte forma :

Os pontos de interseco ficaram posicionados em reas divididas de acordo com o que
foi definido nos valores de controle, cada uma dessas separaes conter um valor.
O resultado das interseces ser de acordo com o valor onde a qual esta posicionada.
7. RESULTADOS E CONSIDERAES FINAIS
Com a avaliao por meio da Lgica Paraconsistente obteve-se uma resposta favorvel
quanto as implantaes seguintes na respectiva ordem:
Uso de gerador para o caso de queda de energia
Virtualizao servidores
Redundncia na infra-estrutura de rede
Replica de servidores
Uso de celulares coorporativos
Computao de cluster
E desfavorvel, ou seja no se aplica no momento quanto:
12
Virtualizao Desktop
Sistemas Raid
Assim pode se concluir que as implantaes mais importantes a serem aplicadas no

momento seriam:
Uso de gerador para o caso de queda de energia
Virtualizao servidores
Redundncia na infra-estrutura de rede
Para uma completa avaliao esse estudo dever ser efetuado em cada setor da empresa,
ao final do estudo em cada setor, junta-se os dados obtidos e avalia-se chegando se a
concluso geral do que necessrio implantao na empresa para garantia da continuidade
dos servios.
Com o detalhamento das atividades realizadas no setor possvel, verificar as
tecnologias utilizadas em cada atividade do setor.
Detectou-se a importncia da continuidade dos servios, e observado o impacto que
pode ocorrer para o setor e para toda empresa quando algum servio no esta disponvel,
pod-se verificar tambm atravs da Lgica Paraconsistente facilidade e efetividade na
tomada de decises na adoo dos meios de contingencia para realizao de determinadas
atividades e verificar a necessidade de TI de implantao de novas tecnologias para que
possam ser usadas em contingncia.
Referncias bibliogrficas
ABE, J. M., Fundamentos da logica anotada. 1992. 192 f. Tese (Doutorado) - Programa de
Pos-Graduacao em Filosofia, Faculdade de Filosofia Letras e Ciencias Humanas da
Universidade de Sao Paulo, Sao Paulo.
ABE, J. M., Logica Paraconsistente e Inteligencia Artificial Colecao cadernos de estudos e

pesquisas, serie: 1-004/97, Universidade Paulista, 1997.
ABE, J. M., Logica Paraconsistente Anotada Evidencial E. Monografia, 2009.

OLIVEIRA, E. A.; ABE, J. M.; NOGUEIRA, M.; AMARAL, F. V.,Um processo
paraconsistente para aperfeioar cursos de Administrao de Empresas. Aprovado nos anais
do XXX Encontro Nacional de Engenharia de Produo, ENEGEP 2010.
CHIAVENATO, I., Introduo Teoria Geral da gesto. 6 Edio, Ed. Campus.
ISO 17799, NBR ISO/IEC 17799, Associao Brasileira de Normas tcnicas 2005, p. 104 e
105.
13

Xvii Simpep Art 1145

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Xvii Simpep Art 1145

Enviado por

Direitos autorais:

Formatos disponíveis

UM EXEMPLO DE AVALIAO DE

RISCOS POR PARADAS DE SERVIOS

DEBORA CANDIDO LULA (UNIP)

Resumo: A GARANTIA DA CONTINUIDADE DOS SERVIOS MUITO IMPORTANTE

Palavras-chaves: PALAVRAS-CHAVE: RISCOS, CONTINGNCIA, LGICA

AN EXAMPLE OF RISK ASSESSMENT

Abstract: ENSURING CONTINUITY OF SERVICES IS VERY IMPORTANT IN AN

Keyword: KEYWORDS: RISK, CONTINGENCY, PARACONSISTENT LOGIC.

Em uma organizao a parada de determinados servios pode gerar grande impacto.

Os primeiros relatos sobre a Lgica Paraconsistente foram marcados pelos trabalhos do

proposio, ou fatores, sob anlise, atribuem-se os respectivos graus de evidncia

3.3 Aplicao de regras

Como conseqncia do uso de diversos fatores e fontes de dados, necessrio definir

3.4 Definio do estado resultante

Figura 1 QUPC (fonte: ABE, 2009, p.54)

As tabelas abaixo apresentam os quatro estados extremos e os oito no-extremos que

Estados No-Extremos Smbolo

Foi aplicado em um setor especifico da empresa entrevistas e observaes, afim de

O levantamento inicialmente foi efetuado no setor Rh detectou-se as principais

Tecnologia Utilizao Freqncia

Aps levantamento dessas informaes foi possvel iniciar um processo de anlise de

5. ELABORANDO O PLANO DE CONTINGNCIA UTILIZANDO A LGICA

Considerando os fatores abaixo descritos, foi definida a seguinte proposicao: A

5.1 Levantamento dos Fatores

5.2 Justificativas dos Fatores

F1 Uso de Gerador para o caso de queda de energia

Facilita a clonagem de mquinas, facilitando a restaurao de sistemas com falha . Mquinas

F6 Uso de celulares coorporativos

F8 Redundncia na infra-estrutura de rede.

5.3 Grupo de especialistas

Efetuou-se uma coleta de dados de grupos de especialistas

Grupo A Administrador de redes e Analista de Suporte Senior.

Com a utilizao do software ParaAnalisador.exe (criado pelos alunos da Ps

5.4 Construo da Base de Dados

Grupo A Grupo B Grupo C

Neste momento tambm possvel determinar pesos para um especialista que

6.1 Descrio Geral

Contedo da tabela: (Valores de cada fator da preposio e mdia dos fatores).

Figura 2 - Tabela de resultados.

6.2 Analisando os resultados atravs do Grfico QUPC

Figura 3 Grfico QUPC obtido atravs da anlise.

O grfico deve ser analisado da seguinte forma :

7. RESULTADOS E CONSIDERAES FINAIS

E desfavorvel, ou seja no se aplica no momento quanto:

Assim pode se concluir que as implantaes mais importantes a serem aplicadas no

ABE, J. M., Logica Paraconsistente e Inteligencia Artificial Colecao cadernos de estudos e

ABE, J. M., Logica Paraconsistente Anotada Evidencial E. Monografia, 2009.

Você também pode gostar