2016: Proceedings of the 6th Brazilian Symposium on Computing Systems Engineering | Proceedings of the Brazilian Symposium on Computing Systems Engineering (SBESC)

The Proceedings of the 6th Brazilian Symposium on Computing Systems Engineering (SBESC 2016) bring the papers selected and presented in the edition of the event held in João Pessoa/PB, Brazil, from November 01 to 04, 2016, as part of the 6th Embedded Systems School (ESSE 2016). In this issue, the proceedings include 16 full papers and 16 work in progress. These papers were selected through a peer review process. The event's program committee was coordinated by Rivalino Matias Jr. (UFU), who organized this volume together with Giovani Gracioli (UFSC), the SBESC 2016 publication chair. The articles in this volume were submitted on 07/31/2016, accepted for publication on 09/12/2016, with the final version submitted on 10/03/2016.

You can find more information about SBESC 2016 by visiting the website of the event.

Published: 2016-11-01

Full Papers

SMT-based Verification Applied to Non-convex Optimization Problems

Rodrigo Araújo, Iury Bessa, Lucas Carvalho Cordeiro, João Edgar Chaves Filho

1-8
- IEEE Xplore
A Framework for the Analysis of UAV Strategies Using Co-simulation

José de Sousa Barros, Thyago Oliveira, Vivek Nigam, Alisson V. Brito

9-15
- IEEE Xplore
JFORTES: Java Formal Unit TESt Generation

Larissa Bentes, Herbert Rocha, Eduardo Valentin, Raimundo Barreto

16-23
- IEEE Xplore
Towards a Low-Cost Augmented Reality Head-Mounted Display with Real-Time Eye Center Location Capability

Thiago D'Angelo, Saul Emanuel Delabrida, Ricardo A. Rabelo Oliveira, Antonio A. F. Loureiro

24-31
- IEEE Xplore
Improving Network I/O Performance in Virtual Machines through Workload Profile Clustering

Stephany Zanchi Dionysio, Luiz Nacamura, Carlos Alberto Maziero

32-39
- IEEE Xplore
An Exploratory Study on Patterns in Dynamic Memory Allocations

Alexandre Beletti Ferreira, Rivalino Matias, Vinícius Fonseca Maciel

40-47
- IEEE Xplore
JustModeling: An MDE Approach to Develop Android Business Applications

Fabiano Freitas, Paulo Henrique Mendes Maia

48-55
- IEEE Xplore
Predicting Thread Profiles across Core Types via Machine Learning on Heterogeneous Multiprocessors

Cha V. Li, Vinicius Petrucci, Daniel Mossé

56-62
- IEEE Xplore
A Runtime Mapping Algorithm to Tolerate Permanent Faults in a CGRA

Alba Sandyra Bezerra Lopes, Eliselma Santos, Márcio Kreutz, Monica Pereira

63-70
- IEEE Xplore
How Programming Languages and Paradigms Affect Performance and Energy in Multithreaded Applications

Guilherme Grunewald Magalhães, Anderson Luis Sartor, Arthur Francisco Lorenzon, Philippe Olivier Alexandre Navaux, Antonio Carlos Schneider Beck

71-78
- IEEE Xplore
Virtualizing Mixed-Criticality Operating Systems

Rodrigo Schmitt Meurer, Mateus Krepsky Ludwich, Antônio Augusto Fröhlich

79-85
- IEEE Xplore
A Distributed Platform for Integration of FPGA-based Embedded Systems

Daniel C. Morais, Thiago Werlley B. Silva, Tiago P. Nascimento, Elmar Uwe Kurt Melcher, Alisson V. Brito

86-92
- IEEE Xplore
Towards a Metamodel for a Requirements Engineering Process of Embedded Systems

Tarcísio Pereira, Deivson Albuquerque, Aêda Sousa, Fernanda Alencar, Jaelson Castro

93-100
- IEEE Xplore
Mutant Components: Efficiently Managing Multiple Implementations

João Gabriel Reis, Antônio Augusto Fröhlich

101-108
- IEEE Xplore
On the Impact of Dynamic Routing Metrics on a Geographic Protocol for WSNs

Davi Resner, Gustavo Medeiros de Araujo, Antônio Augusto Fröhlich

109-115
- IEEE Xplore
A Hybrid Architecture for Experimentation in Wireless Sensor Networks

Gilles Silvano, Ivanovitch Silva, Leonardo Oliveira, Marcos Pinheiro, Bruno Ferreira

116-121
- IEEE Xplore
The Potential of Accelerating Image-Processing Applications by Using Approximate Function Reuse

Leonardo Almeida Da Silveira, Marcelo Brandalero, Jeckson Dellagostin De Souza, Antonio Carlos Schneider Beck

122-127
- IEEE Xplore
Reaching Optimum Solutions for the Low Power Hard Real-Time Task Allocation on Multiple Heterogeneous Processors Problem

Eduardo Valentin, Rosiane de Freitas, Raimundo Barreto

128-135
- IEEE Xplore
Embedding a Neural Classifier to Detect Faults in a Three-Phase Induction Motor

Renan Gomes Vieira, Rebeca Guerreiro C. Cunha, Cláudio Marques Sá Medeiros, Elias Teodoro Silva

136-143
- IEEE Xplore

Work in Progress

Using Crowdsourcing Techniques and Mobile Devices for Asphaltic Pavement Quality Recognition

Lucas Cedro Lima, Vicente Jose Peixoto Amorim, Igor Muzetti Pereira, Filipe Nunes Ribeiro, Ricardo Augusto Rabelo Oliveira

144-149
- IEEE Xplore
A Constraint-Driven Assessment of Operating Systems for Wearable Devices

Vicente Jose Peixoto Amorim, Saul Delabrida, Ricardo Augusto Rabelo Oliveira

150-155
- IEEE Xplore
Latency Analysis in Real LTE Networks for Vehicular Applications

Hilson G. Vilar De Andrade, Caio C. L. L. Ferreira, Abel G. Da Silva Filho

156-161
- IEEE Xplore
The Integration of GPU-based and Heterogeneous Devices Using HLA

Halamo G. R. Andrade, Daniel Morais, Thiago W. B. Silva, Tiago P. Nascimento, Alisson V. Brito

162-167
- IEEE Xplore
A Cache Design Assessment Approach for Embedded Real-Time Systems Based on Execution Time Measurement

Dário Dias, George Lima, Edna Barros

168-173
- IEEE Xplore
Cryptographic API for Embedded Applications

Felipe Michels Fontoura, Carlos Alberto Maziero, Marco Aurélio Wehrmeister

174-179
- IEEE Xplore
Mobile Nodes as a Dynamic Management Strategy to Improve Coverage in Wireless Sensor Networks

Andrea Verônica González, Paulo Roberto Ferreira, Lisane Brisolara de Brisolara

180-185
- IEEE Xplore
A Low-Cost Chlorophyll Fluorescence Sensor System

Christopher Gull, Minko T. Minkov, Eduardo Gusmão Pereira, José Augusto M. Nacif

186-191
- IEEE Xplore
Design Space Exploration Using UTNoCs and Genetic Algorithm

Jonathan Wanderley De Mesquita, Marcos Oliveira da Cruz, Monica Magalhães Pereira, Marcio E. Kreutz

198-202
- IEEE Xplore
Characterizing Interoperability in Context-Aware Software Systems

Rebeca Campos Motta, Káthia Marçal de Oliveira, Guilherme Horta Travassos

203-208
- IEEE Xplore
Evaluation of TDMA Robustness in WirelessHART Networks

Jean Winter, Carlos Eduardo Pereira, Joao C. Netto, Fernando A. Souza, C. M. Costa, I. Muller

209-213
- IEEE Xplore
An Embedded Nonlinear Model Predictive Formation Controller for Low-Cost Architectures

Diego Sousa, Tiago P. Nascimento, Alisson V. Brito

214-219
- IEEE Xplore
An Environment for Design Space Exploration Using gem5-McPAT

Renan Tashiro, Marcio Seiji Oyamada

220-225
- IEEE Xplore