Palestrantes Convidados

 

Hubertus Franke (IBM Research, TJ Watson Center)

Dr. Franke é um membro da equipe de pesquisa e chefe do Departamento de Scalable Systems no centro de pesquisas Thomas J. Watson. Ele recebeu o diploma em Ciência da Computação pela Technical University of Karlsruhe, Alemanha, em 1987, e recebeu os graus de mestre e doutor em Engenharia Elétrica da Vanderbilt University em 1989 e 1992, respectivamente. Em seguida ingressou a IBM no Thomas J. Watson Research Center, onde trabalhou no subsistema MPI do IBM SP1/2, com sistemas operacionais escaláveis, escalabilidade e enterprise readiness no Linux, arquiteturas multi-core e aplicações escaláveis. Ele foi o principal projetista da arquitetura PowerEN. Atualmente, está aplicando sua expertise em sistemas com arquitetura em nuvem e aplicações analíticas de negócio. Ele recebeu vários prêmios IBM Outstanding Innovation Awards pelo seu trabalho. É autor ou coautor de mais de 100 papers técnicos e 30 patentes. É membro da IBM Academy of Science e IBM Master Inventor. Trabalha também como professor adjunto de ciência da computação na NYU, New York City, com foco em sistemas operacionais e arquitetura de computadores.

Palestra: Experiências na Pesquisa de Sistemas Industriais

A palestra descreve uma série de projetos de pesquisa de sistemas, da sua concepção até o seu estado atual e como eles moldaram e estão modificando nossos projetos de sistemas. A primeira parte irá focar no Particionamento Lógica Dinâmico (DLPar) que se tornou a técnica de virtualização primária em sistemas de energia em empresas. A tecnologia DLPar agora permite vários novos projetos em sistemas operacionais como reparação automática de sistemas, ativação automática de SMT e computação em nuvem. A segunda parte da palestra descreverá projetos de armazenamento e como eles possibilitam serviços escaláveis nas empresas. A parte final descreverá como uma análise detalhada de linguagens de script modernas revelaram várias tendências emergentes em software moderno (p.e. uso de múltiplas bibliotecas compartilhadas, corpos de funções significativamente menores, mais código ramificado) que modificam o sistema subjacente de maneira diferente das tarefas tradicionais e nos fazem reexaminar o projeto do nossos futuros processadores.

 

 

Éric Rutten (INRIA, Grenoble-França)

Dr. Éric Rutten recebeu seu PhD em 1990 e sua habilitação em 1999, na Universidade de Rennes, França, enquanto desenvolvia sua pesquisa no INRIA, Rennes. Atualmente trabalha no INRIA em Grenoble. Seus interesses de pesquisa estão na área dos sistemas reativos, aplicados a sistemas embarcados de tempo real ou sistemas autônomos. Possui experiência em ambientes de projeto de alto nível para sistemas de controle (ex.: automóveis, aviões), baseados em métodos formais e ferramentas (Ex.: linguagens síncronas). Suas atividades atuais estão na área de controle baseado em modelos de sistemas computacionais reconfiguráveis e adaptáveis, em diferentes níveis de hardware, sistemas operacionais, middleware e componentes de software. Utiliza técnicas de controle, particularmente síntese de controlador discreto, integrado na compilação de uma linguagem de programação reativa, chamada BZR.

Palestra: Controle Baseado em Autômatos para Sistemas Computacionais Reconfiguráveis

O Foco desta palestra é o domínio dos sistemas computacionais reconfiguráveis e adaptáveis, também chamado computação autônoma. Esses sistemas são caracterizados pela sua capacidade de se adaptar e trabalhar em diferentes. A adaptação pode estar relacionada à aplicação e à funcionalidade, ao mapeamento e implantação, ou à arquitetura de execução. Abordamos o problema amparados em uma linguagem de programação que mistura os paradigmas imperativo e declarativo: descrevemos possíveis comportamentos de forma imperativa usando autômatos de estados finitos e impomos contratos de forma declarativa, usando expressões booleanas que se tornam os invariantes no autômato. A compilação utiliza técnicas da teoria de controle discreto para construir o controle de de circuito fechado da adaptação, a fim de garantir propriedades tais como como exclusão mútua, ou para impor ou proibir determinadas sequências de modos de operação. Desta maneira, o sistema pode reagir de forma flexível e segura às alterações que ocorrem no ambiente ou na plataforma de execução. Esta abordagem foi aplicada em sistemas reconfiguráveis baseados em componentes, na coordenação de ciclos de administração e em arquiteturas reconfiguráveis baseadas em FPGA.

 

 

Carlo Galuzzi (TU Delft)

Dr. Carlo Galuzzi recebeu o Mestrado em Matemática (com laude) na Universitá di Milano em 2003. Em 2004, entrou para o Grupo de Engenharia da Computação em Delft para seus estudos de Doutorado, onde trabalhou sob a orientação do professor Stamatis Vassiliadis. Desde maio de 2009 tornou-se um pesquisador de pós-doutorado no mesmo grupo. Seu trabalho de pesquisa inclui particionamento de hardware e software, metodologias de extensão de conjunto de instruções, computação reconfigurável e teoria dos grafos. Ele está envolvido na organização de várias conferências, incluindo MICRO, ICCD e SAMOS. Carlo recebeu o prêmio de melhor trabalho na ARC 2008.

Palestra: Fusão de Instruções para Personalização de Conjunto de Instruções de Arquiteturas Reconfigurávei

A extensão de uma dada arquitetura de conjunto de instruções com instruções especializadas tornou-se uma técnica comum utilizada na otimização de aplicativos em diferentes arquiteturas. Ao identificar porções computacionais intensas de um aplicativo a ser particionada em segmentos de código para executar em software e segmentos de código para execução em hardware, a execução de um aplicativo pode ser consideravelmente acelerada e otimizada. Cada segmento de código implementada em hardware pode então ser visto como uma instrução específica de uma aplicação - ou domínio - especializada(o) estendendo, assim, um dado conjunto de instruções. Nesta apresentação, serão descritas várias técnicas para a identificação automática e seleção de instruções complexas para aplicações específicas usadas para acelerar a execução de aplicações em arquiteturas reconfiguráveis. As instruções são geradas através de múltiplas etapas de clusterização a partir de instruções de saída simples mais instruções combinadas de saídas múltiplas, seguindo diferentes políticas em termos de complexidade computacional, tipo de instruções, tipo de aplicações, nível de paralelismo, etc. Apesar de uma série de abordagens já terem sido propostas no meio acadêmico e na indústria, essas soluções geralmente têm uma alta complexidade computacional. As metodologias descritas nesta apresentação fornecem soluções de qualidade a uma limitada complexidade computacional e, em comparação com as técnicas já existentes, as novas instruções são atomicamente executáveis produzidas em hardware, enquanto as abordagens existentes aumentam ainda mais a complexidade computacional, testando cada instrução gerada.

 

Achim Rettberg (Universidade Carl von Ossietzky - Oldenburgo)

Dr. Achim Rettberg nasceu em Einbeck, Alemanha. Recebeu seu diploma de Mestrado em Ciência da Computação e Economia, em 1997, e Ph. D. (Doctor rerum naturalium) em 2006, pela Universidade de Paderborn, Alemanha, onde estudou Ciência da Computação e Economia. De 1992 até 1997 ele trabalhou como estagiário da Universidade de Paderborn no C-LAB. De 1997 até 2000 trabalhou no C-LAB em projetos industriais, dSPACE e Siemens. De 2001 até 2006 trabalhou como Ph.D. e pesquisador do C-LAB no campo de projeto de sistemas embarcados. Depois trabalhou de 2007 até 2008, como pós-doutorando no C-LAB e no gerenciamento de EU-Projects. Em 2008 tornou-se professor de sistemas integrados complexos e sistemas embarcados do Departamento de Ciência da Computação da Universidade Carl von Ossietzky - Oldenburg. Prof. Rettberg é fundador e organizador geral do Simpósio Internacional de Sistemas Embarcados (IESS). Além disso, ele participa de vários comitês de conferências/workshops e de revisões em revistas. Prof. Rettberg é autor e coautor de vários livros científicos, artigos de revistas e textos de conferências. Seus interesses de pesquisa são projetos baseados em modelo, sistemas de tempo real e arquiteturas de hardware e software. Ele é coordenador do Grupo de Trabalho IFIP 10.2 "Sistemas Embarcados". Em 2013, o Prof Rettberg será Coordenador Geral da ESLSyn, ISORC e IESS.

Palestra: Uma Abordagem de Projeto Baseado em Modelo para Sistemas Embarcados

Hoje os projetos de sistemas embarcados tem que suprir a crescente complexidade e cumprir requisitos. Com os métodos tradicionais de projeto, o tempo de colocação no mercado é muito grande. Novos métodos de projeto, como o baseado em modelo, oferecem uma redução no tempo de desenvolvimento do produto, mas requerem um processo de desenvolvimento diferente. Esta palestra dará uma visão geral do projeto baseado em modelo e mostrará aos projetistas a complexidade que terão de enfrentar. A ideia de realizar o sistema baseado em uma plataforma virtual também será abordada na palestra. A plataforma de tecnologia de referência (RTP, do inglês Reference Technology Platform) proposta e desenvolvida no Instituto OFFIS (Oldenburg, Alemanha), será apresentada. A RTP oferece ao projetista uma excelente visão geral do sistema e permite a cobertura de requisitos e sua análise. A RTP é utilizada em vários projetos, como o ARAMIS, projeto custeado pelo BMBF. Serão apresentados também os primeiros resultados deste projeto.