Program
Nov 7 - Mon | Nov 8 - Tue | Nov 9 - Wed | Nov 10 - Thr | Nov 11 - Fri | |
08:30 | Opening | ||||
09:00 |
Keynote I Scott Brandt |
Keynote II Andreas Gerstlauer |
Keynote III Gernot Heiser |
Tutorial I Mobile Robotics |
Tutorial II Wireless Sensor Networks |
09:30 | |||||
10:00 | |||||
10:30 | Coffee Break | Coffee Break | Coffee Break | Coffee Break | Coffee Break |
11:00 |
Session I System Design |
Session IV Hardware and I/O |
Session VII Real-time Systems |
Tutorial I Mobile Robotics |
Tutorial II Wireless Sensor Networks |
11:30 | |||||
12:00 | |||||
12:30 | Lunch | Lunch | Lunch | Lunch | Lunch |
13:00 | |||||
13:30 | |||||
14:00 |
Session II System Design |
Panel I Dilma da Silva |
Session VIII Operating Systems |
Tutorial I Mobile Robotics |
Tutorial II Wireless Sensor Networks |
14:30 | |||||
15:00 |
Session V Short Papers' Posters |
||||
15:30 | |||||
16:00 | Coffee Break | Coffee Break | Coffee Break | Coffee Break | Coffee Break |
16:30 |
Session III Wireless Sensor Networks |
Session VI Energy-aware Systems |
Session IX Multicore |
Tutorial I Mobile Robotics |
Tutorial II Wireless Sensor Networks |
17:00 | |||||
17:30 | |||||
18:00 | Opening Cocktail | TPC Meeting | Closing | ||
18:30 | |||||
19:00 |
Social Program (to be defined) |
Social Program (to be defined) |
|||
19:30 |
Conference Dinner (payed separately) |
||||
20:00 | |||||
20:30 | |||||
21:00 | |||||
21:30 |
.
Program
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:
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:
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:
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
FARES: um algoritmo leve para roteamento de dados em RSSF planas |
!
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:
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:
Discussão sobre o uso do Real-Time Calculus na Modelagem do Barramento FlexRay
Sistema embarcado para monitoramento vitícola |
Session VI: Energy-aware Systems (16:45 – 18:00) |
Chair: Economia de Energia em Aglomerados de Servidores Giulio Bottari (UFF), Julius Leite (UFF) Framework para Estimar a Autonomia da Bateria em Sistemas Embarcados Elisabete Moraes (UTFPR), Leandro Buss Becker (UFSC) A Model for Reconfiguration of Multi-Modal Real-Time Systems under Energy Constraints Ríad Nassiffe (UFSC), Eduardo Camponogara (UFSC), George Lima (UFBA) |
!
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:
Una Adaptación del Protocolo EDCA para Tiempo Real |
Session VIII: Operating Systems (14:00 – 16:05) |
Chair: Minix over Linux: A Model for a Multiserver Operating System based Virtual Machine Pablo Pessolani (UTN), Oscar Jara (UTN) Experimental Evaluation of Compound System Calls in the Linux Kernel Elder Vicente de Paulo Sobrinho (UFU), Rivalino Matias Jr. (UFU), Lúcio B. Araujo (UFU), Autran Macêdo (UFU) sendmmsg: uma chamada de sistema eficiente para envio de múltiplas mensagens no Linux Breno Leitao (UNICAMP), Islene Garcia (UNICAMP) Abstraindo dispositivos de hardware para aplicações Java embarcadas Mateus Ludwich (UFSC), Antônio Augusto Fröhlich (UFSC) Utilização de Redes Neurais para Gerência de Servidores Virtuais Web Andre Felipe Monteiro (UERJ), Marcus Azevedo (UERJ), Alexandre Sztajnberg (UERJ) |
Session IX: Multicore (16:45 – 18:00) |
Chair:
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) |