Abstract
This research proposes a novel methodology for adaptive learning in electricity markets negotiations, based on the principles of the determinism theory. The determinism theory states that all events are predetermined due to the cause-effect rule. At the same time, it is unmanageable to consider all causes to a certain effect, making it impossible to predict future events. However, in a controlled simulation environment, it is possible to access and analyze all involved variables; thus, making the application of this theory promising in such environments. This research applies the principles of the determinism theory to a new learning methodology, which optimizes players' actions, considering the predicted behavior of all involved players, with the objective of maximizing market gains. A case-based reasoning approach is used, providing adaptive context-aware decision support. Results show that the proposed approach is able to achieve better market results than all reference market strategies.

Abstract
This paper discusses the integration of emergent ICTs, such as the Internet of Things (IoT), the Arrowhead Framework, and the best practices from the area of condition monitoring and maintenance. These technologies are applied, for instance, for roller element bearing fault diagnostics and analysis by simulating faults. The authors first undertook the leading industry standards for condition-based maintenance (CBM), i.e., open system architecture-condition-based maintenance (OSA-CBM) and Machinery Information Management Open System Alliance (MIMOSA), which has been working towards standardizing the integration and interchangeability between systems. In addition, this paper highlights the predictive health monitoring methods that are needed for an effective CBM approach. The monitoring of industrial machines is discussed as well as the necessary details are provided regarding a demonstrator built on a metal sheet bending machine of the Greenbender family. Lastly, the authors discuss the benefits of the integration of the developed prototypes into a service-oriented platform, namely the Arrowhead Framework, which can be instrumental for the remotization of maintenance activities, such as the analysis of various equipment that are geographically distributed, to push forward the grand vision of the servitization of predictive health monitoring methods for large-scale interoperability.

Abstract
Collecting complex information on the status of machinery is the enabler for advanced maintenance activities, and one of the main players in this process is the sensor. This paper describes modern maintenance strategies that lead to Condition-Based Maintenance. This paper discusses the sensors that can be used to support maintenance, as of different categories, spanning from common off-the-shelf sensors, to specialized sensors monitoring very specific characteristics, and to virtual sensors. This paper also presents four different real-world examples of project pilots that make use of the described sensors and draws a comparison between them. In particular, each scenario has unique characteristics requiring different families of sensors, but on the other hand provides similar characteristics on other aspects.

Abstract
The high-performance requirements needed to implement the most advanced functionalities of current and future Cyber-Physical Systems (CPSs) are challenging the development processes of CPSs. On one side, CPSs rely on model-driven engineering (MDE) to satisfy the non-functional constraints and to ensure a smooth and safe integration of new features. On the other side, the use of complex parallel and heterogeneous embedded processor architectures becomes mandatory to cope with the performance requirements. In this regard, parallel programming models, such as OpenMP or CUDA, are a fundamental brick to fully exploit the performance capabilities of these architectures. However, parallel programming models are not compatible with current MDE approaches, creating a gap between the MDE used to develop CPSs and the parallel programming models supported by novel and future embedded platforms. The AMPERE project will bridge this gap by implementing a novel software architecture for the development of advanced CPSs. To do so, the proposed software architecture will be capable of capturing the definition of the components and communications described in the MDE framework, together with the non-functional properties, and transform it into key parallel constructs present in current parallel models, which may require extensions. These features will allow for making an efficient use of underlying parallel and heterogeneous architectures, while ensuring compliance with non-functional requirements, including those on real-time performance of the system.

Abstract
The growing trend to support parallel computation to enable the performance gains of the recent hardware architectures is increasingly present in more conservative domains, such as safety-critical systems. Applications such as autonomous driving require levels of performance only achievable by fully leveraging the potential parallelism in these architectures. To address this requirement, the Ada language, designed for safety and robustness, is considering to support parallel features in the next revision of the standard (Ada 202X). Recent works have motivated the use of OpenMP, a de facto standard in high-performance computing, to enable parallelism in Ada, showing the compatibility of the two models, and proposing static analysis to enhance reliability. This paper summarizes these previous efforts towards the integration of OpenMP into Ada to exploit its benefits in terms of portability, programmability and performance, while providing the safety benefits of Ada in terms of correctness. The paper extends those works proposing and evaluating an application transformation that enables the OpenMP and the Ada runtimes to operate (under certain restrictions) as they were integrated. The objective is to allow Ada programmers to (naturally) experiment and evaluate the benefits of parallelizing concurrent Ada tasks with OpenMP while ensuring the compliance with both specifications.

Abstract
The new generation of smart systems require processing a vast amount of information from distributed data sources, while fulfilling non-functional properties related to real-time, energy-efficiency, communication quality and security. The ELASTIC software architecture is being developed to tackle this challenge, considering the complete continuum from the edge to the cloud. This paper provides a brief analysis of the smart application considered in the project, and the requirements emanating from their non-functional properties. The paper then identifies some of the technical constrains imposed to the ELASTIC software architecture to allow guaranteeing the non-functional requirements of the systems.