Abstract
The ENCOURAGE project tionalizing energy usage in building by implementing a smart energy grid based on intelligent scheduling of energy consuming appliances, renewable energy production, and inter-building energy trading. This paper presents the reference architecture proposed in the context of the ENCOURAGE project, and relates it with the goals of its research efforts.

Abstract
The aims of the TheRoute (Tourism and Heritage Routes including Ambient Intelligence with Visitants’ Profile Adaptation and Context Awareness) project is to conduct studies, research and experimentation around the challenge of automatic generation of routes for visitors. The suggested routes fit the profile of visitors and groups of visitors, including aspects like emotion, mood and personality, and be aware of the context (e.g. weather, security). TheRoute is developed according the Ambient Intelligence perspective. At this point of the project execution we have already developed the full system architecture as a System of Systems approach according to an Ambient Intelligence perspective, to allow the best possible performance in the system utilization for the final user. Intelligent route generation uses user preferences for the categories of points of interest, as well as their personality traits.

Abstract
This paper introduces RVAF, a runtime verification (RV) extension of the Arrowhead Framework (AF) with container-based service-deployment and runtime-enforcement of a desired quality of service (QoS). AF is a service-oriented middleware architecture for IoT-applications, consisting of a set of core and auxiliary services and systems, respectively. The QoS manager (QoSM) is one AF's most important auxiliary systems, which can be used to guarantee the application's QoS for a wide set of parameters. In RVAF the QoS offered to a particular IoT-application is specified in signal temporal logic, and is continuously monitored by the RVAF-QoSM. In case of an imminent violation, RVAF automatically initiates a container-based reconfiguration, which is ensured to maintain the desired QoS. RVAF is beneficial to large IoT-applications, where the use of continuous-integration and continuous-deployment tools, is not only a recommended practice but also a necessity. Moreover, the use of RVAF is advantageous both during the development of an IoT application, and after its deployment. We describe the architecture of RVAF, provide its formal underpinning, and demonstrate the usefulness of RVAF supported by an industrial IoT application. The main contribution of this work is to show what it takes to incorporate RV concepts into modern SOA frameworks supporting the development of IoT applications.