Paulo Romero Martins Maciel

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)
With the heterogeneity and complexity growth of embedded real-time systems (ERTS) is required an interdisciplinary approaches in the development processes embracing software engineering, mechanics, electric and electronics areas. Accordingly, a modeling language, called Unified Modeling Language (UML), has been specified by OMG (Object Management Group).(More)
The performance evaluation of Electronic Funds Transfer (EFT) Systems has an enormous importance for Electronic Transactions providers, since the computing resources must be efficiently used in order to attain requirements defined in Service Level Agreements (SLA). Among such requirements, we may stress agreements on availability, reliability, scalability(More)
In this paper we use the Activity diagram of the System Modeling Language (SysML) in combination with the new UML profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE) in order to validate functional, timing and low power requirements in early phases of the embedded system development life-cycle. However, SysML lacks a formal semantics(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)
Demands on software reliability and availability have increased due to the nature of present day applications. Cloud computing systems fundamentally provide access to large pools of data and computational resources through a variety of interfaces similarly to existing grid and HPC resource management and programming systems. This work investigates the(More)
Mobile cloud computing is a new paradigm that uses cloud computing resources to overcome the limitations of mobile computing. Due to its complexity, dependability and performance studies of mobile clouds may require composite modeling techniques, using distinct models for each subsystem and combining state-based and non-state-based formalisms. This paper(More)