Carregando...
 

Anais da edição de 2013 do

Simpósio Brasileiro de Engenharia de Sistemas Computacionais

Operating Systems Track

Full Papers

 

Diagnosing Memory Provisioning in IaaS Clouds
Rafael R. Obelheiro, UDESC, Brazil
Mauricio Aronne Pillon, Universidade do Estado de Santa Catarina, Brazil
Ricardo Jose Pfitscher, Universidade do Estado de Santa Catarina, Brazil

Aplicações Android para o Ambiente Automotivo - Uma Metodologia para a Redução do Tempo de Inicialização
Ricardo Augusto Rabelo R. Oliveira, Universidade Federal de Ouro Preto, Brazil
Vicente P. Amorim, Universidade Federal de Ouro Preto (UFOP), Brazil

Mapeamento dos mecanismos de sincronizacao do kernel do Linux para o modelo de análise de tempo de resposta
Romulo Silva de Oliveira, Universidade Federal de Santa Catarina, Brazil
Daniel Bristot Bristot de Oliveira, Universidade Federal de Santa Catarina, Brazil

Análise dos Algoritmos de Escalonamento de Grupo com Estratégias de Migração para Redução de Fragmentação em Sistemas Distribuídos
Giovanni Cordeiro Barroso, Universidade Federal do Ceará, Brazil
Francisca Aparecida Prado Pinto, Federal University of Ceara, Brazil
Lucas Gonçalves Moura Leite, Federal University of Ceara, Brazil
Chesley Braga Chaves, Federal University of Ceara, Brazil
Francisco Jarlisson Moreira de Santos, Federal University of Ceara, Brazil

Desenvolvimento de um Sistema Operacional de Tempo Real para um Microcontrolador Básico
Cesar Albenes Zeferino, Universidade do Vale do Itajaí, Brazil
Fabricio Bortoluzzi, UNIVALI, Brazil
Hendrig Wernner Maus Santana Gonçalves, Universidade do Vale do Itajaí - UNIVALI, Brazil

Virtual machine debug offloading for embedded systems
Silvio Meira, Universidade Federal de Pernambuco, Brazil
Luiz Tenorio, Universidade Federal de Pernambuco, Brazil
Fernando Fragoso, Recife Center of Advanced Studies and Systems, Brazil

OB-STM: An Optimistic Approach for Byzantine Fault Tolerant in Software Transactional Memory
Lau Cheuk Lung, UFSC, Brazil
Hylson Vescovi Netto, Universidade Federal de Santa Catarina, Brazil
Tulio Alberton Ribeiro, Federal University of Santa Catarina, Brazil

Performance Evaluation in Hybrid and Dynamic Distributed Systems
Raimundo Jose de Araujo Macedo, UFBA, Brazil
Allan Edgard Silva Freitas, IFBA, Brazil

Implementação e Avaliação do Escalonador Agrupado para um Sistema Operacional de Tempo Real
Antônio Augusto Fröhlich, Universidade Federal de Santa Catarina, Brazil
Giovani Gracioli, Universidade Federal de Santa Catarina, Brazil
Murilo Ferreira Vitor, Universidade Federal de Santa Catarina, Brazil

Análise Teórico-Experimental de Algoritmos de Alocação de Memória
Marcia Aparecida Fernandes, Universidade Federal de Uberlândia, Brazil
Rivalino Matias Jr., Universidade Federal de Uberlandia, Brazil
Diego Elias Damasceno Costa, Universidade Federal de Uberlândia, Brazil
Lúcio B. Araujo, Universidade Federal de Uberlândia, Brazil

Embedded Systems Track

Full Papers

 

AndroProf: A Profiling Tool for the Android Platform
Antonio Carlos S. Beck F., Universidade Federal do Rio Grande do Sul, Brazil
Ulisses Brisolara Corrêa, UFRGS, Brazil
Anderson Luiz Sartor, Universidade Federal do Rio Grande do Sul, Brazil

Wireless network planning and optimization in oil and gas refineries
Leandro Buss Becker, UFSC, Brazil
Ramon Hugo de Souza, Federal University of Santa Catarina, Brazil
Stefano Savazzi, CNR-IEIIT - National Research Council of Italy, Italy

Embedded System for Visual Odometry and Localization of Moving Objects in Images Acquired by Unmanned Aerial Vehicles
Elcio Hideiti E. H. Shiguemori, Institute for Advanced Studies (IEAv), Brazil
Mateus Habermann, Instituto Tecnológico de Aeronáutica, Brazil
Rodrigo Augusto Rebouças, Instituto de Estudos Avançados, Brazil
Quenaz Cruz Eller, Universidade Paulista, Brazil

An Embedded System for Determining Free Glycerol Levels in Biodiesel
Rodrigo M. Santos, Universidad Nacional del Sur, Argentina
Gabriel Martin Eggly, Universidad Nacional del Sur, Argentina
Paulo H. G. D. Diniz, Universidade Federal da Paraíba, Brazil
Marcelo Pistonesi, Universidad Nacional del Sur, Argentina
Mário Araújo, Universidade Federal da Paraíba, Brazil
Beatriz Band, Universidad Nacional del Sur, Argentina

Roteamento IPv6 em redes sem fio com dispositivos com pouca memória
Marcos Augusto Menezes Vieira, UFMG, Brazil
Luiz Filipe Menezes Vieira, UFMG, Brazil
José Augusto Miranda Nacif, Universidade Federal de Viçosa, Brazil
André B. M. Gomes, Universidade Federal de Viçosa, Brazil
Elerson Rubens da Silva Santos, Universidade Federal de Minas Gerais, Brazil

HydroNode: Uma rede sensores aquáticos de baixo custo e consumo
Antônio Fernandes, Institute National Polytechnique de Grenoble, France, Brazil
Marcos Augusto Menezes Vieira, UFMG, Brazil
Luiz Filipe Menezes Vieira, UFMG, Brazil
José Augusto Miranda Nacif, Universidade Federal de Viçosa, Brazil
Alex Borges Vieira, UFJF, Brazil
Lucas Bragança da Silva, Universidade Federal de Viçosa - campus Florestal, Brazil
Sadraque S. Viana, Universidade Federal de Minas Gerais, Brazil
Angelica Lima, Universidade Federal de Viçosa - campus Florestal, Brazil

Verificação Baseada em Indução Matemática para Programas C/C++
Vicente Lucena, UFAM, Brazil
Lucas Carvalho Cordeiro, Federal University of Amazonas, Brazil
Mikhail Yasha Ramalho Gadelha, Universidade Federal do Amazonas, Brazil
André Cavalcante, Federal University of Amazonas, Brazil

The Assisted Transformation of Models: Supporting Cyber-Physical Systems Design by Extracting Architectural Aspects and Operating Modes from Simulink Functional Models
Jean-Marie Farines, Universidade Federal Santa Catarina - UFSC, Brazil
Leandro Buss Becker, UFSC, Brazil
Rosane Passarini, UTFPR, Brazil

Improving Performance of Large-Scale Embedded Systems with Ptolemy through Distributed Simulation
Alisson Vasconcelos Brito, Universidade Federal da Paraiba, Brazil
Angelo Lemos Vidal de Negreiros, Federal University of Paraíba, Brazil

TAP - Teste e Depuração de Software de Sistemas Embarcados
Antônio Augusto Fröhlich, Universidade Federal de Santa Catarina, Brazil
Rita de Cássia C. Soldi, Universidade Federal de Santa Catarina, Brazil

Framework para Monitoramento Remoto de Linhas de Transmissão de Energia
Luiz Magalhaes, Universidade Federal Fluminense, Brazil
Débora C. Muchaluat-Saade, UFF, Brazil
Célio Vinicius Neves de Albuquerque, UFF, Brazil
Diego Passos, Universidade Federal Fluminense, Brazil
Ricardo Carrano, Universidade Federal Fluminense, Brazil
Joacir Silva, Universidade Federal Fluminense, Brazil

The Impact of Different Multi-Threading Interfaces on Embedded Systems
Antonio Carlos S. Beck F., Universidade Federal do Rio Grande do Sul, Brazil
Márcia C. Cera, Universidade Federal do Pampa, Brazil
Arthur Francisco Lorenzon, Universidade Federal do Rio Grande do Sul, Brazil

Dispositivo Eletrônico de Baropodometria para Auxílio no Tratamento por Biofeedback do Pé Equino
Gustavo B. Borba, Universidade Tecnológica Federal do Paraná, Brazil
Humberto R. Gamba, Federal University of Technology-Parana, Brazil
Reginato D. Scremim, Universidade Tecnológica Federal do Paraná - UTFPR, Brazil
Leonardo G. Gomes, Universidade Tecnológica Federal do Paraná - UTFPR, Brazil
Guilherme P. Resende, Universidade Tecnológica Federal do Paraná - UTFPR, Brazil

Survey of memory optimization techniques for embedded systems
Lisane Brisolara, Universidade Federal de Pelotas, Brazil
Julio Mattos, Universidade Federal de Pelotas, Brazil
Lizandro de Souza Oliveira, Universidade Federal de Pelotas, Brazil

Uma Plataforma de Hardware e Software para Medição de Temperatura Utilizando Diferentes Tecnologias de Sensores
Edson Lisboa, Instituto Federal de Educação, Ciência e Tecnologia de Sergipe - IFS, Brazil
Fabio Prudente, IFS, Brazil
Alisson Santos Barbosa, Universidade Federal de Sergipe, Brazil
Joao Victor Melquiades Satiro, Instituto Federal de Educação Ciência e Tecnologia de Sergipe, Brazil
Felipe Araujo Santos, Instituto Federal de Educação Ciência e Tecnologia de Sergipe, Brazil

A Multiple-ISA Reconfigurable Architecture
Luigi Carro, Universidade Federal do Rio Grande do Sul, Brazil
Antonio Carlos S. Beck F., Universidade Federal do Rio Grande do Sul, Brazil
Fernanda Mathias Capella, UFRGS, Brazil
Jair Junior, Ufrgs, Brazil

Isolated Words Recognition using a Low Cost Microcontroller
Clayder Gonzalez-Cadenillas, Universidad Nacional de Trujillo, Peru

Quality Impact on Software Performance
Luigi Carro, Universidade Federal do Rio Grande do Sul, Brazil
Antonio Carlos S. Beck F., Universidade Federal do Rio Grande do Sul, Brazil
Ulisses Brisolara Corrêa, UFRGS, Brazil
Luís Millani, UFRGS, Brazil

Um Sistema de Gerenciamento de Aplicações de Redes de Sensores sem Fio em um Ambiente de Computação em Nuvem
Jose Gonçalves Pereira Filho, Federal University of Espírito Santo, Brazil
Saymon Castro, Ifes, Brazil
Eugênio Spessimille, Federal University of Espírito Santo, Brazil

Infraestrutura de Redes de Sensores Sem fio para Monitoramento Térmico de CPDs
Julius Leite, Universidade Federal Fluminense, Brazil
Raphael Guerra, Universidade Federal Fluminense, Brazil
Breno Carvalho, CESUPA, Brazil
Giulio Dariano Bottari, Universidade Federal Fluminense, Brazil
Gustavo Zanatta Bruno, Universidade Federal Fluminense, Brazil

Verificação de Aplicações AmI Usando Java PathFinder
Vicente Lucena, UFAM, Brazil
Vandermi João da Silva, Universidade Federal do Amazonas, Brazil
Lucas Cordeiro, Universidade Federal do Amazonas, Brazil

Extended Abstracts

 

Phase Cyclical Process Requirements for the development of Embedded Systems
Mauricio Gonçalves, INPE-Instituto Nacional de Pesquisas Espaciais, Brazil
Magda Silverio Miyashiro, INPE, Brazil

Utilizando dispositivos de lógica programavél para implementação em hardware do nível 2 do Sistema de Sinalização por Canal Comum número 7
Marly Guimaraes Fernandes Costa, Universidade Federal do Amazonas - UFAM, Brazil
Cicero Ferreira Fernandes Costa Filho, Universidade Federal do Amazonas, Brazil
Orlens Melo, Universidade Federal do Amazonas, Brazil
Mitsuyoshi Carvalho, Universidade Federal do Amazonas, Brazil
Hillermann Lima, Universidade Federal do Amazonas, Brazil
Victor Diaz, Tropico Sistemas e Telecomunicações, Brazil

Analysis and evaluation of the Android best practices impact on the efficiency of mobile applications
Lisane Brisolara, Universidade Federal de Pelotas, Brazil
Leonardo Matthis Fischer, Universidade Federal de Pelotas, Brazil
Julio Mattos, Universidade Federal de Pelotas, Brazil
Aline Rodrigues Tonini, Universidade Federal de Pelotas, Brazil

Robustness Testing of Satellite Attitude and Orbit Control Systems: a proposal guided by two Model Based Testing Methodologies
Ana Maria Ambrosio, Instituto Nacional de Pesquisas Espaciais, Brazil
Andre Corsetti, INPE, Brazil
Fatima Mattiello-Francisco, INPE, Brazil

Model-Driven Development of WSN Applications
Antônio Augusto Fröhlich, Universidade Federal de Santa Catarina, Brazil
Leandro Buss Becker, UFSC, Brazil
Fábio Paulo Basso, Universidade Federal do Rio de Janeiro (UFRJ), Brazil
Andre Ruza Paulon, Universidade Federal de Santa Catarina, Brazil

Dynamic Adjustment of Transmission Power of Mobile Ad-Hoc Wireless Sensor Networks
Antônio Augusto Fröhlich, Universidade Federal de Santa Catarina, Brazil
Arliones Stevert Hoeller Jr, Universidade Federal de Santa Catarina, Brazil
Peterson Oliveira, Universidade Federal de Santa Catarina, Brazil

An experimental evaluation of a combination of features on the IPNoSys NoC
Márcio Kreutz, Universidade Federal do Rio Grande do Norte, Brazil
Silvio Fernandes, UFERSA, Brazil
Marcos Oliveira da Cruz, Universidade Federal do Rio Grande do Norte, Brazil

Componentes e Softwares para Projetos de Multicópteros de baixo custo.
José Augusto Miranda Nacif, Universidade Federal de Viçosa, Brazil
Waldir Meireles, Universidade Federal de Viçosa, Brazil

Metodologia de avalição de consumo de bateria dispositivos móveis utilizando uma placa Arduino
Ricardo Augusto Rabelo R. Oliveira, Universidade Federal de Ouro Preto, Brazil
Vicente P. Amorim, Universidade Federal de Ouro Preto (UFOP), Brazil
Brayan Vilela Alves Neves, Universidade Federal de Ouro Preto, Brazil
Antoniel Gravina, UFOP, Brazil

Real-time Systems Track

Full Papers

 

Análise dos algoritmos de escalonamento para redes WirelessHART
João Netto, UFRGS, Brazil
Carlos Eduardo Pereira, UFRGS, Brazil
Ivan Muller, Universidade Federal do Rio Grande do Sul, Brazil
Jean Michel Winter, Universidade Federal do Rio Grande do Sul, Brazil
Victor Dickow, Universidade Federal do Rio Grande do Sul, Brazil
Tatiane Machado, Universidade Federal do Rio Grande do Sul, Brazil

Um Modelo de Referência para Análise Temporal de Redes Automotivas Heterogêneas
Francisco Vasques, University of Porto, Portugal
Romulo Silva de Oliveira, Universidade Federal de Santa Catarina, Brazil
Rodrigo Lange, Universidade Federal de Santa Catarina, Brazil

Cache-Aware Task Partitioning for Multicore Real-Time Systems
Romulo Silva de Oliveira, Universidade Federal de Santa Catarina, Brazil
Renan Augusto Starke, Universidade Federal de Santa Catarina, Brazil

DDBP: Avaliação Experimental para o Provimento de Qualidade de Serviço em Redes IEEE 802.15.4
Carlos Barros Montez, Universidade Federal de Santa Catarina, Brazil
Tiago Semprebom, IFSC, Brazil
Ricardo Moraes, Universidade Federal de Santa Catarina, Brazil
Eduardo Arnold, UFSC, Brazil
Guilherme Damásio, UFSC, Brazil

The Space of Feasible Execution Times for Asynchronous Periodic Task Systems using Definitive Idle Times
Laurent George, ECE Paris, France
Thomas Chapeaux, Université Libre de Bruxelles, Belgium
Paul Rodriguez, Université Libre de Bruxelles, Belgium

Optimizing QoS in Adaptive Real-Time Systems With Energy Constraint Varying CPU Frequency
Eduardo Camponogara, UFSC, Brazil
George Marconi de Araújo Lima, Universidade Federal da Bahia, Brazil
Daniel Mossé, University of Pittsburgh, USA
Ríad Mattos Nassiffe, UFSC, Brazil

Previsão de Perda de Deadline em Tratadores de Eventos RTSJ
Patricia Della Méa Plentz, Universidade Federal de Santa Catarina, Brazil
Rogério Bodemüller Junior, Federal University of Santa Catarina (UFSC), Brazil

Análise do Comportamento Temporal de Fluxos de Comunicação em Sistemas com Escalonamento Semi-Particionado
Osmar Marchi dos Santos, Universidade Federal de Santa Maria, Brazil
Iaê Bonilha, Universidade Federal de Santa Maria, Brazil

Analysis of Real-Time Scheduling Problems by Single Step and Maximal Step Semantics for Time Petri Net Models
Paulo Romero Martins Maciel, UFPE, Brazil
Raimundo da Silva Barreto, Universidade Federal do Amazonas, Brazil
Romulo Devezas Freitas, UFAM, Brazil

Extended Abstracts

 

Analyzing the Use of Anytime Algorithms on an Unmanned Aerial Vehicle
Leandro Buss Becker, UFSC, Brazil
Guilherme Vianna Raffo, Universidade Federal de Minas Gerais, Brazil
F. S. GONÇALVES, Universidade Federal de Santa Catarina, Brazil

Avaliação do Padrão CMSIS-RTOS para uso em Sistemas Embarcados
Douglas Renaux, Universidade Tecnológica Federal do Paraná, Brazil
Fabiana Pottker, UTFPR, Brazil

Avaliação do Impacto das Variações dos Relógios nos Tempos de Resposta das Mensagens em uma Rede CAN
Angelo Perkusich, UFCG, Brazil
Jose Sergio Rocha Neto, Federal University of Campina Grande, Brazil
Antonio Marcus Nogueira Lima, Universidade Federal de Campina Grande, Brazil
Jadsonlee Sá, Universidade Federal do Vale do São Francisco, Brazil

A WirelessHART and IEC 61850 Gateway Proposal
João Netto, UFRGS, Brazil
Carlos Eduardo Pereira, UFRGS, Brazil
Ivan Muller, Universidade Federal do Rio Grande do Sul, Brazil
Jean Michel Winter, Universidade Federal do Rio Grande do Sul, Brazil
Fernando Eduardo Covatti, Universidade Federal do Rio Grande do Sul, Brazil

Critical Systems Track

Full Papers

 

Sistema Embarcado Multicore para Reconhecimento de Íris
Celio Moron, Universidade Federal de São Carlos, Brazil
Marcio Merino Fernandes, Universidade Federal de São Carlos, Brazil
Nathan Ozelim, IBM Brasil, Brazil

V-Beacon: Uma plataforma experimental para Redes Veiculares Sem Fio
Edson D. S. Moreira, Universidade de São Paulo, Brazil
Roberto Sadao Yokoyama, Universidade de São Paulo (USP), Brazil
Bruno Kimura, Federal University of Itajuba - UNIFEI, Brazil

An Implementation of the AES cipher using HLS
Antônio Augusto Fröhlich, Universidade Federal de Santa Catarina, Brazil
Tiago Rogério Mück, UFSC, Brazil
Rodrigo Schmitt Meurer, Universidade Federal de Santa Catarina, Brazil

Integration of Wireless Sensor Networks to the Internet of Things using a 6LoWPAN Gateway
Romulo Silva de Oliveira, Universidade Federal de Santa Catarina, Brazil
Carlos Barros Montez, Universidade Federal de Santa Catarina, Brazil
Alex Roschildt Pinto, UNESP, Brazil
Luiz Fernando Schrickte, Universidade Federal de Santa Catarina, Brazil

RTEMS Core Analysis for Space Applications
George Marconi de Araújo Lima, Universidade Federal da Bahia, Brazil
Fernando Garcia Nicodemos, ITA - Instituto Tecnológico de Aeronáutica, Brazil
Osamu Saotome, ITA Instituto Tecnológico de Aeronáutica, Brazil

Evaluation of the Huffman Encoding for memory optimization on hardware network intrusion detection
Angelo A. Duarte, Universidade Estadual de Feira de Santana, Brazil
Wagner Luiz Alves de Oliveira, Feira de Santana State University, Brazil
Eder Santana Freire, Universidade Federal da Bahia, Brazil

A Multi-Agent System using Fuzzy Logic to Increase AGV Fleet Performance in Warehouses
Orides Morandin Junior, UFSCar, Brazil
Edilson Reis Rodrigues Kato, Federal University of São Carlos, Brazil
Lucas Branisso, Federal University of Sao Carlos, Brazil
Roberto Tsunaki, USP, Brazil
Emerson Pedrino, Federal University of Sao Carlos, Brazil

3D Point Cloud Segmentation for an Autonomous Ground Vehicle
Fernando Santos Osorio, USP - Universidade de Sao Paulo, Brazil
Denis Fernando Wolf, University of Sao Paulo, Brazil
Alberto Y. Hata, Universidade de São Paulo - USP, Brazil
Danilo Habermann, USP São Carlos, Brazil

Elicitation of operational requirements in ATC activities automation process: the TWR case
João Batista Camargo Jr., Poli-USP, Brazil
Lucio Vismari, University of São Paulo, Brazil
Yuri Maximilian Rottner Dirickson, University of São Paulo, Brazil

Avaliando o Desempenho e o Consumo de Potência de um VANT Simulado na BeagleBoard
Edson A. Oliveira Junior, Universidade Estadual de Maringá, Brazil
Itana Maria de Souza Gimenes, Universidade Estadual de Maringá, Brazil
Luciana A. F. Martimiano, Universidade Estadual de Maringá, Brazil
Marcio Oyamada, Universidade Estadual do Oeste do Parana, Brazil
Alexandre Giron, UEM - Universidade Estadual de Maringá, Brazil

Extended Abstracts

 

File Transfer in Vehicular Ad-hoc Networks
Edson D. S. Moreira, Universidade de São Paulo, Brazil
Luz Santos, University of Pamplona, Colombia
João Michelin, Universidade de São Paulo, Brazil
Kifayat Ullah, ICMC Universidade de São Paulo, Brazil

Simulation of an autonomous vehicle with a vision-based navigation system in unstructured terrains using OctoMap.
Fernando Santos Osorio, USP - Universidade de Sao Paulo, Brazil
Denis Fernando Wolf, University of Sao Paulo, Brazil
Rafael Luiz Klaser, Universidade de São Paulo, Brazil

Algoritmos de Mapeamento e Clustering Multiobjetivo para FPGAs
Abel Guilhermino Silva-Filho, Federal University of Pernambuco, Brazil
Viviane Souza, Federal University of Pernambuco, Brazil