Towards the predictive analysis of cloud systems with e-Motions

Current methods for the predictive analysis of software systems are not directly applicable on self-adaptive systems as cloud systems, mainly due to their complexity and dynamism. To tackle the difficulties to handle the dynamic changes in the systems and their environments, we propose using graph transformation to define an adaptive com- ponent model and analysis tools for it, what allows us to carry on such analyses on dynamic architectures. Specifically, we use the e-Motions system to define the Palladio component model, and simulation-based analysis tools for it. Adaptation mechanisms are then specified as generic adaptation rules. This setting will allow us to study different mechanisms for the management of dynamic systems and their adaptation mechanisms, and different QoS metrics to be considered in a dynamic environment.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Design and Performance of a XBee 900 MHz Acquisition System Aimed at Industrial Applications

Wireless technologies are being introduced in industrial applications since they provide certain benefits, such as the flexibility to modify the layout of the nodes, improving connectivity with monitoring and decision nodes, adapting to mobile devices and reducing or eliminating cabling. However, companies are still reluctant to use them in time-critical applications, and consequently, more research is needed in order to be massively deployed in industrial environments. This paper goes in this direction by presenting a novel wireless acquisition system aimed at industrial applications. This system embeds a low-cost technology, such as XBee, not frequently considered for deterministic applications, for deploying industrial applications that must fulfill certain QoS requirements. The use of XBee 900 MHz modules allows for the use of the 2.4 GHz band for other purposes, such as connecting to cloud services, without causing interferences with critical applications. The system implements a time-slotted media access (TDMA) approach with a timely transmission scheduling of the messages on top of the XBee 900 MHz technology. The paper discusses the details of the acquisition system, including the topology, the nodes involved, the so-called coordinator node and smart measuring nodes, and the design of the frames. Smart measuring nodes are implemented by an original PCB which were specifically designed and manufactured. This board eases the connection of the sensors to the acquisition system. Experimental tests were carried out to validate the presented wireless acquisition system. Its applicability is shown in an industrial scenario for monitoring the positioning of an aeronautical reconfigurable tooling prototype. Both wired and wireless technologies were used to compare the variables monitored. The results proved that the followed approach may be an alternative for monitoring big machinery in indoor industrial environments, becoming especially suitable for acquiring values from sensors located in mobile parts or difficult-to-reach places.This research was funded by the Basque Government, through the project EKOHEGAZ (ELKARTEK KK-2021/00092), Diputación Foral de Álava (DFA) through the project CONAVANTER, and to the UPV/EHU through the project GIU20/063

Dynamic Assembly for System Adaptability, Dependability, and Assurance

(DASASA) ProjectAuthor-contributed print ite

A Real-Time Service-Oriented Architecture for Industrial Automation

Industrial automation platforms are experiencing a paradigm shift. New technologies are making their way in the area, including embedded real-time systems, standard local area networks like Ethernet, Wi-Fi and ZigBee, IP-based communication protocols, standard service oriented architectures (SOAs) and Web services. An automation system will be composed of flexible autonomous components with plug & play functionality, self configuration and diagnostics, and autonomic local control that communicate through standard networking technologies. However, the introduction of these new technologies raises important problems that need to be properly solved, one of these being the need to support real-time and quality-of-service (QoS) for real-time applications. This paper describes a SOA enhanced with real-time capabilities for industrial automation. The proposed architecture allows for negotiation of the QoS requested by clients from Web services, and provides temporal encapsulation of individual activities. This way, it is possible to perform an a priori analysis of the temporal behavior of each service, and to avoid unwanted interference among them. After describing the architecture, experimental results gathered on a real implementation of the framework (which leverages a soft real-time scheduler for the Linux kernel) are presented, showing the effectiveness of the proposed solution. The experiments were performed on simple case studies designed in the context of industrial automation applications

Performance evaluation of AAL2 over IP in the UMTS access network Iub interface

Bibliography: leaves 84-86.In this study, we proposed to retain AAL2 and lay it over IP (AAL2IIP). The IP-based lub interface is therefore designed to tunnel AAL2 channels from the Node B to the RNC. Currently IP routes packets based on best-effort which does not guarantee QoS, To provide QoS, MPLS integrated with DiffServ is proposed to support different QoS levels to different classes of service and fast forward the IP packets within the lub interface. To evaluate the performance of AAL2!IP in the Iub interface, a test-bed was created

SAVCBS 2004 Specification and Verification of Component-Based Systems: Workshop Proceedings

This is the proceedings of the 2004 SAVCBS workshop. The workshop is concerned with how formal (i.e., mathematical) techniques can be or should be used to establish a suitable foundation for the specification and verification of component-based systems. Component-based systems are a growing concern for the software engineering community. Specification and reasoning techniques are urgently needed to permit composition of systems from components. Component-based specification and verification is also vital for scaling advanced verification techniques such as extended static analysis and model checking to the size of real systems. The workshop considers formalization of both functional and non-functional behavior, such as performance or reliability

LwHBench: A low-level hardware component benchmark and dataset for Single Board Computers

In today's computing environment, where Artificial Intelligence (AI) and data processing are moving toward the Internet of Things (IoT) and the Edge computing paradigm, benchmarking resource-constrained devices is a critical task to evaluate their suitability and performance. The literature has extensively explored the performance of IoT devices when running high-level benchmarks specialized in particular application scenarios, such as AI or medical applications. However, lower-level benchmarking applications and datasets that analyze the hardware components of each device are needed. This low-level device understanding enables new AI solutions for network, system and service management based on device performance, such as individual device identification, so it is an area worth exploring more in detail. In this paper, we present LwHBench, a low-level hardware benchmarking application for Single-Board Computers that measures the performance of CPU, GPU, Memory and Storage taking into account the component constraints in these types of devices. LwHBench has been implemented for Raspberry Pi devices and run for 100 days on a set of 45 devices to generate an extensive dataset that allows the usage of AI techniques in different application scenarios. Finally, to demonstrate the inter-scenario capability of the created dataset, a series of AI-enabled use cases about device identification and context impact on performance are presented as examples and exploration of the published data