Programação
Nov 7 - Seg | Nov 8 - Ter | Nov 9 - Qua | Nov 10 - Qui | Nov 11 - Sex | |
08:30 | Opening | ||||
09:00 |
Palestra I Scott Brandt |
Palestra II Andreas Gerstlauer |
Palestra III Gernot Heiser |
Minicurso I Robótica Móvel |
Minicurso II Redes de Sensores sem Fio |
09:30 | |||||
10:00 | |||||
10:30 | Coffee Break | Coffee Break | Coffee Break | Coffee Break | Coffee Break |
11:00 |
Sessão Técnica I System Design |
Sessão Técnica IV Hardware and I/O |
Sessão Técnica VII Real-time Systems |
Minicurso I Robótica Móvel |
Minicurso II Redes de Sensores sem Fio |
11:30 | |||||
12:00 | |||||
12:30 | Almoço | Almoço | Almoço | Almoço | Almoço |
13:00 | |||||
13:30 | |||||
14:00 |
Sessão Técnica II System Design |
Painel I Dilma da Silva |
Sessão Técnica VIII Operating Systems |
Minicurso I Robótica Móvel |
Minicurso II Redes de Sensores sem Fio |
14:30 | |||||
15:00 |
Sessão Técnica V Short Papers' Posters |
||||
15:30 | |||||
16:00 | Coffee Break | Coffee Break | Coffee Break | Coffee Break | Coffee Break |
16:30 |
Sessão Técnica III Wireless Sensor Networks |
Sessão Técnica VI Energy-aware Systems |
Sessão Técnica IX Multicore |
Minicurso I Robótica Móvel |
Minicurso II Redes de Sensores sem Fio |
17:00 | |||||
17:30 | |||||
18:00 | Cocktail de Abertura | Reunião da Comissão Organizadora | Encerramento | ||
18:30 | |||||
19:00 |
Programa Social (a ser definido) |
Programa Social (a ser definido) |
|||
19:30 |
Jantar da Conferência (pago separadamente) |
||||
20:00 | |||||
20:30 | |||||
21:00 | |||||
21:30 |
!
Programação
November 7, 2011 – Monday |
Keynote I (9:00 – 10:30) |
Managing the Performance of Large, Distributed Systems Scott Brandt (University of California, Santa Cruz) Abstract: Real-time control and performance guarantees have traditionally been implemented in isolated purpose-built systems. New applications and systems demand performance guarantees in open, shared, distributed environments where not everything is known a priori and many unrelated applications may be competing for resources. This talk explores the problem of guarantees in open, distributed systems, presents a few examples of such systems, and discusses research at UC Santa Cruz aimed at addressing the problem. |
Session I: System Design (11:00 – 12:15) |
Chair: Leandro Buss Becker
Framework to Simulate the Behavior of Embedded Real-Time Systems Specified in UML Models
Analisador de Código Java para Estimação da Eficiência de Software Embarcado
Design Patterns for Cyber-Physical Systems: The Case of a Robotic Greenhouse
A tool to support model-based testing activities |
Session II: System Design (14:00 – 15:40) |
Chair: Edna Natividade da Silva Barros
Ferramenta para Auxiliar o Processo de Verificação Formal de Propriedades em Programas AADL
Classificação Automática de Processos em um Sistema Operacional de Uso Geral
Formal Verification of UML Sequence Diagrams in the Embedded Systems Context
Verifying Embedded C Software with Timing Constraints using an Untimed Model Checker |
Session III: Wireless Communication (16:20 – 18:00) |
Chair: George Lima
Uma investigação sobre a capacidade tempo-real de uma rede sem-fio móvel
Um Arcabouço de Comunicação para Aplicações de Fusão de Dados em Redes de Sensores sem Fio
Sistema embarcado para aquisição de dados agrometeorológicos |
November 8, 2011 – Tuesday |
Keynote II (9:00 – 10:30) |
Software Synthesis for Embedded Multicore Systems Andreas Gerstlauer (University of Texas at Austin)
Abstract: The continued exponential increase in embedded system complexities, driven by both technological advances and ever growing application demands, has led to system designs that incorporate more and more processing cores, often on a single chip. Furthermore, their application-specific nature and operation under tight power, real-time, reliability and cost constraints gives us both the opportunity and need to develop highly optimized, heterogenenous and customized solutions. At the same time, prohibitive hardware design and manufacturing costs increasingly ask for programmable platforms in which most of the functionality, optimality and differentiation is delivered through embedded software running on a heterogenenous multi-core and multi-processor architecture. Together, complexity and heterogeneity challenges clearly make traditional embedded software development practices infeasible, and embedded software is rapidly becoming the bottleneck for meeting performance, power, cost, reliability and time-to-market/productivity constraints. Existing approaches for manual progamming of individual processors directly at a low level close to hardware will not scale to tens or hundreds of cores and novel embedded software development methodologies are urgently needed. |
Session IV: Hardware and I/O (11:00 – 12:15) |
Chair: Edgard de Faria Correa
Applying AOP and OOP concepts to digital hardware design |
Panel I (14:00 – 14:45) |
Current Trends in Operating System Research Dilma da Silva (IBM Research) |
Session V: Short Papers (Posters) (14:00 – 16:15) |
Chair: Alexandre Sztajnberg
Discussão sobre o uso do Real-Time Calculus na Modelagem do Barramento FlexRay
FARES: um algoritmo leve para roteamento de dados em RSSF planas |
Session VI: Energy-aware Systems (16:45 – 18:00) |
Chair: Raimundo Barreto |
November 9, 2011 – Wednesday |
Keynote III (9:00 – 10:30) |
Towards Trustworthy Systems orThe Continued Relevance of OS Research Gernot Heiser (University of New South Wales)
Abstract: Computer systems are routinely deployed in life- and mission- critical situations, yet in most cases their security, safety or dependability cannot be assured to the degree warranted by the application. In other words, trusted computer systems are rarely trustworthy. |
Session VII: Real-time Systems (11:00 – 12:15) |
Chair: Antônio Augusto Fröhlich
Una Adaptación del Protocolo EDCA para Tiempo Real |
Session VIII: Operating Systems (14:00 – 16:05) |
Chair: Rômulo de Oliveira |
Session IX: Multicore (16:45 – 18:00) |
Chair: Rivalino Mathias Jr.
Uma Proposta de Variação para o Protocolo Multiprocessor Priority Ceiling |
November 10, 2011 – Thursday |
Tutorial I (9:00 – 12:30 / 14:00 – 18:00) |
Mobile Robotics Ubirajara Franco Moreno (UFSC), Leandro Buss Becker (UFSC) |
November 11, 2011 – Friday |
Tutorial II(9:00 – 12:30 / 14:00 – 18:00) |
Wireless Sensor Networks Antônio Augusto Fröhich (UFSC), Arliones Hoeller Jr. (UFSC) |