2014 Brazilian Symposium
on Computing Systems
Engineering
SBESC 2014
Table of Contents
Welcome Message .......................................................................................................................................................viii
Organizing Committee...................................................................................................................................................ix
Reviewers.......................................................................................................................................................................xi
Critical Embedded Systems Track
Study of the Efficiency of Electronic Postural Corrector in the Treatment and Prevention
of Thoracic Hyperkyphosis in Children and Teenagers ...................................................................................................1
Luiz Fernando Segato dos Santos, Tiago Henrique Faccio Segato,
Alessandra Monteiro Ferro, Leonardo Gabriel Quintino Cabreira, and Alex Roschidt Pinto
A Model-Based Approach to Support the Automatic Safety Analysis of Multiple Product
Line Products ...................................................................................................................................................................7
André L. de Oliveira, Rosana T.V. Braga, Paulo C. Masiero, Yiannis Papadopoulos,
Ibrahim Habli, and Tim Kelly
Cloud IEC 61850: Architecture and Integration of Electrical Automation Systems .......................................................13
Thiago Berticelli Lo, Marcos Fonseca Mendes, Hugo A. Larangeira Samaniego,
and Rômulo Silva de Oliveira
An Environment to Support Structural Testing of Autonomous Vehicles ......................................................................19
Vânia de Oliveira Neves, Márcio Eduardo Delamaro, and Paulo Cesar Masiero
Operating Systems Track
On the Influence of Shared Memory Contention in Real-Time Multicore Applications ..................................................25
Giovani Gracioli and Antônio Auguto Fröhlich
Embedded Systems Track
A Pushing Approach for Data Synchronization in Cloud to Reduce Energy Consumption
in Mobile Devices ..........................................................................................................................................................31
S.A.L. Carvalho, Rafael Nunes de Lima, and Abel Guilhermino da Silva-Filho
Designing Self-Adaptive Embedded Real-Time Software—Towards System
Engineering of Self-Adaptation ......................................................................................................................................37
Franz J. Rammig, Stefan Grösbrink, Katharina Stahl, and Yuhong Zhao
v
Potential of Using a Reconfigurable System on a Superscalar Core for ILP
Improvements ................................................................................................................................................................43
Marcelo Brandalero and Antonio Carlos S. Beck
Verification of Delta Form Realization in Fixed-Point Digital Controllers Using Bounded
Model Checking .............................................................................................................................................................49
Iury Valente de Bessa, Hussama Ibrahim Ismail, Lucas Carvalho Cordeiro,
and João Edgar Chaves Filho
Hardware Virtualization on Coarse-Grained Reconfigurable Architectures ..................................................................55
Thiago Berticelli Lo, Luigi Carro, and Antonio Carlos Schneider Beck
Assessing the Use of Continuous-Time and Timed-Triggered Models for Designing
Cyber-Physical Systems ................................................................................................................................................61
Fernando Silvano Gonçalves and Leandro Buss Becker
On Generating VHDL Descriptions from Aspect-Oriented UML/MARTE Models .........................................................67
Marco Aurélio Wehrmeister and Marcela Leite
Towards a Dynamic and Reconfigurable Multicore Heterogeneous System ................................................................73
Jeckson Dellagostin Souza, Luigi Carro, Mateus Beck Rutzig,
and Antonio Carlos Schneider Beck
Performance Evaluation of Android Applications: A Case Study ..................................................................................79
Thiago Soares Fernandes, Érika Cota, and Álvaro Freitas Moreira
Early Estimation of NFRs for Embedded System Using Design Metrics .......................................................................85
Andrws Vieira, Pedro Faustini, Luigi Carro, and Érika Cota
Control over WirelessHART Network through a Host Application: A WirelessHART
Network Control Proposal ..............................................................................................................................................91
Viyils Sangregorio Soto, Ivan Muller, Jean M. Winter Carlos Eduardo Pereira,
and João C. Netto
Analysis of the Impact of Refactorings on the Performance of Embedded Systems ....................................................97
Heitor Boeira dos Reis Filho, Ulisses B. Corrêa, Lucio Mauro Duarte, and Antônio C.S. Beck
The Design of an Image Converting and Thresholding Hardware Accelerator ...........................................................103
Rafael M. Macieira, Lucas F. S. Cambuim, Luiz L. Souza, Luiz A. Oliveira,
Marcus F.R. Rios, and Edna Barros
Improvements in Wireless Communication and Support for WMSN in IEEE 1451 .....................................................109
Leonardo Maccari Rufino, Rodrigo Vieira Steiner, Rodrigo Valceli Raimundo,
and Antônio Augusto Fröhlich
Real-Time Systems Track
A Model Considering QoS for Real-Time Systems with Energy and Temperature
Constraints ..................................................................................................................................................................115
Daniel Mossé, Eduardo Camponogara, and George Lima
Co-Designed FreeRTOS Deployed on FPGA .............................................................................................................121
Jorge Pereira, Daniel Oliveira, Sandro Pinto, Nuno Cardoso, Vitor Silva, Tiago Gomes,
José Mendes, and Paulo Cardoso
vi
Comparative Performance Evaluation of CMSIS-RTOS .............................................................................................126
Douglas Paulo Bertrand Renaux
Evaluation of the Notification Oriented Paradigm Applied to Real-Time Systems ......................................................132
Robson Ribeiro Linhares, Douglas Paulo Bertrand Renaux, Jean Marcelo Simão,
and Paulo Cézar Stadzisz
Expanding the Coverage Area of a Formation of Robots Through a Mesh Network
and a Real Time Database Middleware ......................................................................................................................138
Leandro J. Caetano, Tiago P. Nascimento, Márcio Adamec L. Oliveira,
and Gláucio B. Rocha
Heuristics for Mapping Real-Time Applications to NoC-Based Architectures Using
Genetic Algorithms ......................................................................................................................................................144
Iaê Santos Bonilha, Osmar Marchi dos Santos, and Leandro Indrusiak
Revealing the Secrets of RUN and QPS: New Trends for Optimal Real-Time
Multiprocessor Scheduling ..........................................................................................................................................150
Ernesto Massa, George Lima, and Paul Regnier
Author Index ..............................................................................................................................................................156
vii