Elena Gómez-Martínez

Learn More
This article recalls, from the literature, a performance study of a web service. That study, based on the layered queuing network (LQN) paradigm, is now addressed following the PUMA approach to obtain a new performance model, in this case in terms of Petri nets, for the target web service. Such Petri net model is used to extend the previous LQN results with(More)
Cloud computing will play a large part in the ICT domain over the next 10 years or more. Many long-term aspects are still in an experimental stage, where the long-term impact on provisioning and usage is still unknown. While first attempts at this field focused on service provisioning for enterprises, cloud is reaching individuals nowadays. Our proposal is(More)
Software performance engineering by C. U. Smith. (1990) (SPE) proposes methods to evaluate performance of software systems early in the development process. A SPE accepted approach consists in deriving performance models from UML specifications, usually annotated according to the OMG profile for schedulability, performance and time specification. We(More)
People in industrial societies carry more and more portable electronic devices (e.g., smartphone or console) with some kind of wireless connectivity support. Interaction with auto-discovered target devices present in the environment (e.g., the air conditioning of a hotel) is not so easy since devices may provide inaccessible user interfaces (e.g., in a(More)
Safety becomes a primordial assessment in safety-related systems where human lives can be somehow put in risk, needing to comply with safety requirements defined by industry standards such as IEC 61508, ISO 26262 or DO-178C. Safety contracts are useful to specify these requirements (as assumptions and guarantees), thus assuring an expected level of(More)
Mobile agents have arisen as an interesting paradigm to build distributed applications, due to the unparalleled advantages they offer. However, along with the advantages they also present new challenges. One of the most relevant is that it is not easy to ensure efficient communication among agents that move continually from one computer to another.In this(More)
In this paper we report on some insights derived from our experience in the development of an embedded system. A real-world embedded system implementing a smart home is used as an example. The target audience of this system includes people with special needs, such as impaired or elderly people. A description of the user testing phase is also provided. A(More)