ing WS1S Systems to Verify Parameterized Networks . . . . . . . . . . . . 188 Kai Baukus, Saddek Bensalem, Yassine Lakhnech and Karsten Stahl FMona: A Tool for Expressing Validation Techniques over Infinite State Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 204 J.-P. Bodeveix and M. Filali Transitive Closures of Regular Relations for Verifying Infinite-State Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 220 Bengt Jonsson and Marcus Nilsson Diagnostic and Test Generation Using Static Analysis to Improve Automatic Test Generation . . . . . . . . . . . . . 235 Marius Bozga, Jean-Claude Fernandez and Lucian Ghirvu Efficient Diagnostic Generation for Boolean Equation Systems . . . . . . . . . . . . 251 Radu Mateescu Efficient Model-Checking Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 266 Jean-Pierre Krimm and Laurent Mounier Checking for CFFD-Preorder with Tester Processes . . . . . . . . . . . . . . . . . . . . . . . 283 Juhana Helovuo and Antti Valmari Fair Bisimulation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 299 Thomas A. Henzinger and Sriram K. Rajamani Integrating Low Level Symmetries into Reachability Analysis . . . . . . . . . . . . . 315 Karsten Schmidt Model-Checking Tools Model Checking Support for the ASM High-Level Language . . . . . . . . . . . . . . 331 Giuseppe Del Castillo and Kirsten Winter Table of

Tools and Algorithms for the Construction and Analysis of Systems. Proc. TACAS 2009

In today's competitive industry marketplace, the companies face growing demands to improve process efficiencies, comply with environmental regulations, and meet corporate financial objectives. Given the increasing age of many industrial systems and the dynamic industrial manufacturing market, intelligent and low-cost industrial automation systems are required to improve the productivity and efficiency of such systems. The collaborative nature of industrial wireless sensor networks (IWSNs) brings several advantages over traditional wired industrial monitoring and control systems, including self-organization, rapid deployment, flexibility, and inherent intelligent-processing capability. In this regard, IWSN plays a vital role in creating a highly reliable and self-healing industrial system that rapidly responds to real-time events with appropriate actions. In this paper, first, technical challenges and design principles are introduced in terms of hardware development, system architectures and protocols, and software development. Specifically, radio technologies, energy-harvesting techniques, and cross-layer design for IWSNs have been discussed. In addition, IWSN standards are presented for the system owners, who plan to utilize new IWSN technologies for industrial automation applications. In this paper, our aim is to provide a contemporary look at the current state of the art in IWSNs and discuss the still-open research issues in this field and, hence, to make the decision-making process more effective and direct.

/pdf/industrial-wireless-sensor-networks-challenges-design-1p149rqzw2.pdf

Industrial Wireless Sensor Networks: Challenges, Design Principles, and Technical Approaches

Internet of Things (IoT) is an emerging domain that promises ubiquitous connection to the Internet, turning common objects into connected devices. The IoT paradigm is changing the way people interact with things around them. It paves the way for creating pervasively connected infrastructures to support innovative services and promises better flexibility and efficiency. Such advantages are attractive not only for consumer applications, but also for the industrial domain. Over the last few years, we have been witnessing the IoT paradigm making its way into the industry marketplace with purposely designed solutions. In this paper, we clarify the concepts of IoT, Industrial IoT, and Industry 4.0. We highlight the opportunities brought in by this paradigm shift as well as the challenges for its realization. In particular, we focus on the challenges associated with the need of energy efficiency, real-time performance, coexistence, interoperability, and security and privacy. We also provide a systematic overview of the state-of-the-art research efforts and potential research directions to solve Industrial IoT challenges.

Industrial Internet of Things: Challenges, Opportunities, and Directions

The collaborative and low-cost nature of wireless sensor networks (WSNs) brings significant advantages over traditional communication technologies used in today's electric power systems. Recently, WSNs have been widely recognized as a promising technology that can enhance various aspects of today's electric power systems, including generation, delivery, and utilization, making them a vital component of the next-generation electric power system, the smart grid. However, harsh and complex electric-power-system environments pose great challenges in the reliability of WSN communications in smart-grid applications. This paper starts with an overview of the application of WSNs for electric power systems along with their opportunities and challenges and opens up future work in many unexploited research areas in diverse smart-grid applications. Then, it presents a comprehensive experimental study on the statistical characterization of the wireless channel in different electric-power-system environments, including a 500-kV substation, an industrial power control room, and an underground network transformer vault. Field tests have been performed on IEEE 802.15.4-compliant wireless sensor nodes in real-world power delivery and distribution systems to measure background noise, channel characteristics, and attenuation in the 2.4-GHz frequency band. Overall, the empirical measurements and experimental results provide valuable insights about IEEE 802.15.4-compliant sensor network platforms and guide design decisions and tradeoffs for WSN-based smart-grid applications.

/pdf/opportunities-and-challenges-of-wireless-sensor-networks-in-2px4ztn9v2.pdf

Opportunities and Challenges of Wireless Sensor Networks in Smart Grid

With the introduction of the Internet of Things (IoT) and cyberphysical system (CPS) concepts in industrial application scenarios, industrial automation is undergoing a tremendous change. This is made possible in part by recent advances in technology that allow interconnection on a wider and more fine-grained scale. The purpose of this article is to review technological trends and the impact they may have on industrial communication. We will review the impact of IoT and CPSs on industrial automation from an industry 4.0 perspective, give a survey of the current state of work on Ethernet time-sensitive networking (TSN), and shed light on the role of fifth-generation (5G) telecom networks in automation. Moreover, we will point out the need for harmonization beyond networking.

The Future of Industrial Communication: Automation Networks in the Era of the Internet of Things and Industry 4.0

This paper describes a stochastic analysis method for general periodic real-time systems. The proposed method accurately computes the response time distribution of each task in the system, thus making it possible to determine the deadline miss probability of individual tasks, even for systems with maximum utilization factor greater than one. The method uniformly covers both fixed-priority scheduling (such as rate monotonic) as well as dynamic-priority scheduling (such as earliest deadline first) and can handle arbitrary relative deadlines and execution time distributions. The accuracy of the method is proven by comparing the results from the analysis with those obtained from simulations, as well as other methodologies in the literature.

/pdf/stochastic-analysis-of-periodic-real-time-systems-31u1xldues.pdf

Stochastic analysis of periodic real-time systems

Networks are a core element of many industrial and automation systems at present. Often these networks transport time- and safety-critical messages that control physical processes. Thus, timely and guaranteed delivery is an essential property of networks for such critical systems. Over the past decade, a variety of network solutions have evolved to satisfy said properties. However, these solutions are largely incompatible with each other and many system architects are forced to deploy different solutions in parallel due to their different capabilities. IEEE 802.1 Time-Sensitive Networking (TSN) is a standardization group that enhances IEEE networking standards, most prominently Ethernet-based networks, with said properties and has the unique potential to evolve as a cross-industry mainstream networking technology. In this survey paper, we give an overview of TSN in industrial communication and automation systems and discuss specific TSN standards and projects in detail as well as their applicability to various industries.

A Perspective on IEEE Time-Sensitive Networking for Industrial Communication and Automation Systems

This paper presents a state-of-practice (SOP) overview of automotive communication technologies, including the latest technology developments These networking technologies are classified in four major groups: (1) current wired, (2) multimedia, (3) upcoming wired and (4) wireless Within these groups a few technologies stand out as strong candidates for future automotive networks The goal of this paper is to give an overview of automotive applications relying on communications, identify the key networking technologies used in various automotive applications, present their properties and attributes, and indicate future challenges in the area of automotive communications

Automotive communications-past, current and future

HighlightsFlexible, scalable traffic lights dynamic control system for isolated intersections.Multiple parallel fuzzy controllers dynamically manage both the phase and green time.Outperforms other works in terms of vehicle waiting time and balancing between phases.Very effective under heavy traffic and when phases have unbalanced arrival rates.Lightweight effective implementable on COTS devices: broad practical impact expected. This paper proposes a novel approach to dynamically manage the traffic lights cycles and phases in an isolated intersection. The target of the work is a system that, comparing with previous solutions, offers improved performance, is flexible and can be implemented on off-the-shelf components. The challenge here is to find an effective design that achieves the target while avoiding complex and computationally expensive solutions, which would not be appropriate for the problem at hand and would impair the practical applicability of the approach in real scenarios. The proposed solution is a traffic lights dynamic control system that combines an IEEE 802.15.4 Wireless Sensor Network (WSN) for real-time traffic monitoring with multiple fuzzy logic controllers, one for each phase, that work in parallel. Each fuzzy controller addresses vehicles turning movements and dynamically manages both the phase and the green time of traffic lights. The proposed system combines the advantages of the WSN, such as easy deployment and maintenance, flexibility, low cost, noninvasiveness, and scalability, with the benefits of using four parallel fuzzy controllers, i.e., better performance, fault-tolerance, and support for phase-specific management. Simulation results show that the proposed system outperforms other solutions in the literature, significantly reducing the vehicles waiting times. A proof-of-concept implementation on an off-the-shelf device proves that the proposed controller does not require powerful hardware and can be easily implemented on a low-cost device, thus paving the way for extensive usage in practice.

http://lobello.dieei.unict.it/public_files/publications/1-s2.0-S0957417415001104-main.pdf

A novel approach for dynamic traffic lights management based on Wireless Sensor Networks and multiple fuzzy logic controllers

The IEEE 802.15.4 protocol offers great potential for industrial wireless sensor networks, especially when operating in beacon-enabled mode over star or cluster-tree topologies. However, it is known that beacon collisions can undermine the reliability of cluster-tree networks, causing loss of synchronization between nodes and their coordinator. For this reason, this paper proposes a Multichannel Superframe Scheduling (MSS) algorithm, a novel technique that avoids beacon collisions by scheduling superframes over different radio channels, while maintaining the connectivity of all the clusters. The paper describes the MSS algorithm and addresses the advantages it provides over the time-division superframe scheduling. Analytical results are shown which provide a quantitative estimation of how the schedulability space is improved, while simulation results show that the proposed technique increases the number of schedulable clusters and the maximum cluster density. Finally, this paper proves the feasibility of the proposed approach describing a working implementation based on TinyOS.

Lucia Lo Bello

Papers

Stochastic analysis of periodic real-time systems

A Perspective on IEEE Time-Sensitive Networking for Industrial Communication and Automation Systems

Automotive communications-past, current and future

A novel approach for dynamic traffic lights management based on Wireless Sensor Networks and multiple fuzzy logic controllers

Multichannel Superframe Scheduling for IEEE 802.15.4 Industrial Wireless Sensor Networks