Abstract
Quality of Service (QoS) is an important enabler for communication in industrial environments. The Arrowhead Framework was created to support local cloud functionalities for automation applications by means of a Service Oriented Architecture. To this aim, the framework offers a number of services that ease application development, among them the QoSSetup and the Monitor services, the first used to verify and configure QoS in the local cloud, and the second for online monitoring of QoS. This paper describes how the QoSSetup and Monitor services are provided in a Arrowhead-compliant System of Systems, detailing both the principles and algorithms employed, and how the services are implemented. Experimental results are provided, from a demonstrator built over a real-time Ethernet network. © 2017 IEEE.

Abstract
The application of the Internet of Things to manufacturing is the driving force of the new industrial revolution (Industrie 4.0). In fact, most activities in the manufacturing industry can benefit from the data collected in the context of the industrial process. The Industrial Internet of Things (IIoT), whose pillars are the usage of IP communication between the devices and making the devices accessible through the Internet, can maximize the benefits of the information by the integration between multiple data sources, and by the ubiquitous fruition of the information itself. It is common belief that IIoT will transform companies and countries, opening up a new era of economic growth and competitiveness, since it has great potential for improving quality control, sustainable and green practices, supply chain traceability, and maintenance of the user in the loop. Anyway, a number of challenges arise in this context, related for example to adaptability and scalability, real-time communication and QoS, and system deployment and management. A communication middleware can support the IIoT vision by coping with these issues. This talk introduces the IIoT, discusses its benefits and challenges, and presents communication middleware developed in different sub-areas of IIoT (service-oriented industrial informatics [1], smart grids [2], maintenance of industrial machines [3]) that enable the IIoT vision.

Abstract

Abstract
Several methods have been proposed for performing schedulability analysis for both uni-processor and multi-processor real-time systems. Very few of these works use the power of formal logic to write unambiguous specifications and to allow the usage of theorem provers for building the proofs of interest with greater correctness guarantees. In this paper we address this challenge by: 1) defining a formal language that allows to specify periodic resource models; 2) describe a transformational approach to reasoning about timing properties of resource models by transforming the latter specifications into a satisfiability modulo theories problem.

Abstract
More and more cyber-physical systems and the internet of things push for a multitude of devices and systems, which need to work together to provide the services as required by the users. Nevertheless, the speed of development and the heterogeneity of devices introduces considerable challenges in the development of such systems. This paper describes a solution being implemented in the setting of a serious game scenario, connected to real homes energy consumption. The solution provides a publish-subscribe middleware which is able to seamlessly connect all the components of the system.

Abstract