The increasing complexity of cyber-physical systems (CPSs) makes their design, development and operation extremely challenging. Due to the nature of CPS that involves many heterogeneous components, which are often designed and developed by organizations belonging to different engineering domains, it is difficult to manage, trace and verify their properties, requirements and constraints throughout their lifecycle by using classical techniques. In this context, the paper presents an integrated solution to formally define system requirements and automate their verification through simulation. The solution is based on the FOrmal Requirements Modeling Language and the Modelica language. The solution is exemplified through two case studies concerning a Trailing-Edge High-Lift system and a Heating, Ventilation and Air Conditioning system.

Criminals and related illegal activities represent problems that are neither trivial to predict nor easy to handle once they are identified. The Police Forces (PFs) typically base their strategies solely on their intra-communication, by neglecting the involvement of third parties, such as the citizens, in the investigation chain which results in a lack of timeliness among the occurrence of the criminal event, its identification, and intervention. In this regard, a system based on IoT social devices, for supporting the detection and tracking of criminals in the real world, is proposed. It aims to enable the communication and collaboration between citizens and PFs in the criminal investigation process by combining app-based technologies and embracing the advantages of an Edge-based architecture in terms of responsiveness, energy saving, local data computation, and distribution, along with information sharing. The proposed model as well as the algorithms, defined on the top of it, have been evaluated through a simulator for showing the logic of the system functioning, whereas the functionality of the app was assessed through a user study conducted upon a group of 30 users. Finally, the additional advantage in terms of intervention time was compared to statistical results.

Smart Homes (SHs) represent the human side of a Smart Grid (SG). Data mining and analysis of energy data of electrical devices in SHs, e.g., for the dynamic load management, is of fundamental importance for the decision-making process of energy management both from the consumer perspective by saving money and also in terms of energy redistribution and reduction of the carbon dioxide emission, by knowing how the energy demand of a building is composed in the SG. Advanced monitoring and control mechanisms are necessary to deal with the identification of appliances. In this paper, a model for their automatic identification is proposed. It is based on a set of 19 features that are extracted by analyzing energy consumption, time usage and location from a set of device profiles. Then, machine learning approaches are employed by experimenting different classifiers based on such model for the identification of appliances and, finally, an analysis on the feature importance is provided.

Current challenges, such as climate change or military conflicts, show the great importance of urban supply infrastructures. In this context, an open question is how different scenarios and crises can be studied in silico to assess the interaction between the needs of social systems and technical infrastructures. Agent-based modeling is a suitable method for this purpose. This review investigates (i) how agent-based models of residential water demand should be validated, (ii) how such models are commonly built and (iii) validated, and (iv) how these validation practices compare to the recommendations drawn from question (i). Therefore, a systematic literature review using the PRISMA framework is conducted. Out of 207 screened papers, 35 models are identified with an emphasis on highly realistic models (i.e., highly detailed and representing specific real-world systems) for planning, management, and policy of urban water resources. While some models are thoroughly validated, quantified validation distinct from calibration data should be emphasized and used to communicate the confidence in results and recommendations drawn from the models. Pattern-oriented validation, validation on multiple levels and on higher moments of aggregated statistics should be considered more often. These findings expand prior literature by providing a more extensive sample of reviewed articles and recommending specific approaches for the validation of models.