StreetlightSim: a simulation environment to evaluate networked and adaptive street lighting

Sustaining the operation of street lights incurs substantial financial and environmental cost. Consequently, adaptive lighting systems have been proposed incorporating ad-hoc networking, sensing, and data processing, in order to better manage the street lights and their energy demands. Evaluating the efficiency and effectiveness of these complex systems requires the modelling of vehicles, road networks, algorithms, and communication systems, yet tools are not available to permit this. This paper proposes StreetlightSim, a novel simulation environment combining OMNeT++ and SUMO tools to model both traffic patterns and adaptive networked street lights. StreetlightSim’s models are illustrated through the simulation of a simple example, and a more complex scenario is used to show the potential of the tool and the obtainable results. StreetlightSim has been made open-source, and hence is available to the community

Modelling and Verification of a Cluster-tree Formation Protocol Implementation for the IEEE 802.15.4 TSCH MAC Operation Mode

Correct and efficient initialization of wireless sensor networks can be challenging in the face of many uncertainties present in ad hoc wireless networks. In this paper we examine an implementation for the formation of a cluster-tree topology in a network which operates on top of the TSCH MAC operation mode of the IEEE 802.15.4 standard, and investigate it using formal methods. We show how both the mCRL2 language and toolset help us in identifying scenarios where the implementation does not form a proper topology. More importantly, our analysis leads to the conclusion that the cluster-tree formation algorithm has a super linear time complexity. So, it does not scale to large networks.Comment: In Proceedings MARS 2017, arXiv:1703.0581

A feedback simulation procedure for real-time control of urban drainage systems

This paper presents a feedback simulation procedure for the real-time control (RTC) of urban drainage systems (UDS) with the aim of providing accurate state evolutions to the RTC optimizer as well as illustrating the optimization performance in a virtual reality. Model predictive control (MPC) has been implemented to generate optimal solutions for the multiple objectives of UDS using a simplified conceptual model. A high-fidelity simulator InfoWorks ICM is used to carry on the simulation based on a high level detailed model of a UDS. Communication between optimizer and simulator is realized in a feedback manner, from which both the state dynamics and the optimal solutions have been implemented through realistic demonstrations. In order to validate the proposed procedure, a real pilot based on Badalona UDS has been applied as the case study.Peer ReviewedPostprint (author's final draft

Assessing and augmenting SCADA cyber security: a survey of techniques

SCADA systems monitor and control critical infrastructures of national importance such as power generation and distribution, water supply, transportation networks, and manufacturing facilities. The pervasiveness, miniaturisations and declining costs of internet connectivity have transformed these systems from strictly isolated to highly interconnected networks. The connectivity provides immense benefits such as reliability, scalability and remote connectivity, but at the same time exposes an otherwise isolated and secure system, to global cyber security threats. This inevitable transformation to highly connected systems thus necessitates effective security safeguards to be in place as any compromise or downtime of SCADA systems can have severe economic, safety and security ramifications. One way to ensure vital asset protection is to adopt a viewpoint similar to an attacker to determine weaknesses and loopholes in defences. Such mind sets help to identify and fix potential breaches before their exploitation. This paper surveys tools and techniques to uncover SCADA system vulnerabilities. A comprehensive review of the selected approaches is provided along with their applicability

Smart Urban Water Networks

This book presents the paper form of the Special Issue (SI) on Smart Urban Water Networks. The number and topics of the papers in the SI confirm the growing interest of operators and researchers for the new paradigm of smart networks, as part of the more general smart city. The SI showed that digital information and communication technology (ICT), with the implementation of smart meters and other digital devices, can significantly improve the modelling and the management of urban water networks, contributing to a radical transformation of the traditional paradigm of water utilities. The paper collection in this SI includes different crucial topics such as the reliability, resilience, and performance of water networks, innovative demand management, and the novel challenge of real-time control and operation, along with their implications for cyber-security. The SI collected fourteen papers that provide a wide perspective of solutions, trends, and challenges in the contest of smart urban water networks. Some solutions have already been implemented in pilot sites (i.e., for water network partitioning, cyber-security, and water demand disaggregation and forecasting), while further investigations are required for other methods, e.g., the data-driven approaches for real time control. In all cases, a new deal between academia, industry, and governments must be embraced to start the new era of smart urban water systems

Collaborative signal and information processing for target detection with heterogeneous sensor networks

In this paper, an approach for target detection and acquisition with heterogeneous sensor networks through strategic resource allocation and coordination is presented. Based on sensor management and collaborative signal and information processing, low-capacity low-cost sensors are strategically deployed to guide and cue scarce high performance sensors in the network to improve the data quality, with which the mission is eventually completed more efficiently with lower cost. We focus on the problem of designing such a network system in which issues of resource selection and allocation, system behaviour and capacity, target behaviour and patterns, the environment, and multiple constraints such as the cost must be addressed simultaneously. Simulation results offer significant insight into sensor selection and network operation, and demonstrate the great benefits introduced by guided search in an application of hunting down and capturing hostile vehicles on the battlefield