WPerformance: Palestra 1: "É divertido modelar e analisar sistemas de computação: o que podemos aprender dos modelos?"
Edmundo de Souza e Silva (UFRJ)
Horário: 10:30 - 12:00
Local: Auditório 9

Short Bio:
Edmundo de Souza e Silva é Engenheiro Eletrônico e Mestre em Engenharia Elétrica pela PUC/RJ e Ph.D. em Ciência da Computação pela UCLA. É atualmente Professor Titular da COPPE/UFRJ, Programa de Engenharia de Sistemas e Computação.
Edmundo foi professor visitante do centro de pesquisas T.J. Watson da IBM, Departamento de Ciência da Computação da UCLA e da USC, Politecnico de Torico, IBM Tokyo Research Laboratory e Chinese University of Hong Kong. Participou em vários comitês técnicos de conferências nacionais e internacionais, e foi co-presidente do comitê de programa técnico das conferências: the IFIP/IEEE Data Comm. & Performance (1987), SBRC'98; IEEE/GLOBECOM'99, ITC'2001 (vice-co-pres.), ACM/SIGMETRICS'2002, e IEEE/INFOCOM'2009. Tem feito parte também do corpo editorial do JBCS. Foi membro do Board of Directors da ACM/SIGMETRICS, e atualmente é presidente do IFIP W.G. 7.3 (Performance) e do board da Computer Performance Foundation.
Edmundo é pesquisador I-A do CNPq, e membro da Academia Brasileira de Ciências. Suas principais linhas de pesquisa versam sobre modelagem e análise de sistemas de computação (performance e confiabilidade) e rede de computadores.
 
Resumo:
A modelagem é um ingrediente natural e imprescindível do processo de projeto e desenvolvimento da maioria dos sistemas e, em particular, sistemas de computação. Modelos são necessários para entender o funcionamento de um sistema ou para prever o comportamento futuro deste quando submetido a determinadas condições que são especificadas pelo projetista/analista. Citando apenas alguns poucos exemplos, existem modelos para prever o tempo, modelos econômicos, modelos biológicos, e modelos de sistemas de computação que é o foco desta palestra. Nosso objetivo é descrever o processo de modelagem fazendo uso de várias aplicações em sistemas de computação. Não nos preocuparemos na solução dos modelos, e sim nas aplicações. Em alguns dos exemplos, ilustraremos o processo de modelagem usando cadeias de Markov como uma das ferramentas largamente usadas na construção e solução de um modelo
Modelos de desempenho e confiabilidade, modelos de mecanismos e protocolos de redes de computadores, modelos de sistemas P2P, "ranqueamento" de páginas web a-lá Google, e ainda exemplos encontrados em áreas distintas da computação serão empregados durante a palestra.