Search Results - "2015 Brazilian Symposium on Computing Systems Engineering (SBESC)"

Model Checking Embedded C Software Using k-Induction and Invariants by Rocha, Herbert, Ismail, Hussama, Cordeiro, Lucas, Barreto, Raimundo

“…We present a proof by induction algorithm, which combines k-induction with invariants to model check embedded C software with bounded and unbounded loops. The…”
Get full text

Decreasing Spill Code to Decrease Energy Consumption by Luna, Marcelo F., Silva, Felipe L., Attrot, Wesley

“…Due to the power constraints of the current semiconductor technology, energy consumption has become an important factor for computer systems. Reducing energy…”
Get full text

Analysis of Path Planning Algorithms Based on Travelling Salesman Problem Embedded in UAVs by Bandeira, Thiago Werlley, Coutinho, Walton P., Brito, Alisson V., Subramanian, Anand

“…Monitoring and recognition of large areas bring great challenge and Unmanned Aerial Vehicles (UAV) promise tobe a great help. The challenge is to optimize the…”
Get full text

An Embedded System for Aerial Image Processing from Unmanned Aerial Vehicles by Silva, Jonas Fernandes da, Brito, Alisson V., Gomes De Lima, Jose Antonio, Nogueira De Moura, Helder

“…This paper proposes solution capable to process aerial images from UAVs to identify failures in plantations and makes a comparison of the system running on…”
Get full text

Implementation of IoT for Monitoring Ambient Air in Ubiquitous AAL Environments by Silva, Madalena P., Goncalves, Alexandre L., Dantas, M.A.R., Vanelli, Brunno, Manerichi, Guilherme, Dos Santos, Stephan A.R.D., Ferrandim, Mauri, Pinto, A.R.

“…This paper investigates WSN (Wireless Sensor Networks) applications in health, and proposes implementation of IoT (Internet of Things) with ZigBee for Ambient…”
Get full text

Fault Localization in Multi-threaded C Programs Using Bounded Model Checking by Da Alves, Erickson H.S., Cordeiro, Lucas C., De Lima Filho, Eddie B.

“…Software debugging is a very time-consuming process, which is even worse for multi-threaded programs, due to the non-deterministic behavior of…”
Get full text

An Empirical Study on Failure Causes in a Commercial Off-the-Shelf Operating System by Dos Santos, Caio Augusto R., Matias, Rivalino

“…Empirical studies in software reliability research have predominantly focused on end-user applications. In this paper we present an empirical study on…”
Get full text

Towards a Wearable Device for Monitoring Ecological Environments by Delabrida, Saul Emanuel, D'Angelo, Thiago, Rabelo Oliveira, Ricardo A., Ferreira Loureiro, Antonio Alfredo

“…Wearable devices have emerging in last years with diverse applications for provide user convenience. Health care, sports, safety are some examples of areas in…”
Get full text

Impact of Alien Networks on Consensus in a Team of Cooperative Mobile Robots by Ramos, Daniel C., Moreno, Ubirajara F., Oliveira, Luis, Almeida, Luis

“…This work addresses the integration of a cooperative robot control strategy with a wireless network simulated with OMNeT++. We use a consensus control strategy…”
Get full text

SEMA: An Approach Based on Internal Measurement to Evaluate Energy Efficiency of Android Applications by Fischer, Leonardo Matthis, Brisolara, Lisane Brisolara de, Balzano De Mattos, Julio Carlos

“…This work proposes an approach for energy consumption estimation of Android applications based on internal measurement. The proposed approach uses samples of…”
Get full text

Testing Real-Time Embedded Systems with Hardware-in-the-Loop Simulation Using High Level Architecture by Vieira S. Junior, Jose Claudio, Brito, Alisson V., Nascimento, Tiago P.

“…This work presents a technique for testing real-time embedded systems using Hardware-in-the-Loop (HIL) simulation, exploiting High-Level Architecture (HLA)…”
Get full text

Applying Multi-core Model Checking to Hardware-Software Partitioning in Embedded Systems by Trindade, Alessandro, Ismail, Hussama, Cordeiro, Lucas

“…We present an alternative approach to solve the hardware and software partitioning problem, which uses Bounded Model Checking (BMC) based on Satisfiability…”
Get full text

SDN-Based Approach to Select Allocation Strategies in Heterogeneous Wireless Sensor Networks by Junior, Francisco, Matos, Fernando

“…Managing a wireless sensor network is not a trivial task. Due to its limitations, such as sensors equipped with low power batteries, it is essential to extend…”
Get full text

A Grid-Tie Micro-inverter Software Development Based on a Low Cost Multiprocessor Platform by Gobetti, Marcelo Wagner, Bastos Libano, Fausto, Gotz, Marcelo

“…The software development of a three-phase micro-inverter on a low cost Multiprocessor platform, available on the BeagleBone Black, is presented. Apart from…”
Get full text

Using Bioinspired Meta-heuristics to Solve Reward-Based Energy-Aware Mandatory/Optional Real-Time Tasks Scheduling by Micheletto, Matias, Santos, Rodrigo, Orozco, Javier

“…In this paper we present meta-heuristics to solve the energy aware reward based scheduling of real-time tasks with mandatory and optional parts in homogeneous…”
Get full text

Impact of Temporal and Spatial Application Modeling on Event-Triggered Wireless Sensor Network Evaluation by Brisolara, Lisane, Ferreira, Paulo R., Soares Indrusiak, Leandro

“…This paper presents an approach for event-triggered wireless sensor networks (WSN) application modeling, aiming to evaluate the performance of WSN…”
Get full text

Considerations on the Least Upper Bound for Mixed-Criticality Real-Time Systems by Santos, J. Augusto, Lima, George, Bletsas, Konstantinos

“…Real-time mixed-criticality systems (MCS) are designed so that tasks with different criticality levels share the same computing platform. Scheduling mechanisms…”
Get full text

An Approach Based on Ford-Fulkerson Algorithm to Optimize Network Bandwidth Usage by Pinto Neto, Euclides, Callou, Gustavo

“…Ford-Fulkerson algorithm is widely used to solve maximum Graph-Flow problems and it can be applied to a range of different areas, including networking. This…”
Get full text

Preparing Cyber-physical Systems Functional Models for Implementation by Silvano Goncalves, Fernando, Buss Becker, Leandro

“…The design process of Cyber-Physical Systems (CPS) normally starts with the development of a functional model, used for simulation purposes. This model is…”
Get full text

Hardened Paxos through Consistency Validation by Barbieri, Rodrigo R., Vieira, Gustavo M. D.

“…Due to the emergent adoption of distributed systems when building applications, demand for reliability and availability has increased. These properties can be…”
Get full text