Verificao e Validao de Modelos de Simulao

Captulo 5
Pginas 107-119
Este material disponibilizado para uso exclusivo de docentes que adotam o livro Modelagem e Simulao de Eventos Discretos em suas disciplinas. O material pode (e deve) ser editado pelo professor. Pedimos apenas que seja sempre citada a fonte original de consulta. Verifique sempre a atualizao deste material no site www.livrosimulacao.eng.br

Divirta-se!

Prof. Afonso C. Medina Prof. Leonardo Chwif

Verso 0.1 24/04/06
Modelagem e Simulao de Eventos Discretos Chwif e Medina (2010)

Modificado em 2011 Slide 1 de 16

Motivao
"Um modelo uma representao do mundo real, ou pelo menos de parte dele. Portanto, a validao de um modelo realmente muito direta em princpio. Tudo o que devemos fazer checar se o modelo comporta-se como o mundo real sob as mesmas condies. Se ele se comporta, ento o modelo vlido, caso contrrio, no vlido."
(Michael Pidd, em Tools for Thinking, 2000)
Modelagem e Simulao de Eventos Discretos Chwif e Medina (2010) Slide 2 de 16

Definies

VALIDAO
Relacionada com o modelo conceitual. O modelo funciona como no mundo real? Ou... "Estou desenvolvendo o modelo correto?"

VERIFICAO
Relacionada com o modelo computacional. O modelo faz o que eu quero? Ou... "Estou desenvolvendo o modelo corretamente?"

Modelagem e Simulao de Eventos Discretos Chwif e Medina (2010)

Slide 3 de 16

Relaes: Mundo Modelo - Computador

Mundo Real
6. Validao Oper acional 2. Validao

1. Modelagem 5. Exper im ent ao

3. Im plem ent ao

4. Ver if icao

Modelo Com put acional

Modelagem e Simulao de Eventos Discretos Chwif e Medina (2010)

Modelo Conceit ual

Slide 4 de 16

Verificao
Relaciona o modelo conceitual e o modelo computacional.

Consiste em assegurar que o modelo computacional funcione conforme desejado.

A verificao de modelos de simulao equivalente retirada de "bugs" de programas de computador (debugging).

Modelagem e Simulao de Eventos Discretos Chwif e Medina (2010)

Slide 5 de 16

Tcnicas de Verificao
Implementao modular/verificao modular.

Uso de valores constantes/simplificados + clculos manuais.

Utilizao do "debugger" (depurador). Simulao manual. Animao grfica. Reviso em grupo (muito importante!).
Slide 6 de 16

Modelagem e Simulao de Eventos Discretos Chwif e Medina (2010)

Validao
Processo muito mais difcil e sofisticado do que o de verificao.

Na prtica, no h como validar totalmente um modelo, mas sim, aumentar a confiana de que ele representa corretamente a realidade.

Duas etapas: validao do modelo conceitual e validao do modelo operacional.

Procedimentos estatsticos e baseados na experincia das pessoas.

Como validar sistemas novos?

Slide 7 de 16

Modelagem e Simulao de Eventos Discretos Chwif e Medina (2010)

Validao e tipos de erros

Erro tipo I: rejeitamos (erroneamente) um modelo vlido.

Erro tipo II: aceitamos (erroneamente) um modelo invlido.

Erro do tipo III: o modelo desvia dos objetivos estabelecidos (pode at ser vlido mas no responde as perguntas em questo).

Modelagem e Simulao de Eventos Discretos Chwif e Medina (2010)

Slide 8 de 16

Tcnicas de Validao

Teste de Turing ou validao black-box.

Modelagem e Simulao de Eventos Discretos Chwif e Medina (2010)

Slide 9 de 16

Tcnicas de Validao

Duplicao de modelos. Comparao com modelos anteriores. Anlise de sensibilidade. Validao "face a face".

Modelagem e Simulao de Eventos Discretos Chwif e Medina (2010)

Slide 10 de 16

Validade dos dados

No h como assegurar que os dados esto sempre corretos: os dados nunca so dados!! preciso analis-los sempre!

Deve-se tomar cuidado com resultados tirados "s cegas" dos softwares de fitting.

Dados so apenas amostras! Se "lixo entra, ento lixo sai" (princpio LELIS).

Modelagem e Simulao de Eventos Discretos Chwif e Medina (2010)

Slide 11 de 16

Consideraes Finais
V&V uma etapa muito importante do processo de modelagem. Muitos se esquecem dela, devido a grande dificuldade.

No h como garantir que um modelo esteja 100% livre de "bugs", mas sim, minimizar sua presena/quantidade.

No h como validar 100% um modelo, e sim, aumentar a confiana de que esteja correto.

Deve ser um processo contnuo.

Slide 12 de 16

Modelagem e Simulao de Eventos Discretos Chwif e Medina (2010)

Exerccio (livro-texto, pg. 113)

4) Reconsidere o funcionamento do pub ingls discutido nas aulas sobre modelagem conceitual: "A ida de clientes a um pub ocorre com intervalo entre chegadas distribudo exponencialmente, com mdia de 10 minutos. Cada cliente pode beber de 1 a 4 copos de bebida (valores distribudos uniformemente) antes de ir embora. O atendimento feito por garonetes, que enchem cada copo em tempos que seguem uma distribuio normal de mdia 6 e desvio padro de 1 minuto. (continua)
Modelagem e Simulao de Eventos Discretos Chwif e Medina (2010) Slide 13 de 16

Exerccio (livro-texto, pg. 113)

4) (Continuao) Os consumidores podem ter que esperar pelo atendimento caso no existam copos limpos disponveis. A lavagem de cada copo leva 5 minutos e feita pelas garonetes. Os consumidores levam de 5 a 8 minutos (distribudos uniformemente) para beber". O ACD proposto para o problema est representado a seguir.

Modelagem e Simulao de Eventos Discretos Chwif e Medina (2010)

Slide 14 de 16

Exerccio (livro-texto, pg. 113)

Ent r ada

Por ta CHEGADA Clientes

Esper a

sede>0

Sada

LAVA
Lim po

Suj o

sede=sede-1

ENCHE

Gar o nete

Livr e

BEBE Copos
Pr ont o

Cheio

Modelagem e Simulao de Eventos Discretos Chwif e Medina (2010)

Slide 15 de 16

Exerccio (livro-texto, pg. 113)

4) (Continuao) Cite algumas hipteses consideradas na criao do modelo conceitual (de preferncia, as mais restritivas), que podem levar a um modelo computacional no vlido para representar a operao de um pub real.

Modelagem e Simulao de Eventos Discretos Chwif e Medina (2010)

Slide 16 de 16