Eduardo Antonio Guimarães Tavares

Learn More
Hundreds of natural disasters occur in many parts of the world every year, causing billions of dollars in damages. This fact contrasts with the high availability requirement of cloud computing systems, and, to protect such systems from unforeseen catastrophe, a recovery plan requires the utilization of different data centers located far enough apart.(More)
This paper presents a methodology for mapping the Live Sequence Chart (LSC) language to an equivalent Coloured Petri Net (CPN) model as an approach for analysis and verification of embedded systems' properties. LSC is a language for system specification, allowing one to specify what should happen for all execution of the system as well as the modeling of(More)
PAPERS A Modeling Approach for Cloud Infrastructure Planning Considering Dependability and Cost Requirements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . E. Sousa, F. Lins, E. Tavares, P. Cunha, and P. Maciel 549 Analysis of a Heterogeneous Social Network of Humans and Cultural(More)
In general, complex embedded systems rely on specialized operating system kernels. However, the operating system usage may introduce significant time overhead, which may affect the tasks' deadline in embedded hard real-time systems. In addition, hardware requirements (e.g. memory) are usually increased.As an alternative, this paper presents a software(More)
Hard real-time embedded systems have stringent timing constraints that must be met in order to ensure the correct functioning of the system. In many cases, these systems are composed of several CPU-bound tasks, which may need to rely on multiple processors, since just a single processor may not allow meeting all timing constraints. In order to deal with(More)
Virtualized networks are a promising approach to deal with the current ossification problem of Internet. A major challenge is related to virtual network (VN) mapping, as it is a NP-hard problem. Thus, several heuristics have been proposed aiming to achieve efficient allocation, but they do not consider dependability issues, which directly impact quality of(More)