Program
SBESC 2015 | |
Tuesday, November 3, 2015 | |
08:00 | Sessão 1: Aplicações Embarcadas |
Chair: Raimundo Barreto (UFAM) | |
KITT - Sistema de Carro Inteligente Com Apoio à Segurança do Motorista | |
Arthur Assuncao, Ricardo Camara, Luiz Janeiro, Rafael Vitor, Fabio de Paula, Ricardo Augusto Rabelo Oliveira (UFOP) | |
Controlador de Velocidade Implementado em Hardware para Robô Autônomo | |
Joao Castelo Martins, Elias Teodoro Silva Jr (IFCE) | |
09:00 | Sessão 2: Sistemas de Computação |
Chair: Elias Teodoro Silva Jr (IFCE) | |
Um Framework de Sistema Operacional para a Implementação de Algoritmos de Controle Digital | |
Giovani Gracioli, Lucas Camargo (UFSC) | |
Consciência de Contexto na IoT: Uma Arquitetura Distribuída e Escalável | |
Patricia Davet, Huberto Kaiser Filho, Leonardo João, Lucas Xavier, Tainã Ribeiro Carvalho, Adenauer Yamin (UFPEL), João Lopes (UFRGS), Rodrigo de Souza (IFSUL) | |
Metodologia para Detecção de Saída de Faixa Utilizando EWMA Aplicado a Sensores Inerciais no Volante | |
Arthur Assuncao, Fabio de Paula, Ricardo Augusto Rabelo Oliveira (UFOP) | |
cLUPA - Ampliador Digital de Documentos Impressos sobre uma Plataforma Multicore | |
Edmar Bellorini, Roberto Hexsel (UFPR), Marcio Oyamada (UNIOESTE) | |
10:30 | Coffee Break |
11:00 | IESS Keynote: The Internet of Important Things |
Edward E. Lee (UCB) | |
12:30 | Lunch |
14:00 | Sessão 3: Sistemas de Computação |
Chair: Ivan Saraiva Silva (UFPI) | |
Avaliação da Efetividade dos Mecanismos de Compartilhamento de Memória em Hipervisores | |
Fellipe Veiga (UTFPR), Carlos Maziero (UFPR) | |
Uma Proposta de Escalonador de Migrações de Máquinas Virtuais baseado na Caracterização de uma Nuvem Privada | |
André Barcelos, Magnos Martinello, Rodolfo Villaca (UFES) | |
Avaliação de Caches em Dispositivos de Armazenamento Secundário com SSDs | |
Leonardo dos Santos, Carlos Maziero, Luis Carlos De Bona (UFPR) | |
Comparação e Simulação de Métodos para Função de Ativação em Dispositivo Reconfigurável | |
Maicon Sartin (UNEMAT), Alexandre Cesar Rodrigues da Silva (UNESP) | |
Instrumental para Coleta de Dados de Confiabilidade no Sistema Operacional Linux | |
Vinicius Fonseca Maciel, Rivalino Matias Jr. (UFU) | |
Software Co-Verification Based on Program Traces from Different Processors | |
Luís Fernando Antonioli, Sandro Rigo, Rodolfo Azevedo (UNICAMP) | |
16:00 | Coffee Break with Posters |
16:30 | Sessão 4: Sistemas de Computação |
Chair: Lisane Brisolara (UFPel) | |
Algoritmos de Análise de Cena para Localização Indoor via Redes IEEE 802.11 | |
Ezequiel Conte, Jean-Marie Farines (UFSC) | |
Ferramenta para assistir posicionamento de pontos de acesso em ambientes inteligentes | |
Robertson Lima, Fernando Matos (UFPB) | |
Bluetooth Enabled Data Collector for Wireless Sensor Networks | |
Cristiane Garcia, Diego Eckhard, João Netto, Carlos Eduardo Pereira, Ivan Muller (UFRGS) | |
Integração de Características Preemptivas à Técnica de Escalonamento Dinâmico de Tensões e Frequências Intra-Tarefa | |
Rawlinson Gonçalves, Raimundo Barreto (UFAM) | |
18:00 | Keynote 1: Driving Innovation in Education |
Paul Zimmerman (Intel) | |
19:00 | Opening |
19:30 | Cocktail |
21:00 | |
Wednesday, November 4, 2015 | |
08:00 | ESSE Tutorial 1: Desvendando as Plataformas de Hardware para Sistemas Embarcados |
Antonio Carlos Schneider Beck Filho (UFRGS) | |
10:30 | Coffee Break |
11:00 | Keynote 2: Quo vadis, RTOS? A look at the design of present and future real-time operating systems for the multicore age |
Björn Brandenburg (Max Plank) | |
12:30 | Lunch |
14:00 | Session 5: Fault Tolerance and Dependability |
Chair: Flávio Rech Wagner (UFRGS) | |
An Empirical Study on Failure Causes in a Commercial Off-the-Shelf Operating System | |
Caio Augusto Rodrigues dos Santos, Rivalino Matias Jr. (UFU) | |
Enabling NoC Performance Improvement using a Fault Tolerance Mechanism | |
Alba Sandyra Bezerra Lopes (IFRN), Márcio Kreutz, Monica Pereira (UFRN) | |
Hardened Paxos Through Consistency Validation | |
Rodrigo Barbieri, Gustavo Maciel Dias Vieira (UFSCar) | |
A Model for Safety Assessments of Automated External Defibrillators | |
Edmar Gurjão (UFCG), Paulo Barbosa, Yang Medeiros (UEPB) e Leo Albornoz (LIFEMED) | |
16:00 | Coffee Break |
16:30 | Session 6: Wireless Sensor Networks and IoT |
Chair: Antonio Carlos S. Beck Filho (UFRGS) | |
SDN-based Approach to Select Allocation Strategies in Heterogeneous Wireless Sensor Networks | |
Júnior Siqueira (SBC) Fernando Matos (UFPB) | |
Impact of Temporal and Spatial Application Modeling on Event-triggered Wireless Sensor Network Evaluation | |
Lisane Brisolara, Paulo Ferreira Jr. (UFPel), Leandro Indrusiak (U York) | |
UDP4US: Universal Device Pipe for Ubiquitous Services | |
Gustavo Araujo, Frank Siqueira (UFSC) | |
PrivacyMod: Controlling and Monitoring Abuse of Privacy-related Data by Android Applications | |
Vicente Amorim, Igor Pereira, Filipe Ribeiro, Pablo Henrique Antunes Silva (UFOP) | |
SEMA: An approach based on internal measurement to evaluate energy efficiency of Android applications | |
Lisane Brisolara, Leonardo Fischer, Julio Mattos (UFPel) | |
19:00 | SBC CE-ESC Meeting |
21:00 | |
Thursday, November 5, 2015 | |
08:00 | ESSE Tutorial 2: Redes de Sensores sem Fio: projeto de hardware e software, aplicações e estudos de caso |
Ivan Müller (UERGS) | |
10:30 | Coffee Break |
11:00 | Keynote 3: Stepping Stones to an Easier World |
Mary Baker (HP Labs) | |
12:30 | Lunch |
14:00 | Session 7: Performance Evaluation, Scheduling and Optimization |
Chair: Dilma da Silva (Texas A&M) | |
Considerations on the Least Upper Bound for Mixed-Criticality Real-Time Systems | |
J. Augusto Santos-Jr., George Lima (UFBA), Konstantinos Bletsas (ISEP) | |
Parallelism Level Analysis of Binary Field Multiplication on FPGAs | |
Luckas Farias, Bruno Albertini, Paulo Barreto (USP) | |
Analysis of Path Planning Algorithms based on Travelling Salesman Problem Embedded in UAVs | |
Thiago Werlley Bandeira da Silva, Alisson Brito, Anand Subramanian (UFPB), Walton P. Coutinho (U Southampton) | |
An Approach Based on Ford-Fulkerson Algorithm to Optimize Network Bandwidth Usage | |
Euclides Carlos Pinto Neto (UFRPE), Gustavo Callou (UFPE) | |
Playing Hare and Tortoise: The FigarOS Kernel for Fine-Grained System-Level Energy Optimizations | |
Timo Hönig, Christopher Eibel, Heiko Janker, Benedict Herzog, Peter Wägemann, Wolfgang Schröder-Preikschat, (FAU Erlangen-Nürnberg) | |
16:00 | Coffee Break |
16:30 | Session 8: Formal Methods and Verification |
Chair: José Augusto Nacif (UFV) | |
Impact of Alien Networks on Consensus in a Team of Cooperative Mobile Robots | |
Daniel Costa Ramos, Ubirajara Moreno (UFSC), Luis Almeida (U Aveiro), Luis Oliveira (FEUP) | |
Model Checking Embedded C Software using k-Induction and Invariants | |
Herbert Rocha (UFRO), Hussama Ibrahim, Lucas Cordeiro, Raimundo Barreto (UFAM) | |
Fault Localization in Multi-Threaded C Programs using Bounded Model Checking | |
Erickson Alves (INDT), Lucas Cordeiro (UFAM), Eddie Lima Filho (CTPIM) | |
Applying Multi-Core Model Checking to Hardware-Software Partitioning in Embedded Systems | |
Alessandro Trindade, Hussama Ibrahim, Lucas Cordeiro (UFAM) | |
Case Study of Product Line Approach to Provide Embedded and Desktop-based Applications | |
Alexandre Augusto Giron (UTFPR), Edmar Bellorini, Marcio Oyamada (UNIOESTE), Itana Maria de Souza Gimenes (UEM), Roberto Hexsel (UFPR) | |
A Platform for Evaluation of the Reliability of Communication Systems in FPGAs | |
Marcos Leipnitz, Geferson Luis Hess Júnior, Gabriel Nazar (UFRGS) | |
TSTP MAC: a Cross-Layer, Geographic, Receiver-Based MAC Protocol for WSNs | |
Davi Resner, Antônio Augusto Fröhlich (UFSC) | |
18:30 | Intel Contest Awards |
19:00 | Conference Dinner |
Friday, November 6, 2015 | |
08:00 | ESSE Tutorial 3: A Metodologia de Desenvolvimento Baseado em Modelos para Software Embarcado Automotivo |
João Henrique Zander Neme, Max Mauro Dias Santos (UTFPR) | |
10:30 | Coffee Break |
11:00 | Keynote 4: Sense & Adapt: our evolving models of computing machines up and down the abstract stack |
Rajesh Gupta (UCSD) | |
12:30 | Lunch |
14:00 | Session 9: Multiprocessor Systems |
Chair: Leandro Buss Becker (UFSC) | |
On the FPGA Dynamic Partial Reconfiguration Interference on Real-Time Systems | |
João Gabriel Reis, Antônio Augusto Fröhlich (UFSC), Arliones Hoeller Jr (IFSC) | |
An OpenCL-compliant Multi-Core Platform and its Companion Compiler | |
Ivan Silva, Ramon Nepomuceno, Jonatas Santos, Laysson Luz (UFPI) | |
A Grid-Tie Micro-Inverter Software Development Based on a Low Cost Multiprocessor Platform | |
Marcelo Götz, Marcelo Wagner Gobetti, Fausto Bastos Libano (UFRGS) | |
Decreasing Spill Code to Decrease Energy Consumption | |
Marcelo Luna, Felipe Silva, Wesley Attrot (UEL) | |
Using Bioinspired Meta-heuristics to Solve Reward-based Energy-aware Mandatory/Optional Real-time Tasks Scheduling | |
Matias Micheletto, Rodrigo Santos, Javier Orozco (UNS) | |
16:00 | Coffee Break |
16:30 | Session 10: Modeling and Testing |
Chair: George Lima (UFBA) | |
Preparing Cyber-Physical Systems Functional Models for Implementation | |
F. Gonçalves, Leandro Buss Becker (UFSC) | |
Testing Real-Time Embedded Systems with Hardware-in-the-Loop Simulation using High Level Architecture | |
Alisson Brito, José Cláudio Vieira Junior, Tiago do Nascimento (UFPB) | |
Towards to a Wearable Device for Monitoring Ecological Environments | |
Saul Delabrida, Ricardo R. Oliveira, Thiago D'Angelo (UFOP), Antonio Alfredo Ferreira Loureiro (UFMG) | |
An Embedded System for Aerial Image Processing from Unmanned Aerial Vehicles | |
Jonas Fernandes, Alisson Brito, José Antônio Gomes de Lima (UFPB), Helder Nogueira (Reintegris) | |
Implementation of IoT for Monitoring Ambient Air in Ubiquitous AAL Environments | |
Madalena Silva, Alexandre Gonçalves, Mario Dantas, Brunno Vanelli, Guilherme Manerichi, Stephan Roehrig Domingues dos Santos, Mauri Ferrandin, Alex Sandro Roschildt Pinto (UFSC) | |
18:30 | Closing |