Abstract
Telecommunications and computer vision have evolved independently. With the emergence of high-frequency wireless links operating mostly in line-of-sight, visual data can help predict the channel dynamics by detecting obstacles and help overcoming them through beamforming or handover techniques. This paper proposes a novel architecture for delivering real-time radio and video sensing information to O-RAN xApps through a multi-agent approach, and introduces a new video function capable of generating blockage information for xApps, enabling Integrated Sensing and Communications. Experimental results show that the delay of sensing information remains under 1 ms and that an xApp can successfully use radio and video sensing information to control the 5G/6G RAN in real-time.

Abstract

Abstract

Abstract

Abstract
Advancements in the energy efficiency and computational power of embedded devices allow developers to equip resource-constrained systems with a greater number of features and more complex behavior. As complexity of a system grows, so does the difficulty in demonstrating its overall correctness. Formal methods have been successfully applied in a variety of verification and validation scenarios, but their wide adoption in the industry and academia is still lackluster. Among the explanations listed in the literature for the low adoption of these techniques are the perceived difficulty of getting into formal practices and how formal tools are not usually aimed at practical use cases. Striving to address these issues, we present MARS, an open-source domain-specific language for the safe instrumentation of runtime verification monitors into real-time resource-constrained distributed systems. Our main objective with MARS is to ease the integration of runtime verification monitors in distributed applications while also providing developers with evidence of their correct instrumentation in the context of systems where dependability and temporal requirements need to be respected even under extreme resource constraints. We present the language syntax, the set of tools embedded into its compiler, its functionalities, and a use case to exemplify its use in a practical distributed application.

Abstract
The footwear industry is energy-intensive and, consequently, a source of large amounts of greenhouse gas emissions every year. Issues related to climate change and growing conflicts on a global scale that impact the prices of raw materials and energy prices have led companies in the footwear industry to take actions to mitigate these impacts. Among these actions is the growing focus on producing its energy from energy systems based on renewable sources and battery energy storage units. This paper addresses the energy-efficient manufacturing scheduling in footwear industries with onsite energy production from a photovoltaic system with batteries. The problem is formulated as a mixed integer linear programming problem. Different objectives are presented, depending on the priorities of the entity that owns the footwear factory, namely, minimizing operation costs, minimizing CO2 emissions, or both. The case study is footwear factory located in Portugal that uses a manufacturing process based on injection molding. The results show the effectiveness of the proposed approach, with active demand side management playing a fundamental role in shifting periods of higher energy consumption to periods of lower prices or lower CO2 emissions. Also, Pareto fronts are depicted to make the trade-off between CO2 emissions and operation costs. As expected, the reduction of CO2 emissions promotes an increase on operation costs. Furthermore, a sensitivity analysis is carried out on the increase in photovoltaic capacity and battery capacity. The results show that increasing photovoltaic and battery capacity promotes reductions in costs up to 30% and in the emissions up to 37%.