2013 III Brazilian Symposium
on Computing Systems
Engineering
SBESC 2013
Table of Contents
Message from the General Chairs.............................................................................................................ix
Conference Organization............................................................................................................................x
Reviewers ....................................................................................................................................................xi
Acknowledgements ...................................................................................................................................xv
Full Papers
Operating Systems
Diagnosing Memory Provisioning in IaaS Clouds .........................................................................................1
Ricardo J. Pfitscher, Mauricio A. Pillon, and Rafael R. Obelheiro
Offload Debugging for Java Programmed Embedded Systems ...................................................................7
Fernando Henrique Silva Fragoso, Luiz Fernandes Eugênio Tenório,
and Sílvio Romero de Lemos Meira
OB-STM: An Optimistic Approach for Byzantine Fault Tolerance in Software
Transactional Memory ................................................................................................................................11
Tulio Alberton Ribeiro, Lau Cheuk Lung, and Hylson Vescovi Netto
Performance Evaluation in Hybrid and Dynamic Distributed Systems .......................................................17
Allan Edgard Silva Freitas and Raimundo José de Araújo Macêdo
Embedded Systems I
AndroProf: A Profiling Tool for the Android Platform ..................................................................................23
Anderson Luiz Sartor, Ulisses Brisolara Corrêa,
and Antônio Carlos Schneider Beck Filho
Wireless Network Planning and Optimization in Oil and Gas Refineries ....................................................29
Stefano Savazzi, Ramon Hugo de Souza, and Leandro Buss Becker
v
Embedded System for Visual Odometry and Localization of Moving Objects
in Images Acquired by Unmanned Aerial Vehicles .....................................................................................35
Rodrigo Augusto Rebouças, Quenaz da Cruz Eller, Mateus Habermann,
and Elcio Hideiti Shiguemori
An Embedded System for Determining Free Glycerol Level in Biodiesel ...................................................41
Gabriel M. Eggly, Paulo H. G. D. Diniz, Rodrigo Santos, Marcelo F. Pistonesi,
Mário C. U. Aráujo, and Beatriz Fernández Band
The Assisted Transformation of Models: Supporting Cyber-Physical Systems
Design by Extracting Architectural Aspects and Operating Modes
from Simulink Functional Models ................................................................................................................47
Rosane Fátima Passarini, Leandro Buss Becker, and Jean-Marie Farines
Allowing Large-Scale Systems Evaluation with Ptolemy through Distributed
Simulation ...................................................................................................................................................53
Alisson V. Brito and Angelo V. Negreiros
The Impact of Different Multi-Threading Interfaces on Embedded Systems ..............................................59
Arthur Francisco Lorenzon, Márcia Cristina Cera, and Antonio Carlos S. Beck Filho
Survey of Memory Optimization Techniques for Embedded Systems .......................................................65
Lizandro Oliveira, Júlio C. B. Mattos, and Lisane Brisolara
A Multiple-ISA Reconfigurable Architecture ................................................................................................71
Fernanda M. Capella, Marcelo Brandalero, Jair Fajardo Junior,
Antonio C. S. Beck, and Luigi Carro
Isolated Words Recognition Using a Low Cost Microcontroller ..................................................................77
Clayder Gonzalez-Cadenillas and Nils Murrugarra-Llerena
Quality Impact on Software Performance ...................................................................................................83
Ulisses B. Corrêa, Luís F. G. Millani, Antônio C. S. Beck, and Luigi Carro
Real-Time Systems I
Cache-Aware Task Partitioning for Multicore Real-Time Systems .............................................................89
Renan Augusto Starke and Romulo Silva de Oliveira
The Space of Feasible Execution Times for Asynchronous Periodic Task
Systems Using Definitive Idle Times ..........................................................................................................95
Thomas Chapeaux, Paul Rodriguez, Laurent George, and Joël Goossens
Optimizing QoS in Adaptive Real-Time Systems with Energy Constraint
Varying CPU Frequency ...........................................................................................................................101
Eduardo Camponogara, George Lima, Daniel Mossé, and Ríad Nassiffe
Analysis of Real-Time Scheduling Problems by Single Step and Maximal Step
Semantics for Time Petri Net Models .......................................................................................................107
Romulo Freitas, Raimundo Barreto, and Paulo Maciel
vi
Critical Systems I
An Implementation of the AES Cipher Using HLS ....................................................................................113
Rodrigo Schmitt Meurer, Tiago Rogério Mück, and Antônio Augusto Fröhlich
Integration of Wireless Sensor Networks to the Internet of Things Using
a 6LoWPAN Gateway ...............................................................................................................................119
L. F. Schrickte, C. Montez, R. de Oliveira, and Alex R. Pinto
RTEMS Core Analysis for Space Applications .........................................................................................125
Fernando Nicodemos, Osamu Saotome, and George Lima
Evaluation of the Huffman Encoding for Memory Optimization on Hardware
Network Intrusion Detection ......................................................................................................................131
Eder Freire, Leizer Schnitman, Wagner Oliveira, and Angelo Duarte
A Multi-Agent System Using Fuzzy Logic to Increase AGV Fleet Performance
in Warehouses ..........................................................................................................................................137
Lucas Binhardi Branisso, Edilson Reis Rodrigues Kato,
Emerson Carlos Pedrino, Orides Morandin Jr., and Roberto Hideaki Tsunaki
3D Point Clouds Segmentation for Autonomous Ground Vehicle ............................................................143
Danilo Habermann, Alberto Hata, Denis Wolf, and Fernando S. Osório
Elicitation of Operational Requirements in ATC Activities Automation Process:
The TWR Case .........................................................................................................................................149
Yuri Maximilian Rottner Dirickson, Lucio Flavio Vismari,
and João Batista Camargo Jr.
Extended Abstracts
Embedded Systems II
Phase Cyclical Process Requirements for the Development of Embedded
Systems ....................................................................................................................................................155
Magda A. Silvério Miyashiro and Maurício G. V. Ferreira
Analysis and Evaluation of the Android Best Practices Impact on the Efficiency
of Mobile Applications ...............................................................................................................................157
Aline Rodrigues Tonini, Leonardo Matthis Fischer,
Júlio Carlos Balzano de Mattos, and Lisane Brisolara de Brisolara
Robustness Testing of Satellite Attitude and Orbit Control Systems: A
Proposal Guided by Two Model Based Testing Methodologies ...............................................................159
Andre Corsetti, Ana Maria Ambrósio, and Maria de Fátima Mattiello-Francisco
Model-Driven Development of WSN Applications ....................................................................................161
L. B. Becker, F. P. Basso, A. A. Fröhlich, and A. R. Paulon
vii
Dynamic Adjustment of Transmission Power of Mobile Ad-Hoc Wireless
Sensor Networks ......................................................................................................................................167
Arliones Hoeller Jr., Peterson Oliveira, and Antônio Augusto Fröhlich
An Experimental Evaluation of Combination of Features on the IPNoSys ...............................................169
Marcos Oliveira da Cruz, Márcio Eduardo Kreutz,
and Sílvio Roberto Fernandes de Araújo
Real-Time Systems II
Analyzing the Use of Anytime Algorithms on an Unmanned Aerial Vehicle .............................................171
L. B. Becker, G. V. Raffo, and F. S. Gonçalves
A WirelessHART and IEC 61850 Gateway Proposal ...............................................................................173
Fernando Covatti, Jean Michel Winter, Ivan Muller, Carlos Eduardo Pereira,
and João C. Netto
Critical Systems II
Extended Abstract: File Transfer in Vehicular Ad-Hoc Networks .............................................................175
Kifayat Ullah, Luz Marina Santos, João Michelin, and Edson dos Santos Moreira
Simulation of an Autonomous Vehicle with a Vision-Based Navigation System
in Unstructured Terrains Using OctoMap .................................................................................................177
Rafael Luiz Klaser, Fernando Santos Osório, and Denis Fernando Wolf
Author Index ............................................................................................................................................179
viii