Simulation of a Clustering Scheme for Vehicular Ad Hoc Networks Using a DEVS-based Virtual Laboratory Environment

ANT 2018, The 9th International Conference on Ambient Systems, Networks and Technologies, Porto, PORTUGAL, 08-/05/2018 - 11/05/2018Protocol design is usually based on the functional models developed according to the needs of the system. In Intelligent Transport Systems (ITS), the features studied regarding Vehicular Ad hoc Networks (VANET) include self-organizing, routing, reliability, quality of service, and security. Simulation studies on ITS-dedicated routing protocols usually focus on their performance in specific scenarios. However, the evolution of transportation systems towards autonomous vehicles requires robust protocols with proven or at least guaranteed properties. Though formal approaches provide powerful tools for system design, they cannot be used for every types of ITS components. Our goal is to develop new tools combining formal tools such as Event-B with DEVS-based (Discrete Event System Specification) virtual laboratories in order to design the models of ITS components which simulation would allow proving and verifying their properties in large-scale scenarios. This paper presents the models of the different components of a VANET realized with the Virtual Laboratory Environment (VLE). We point out the component models fitting to formal modeling, and proceed to the validation of all designed models through a simulation scenario based on real-world road traffic data

A Taxonomy for Management and Optimization of Multiple Resources in Edge Computing

Edge computing is promoted to meet increasing performance needs of data-driven services using computational and storage resources close to the end devices, at the edge of the current network. To achieve higher performance in this new paradigm one has to consider how to combine the efficiency of resource usage at all three layers of architecture: end devices, edge devices, and the cloud. While cloud capacity is elastically extendable, end devices and edge devices are to various degrees resource-constrained. Hence, an efficient resource management is essential to make edge computing a reality. In this work, we first present terminology and architectures to characterize current works within the field of edge computing. Then, we review a wide range of recent articles and categorize relevant aspects in terms of 4 perspectives: resource type, resource management objective, resource location, and resource use. This taxonomy and the ensuing analysis is used to identify some gaps in the existing research. Among several research gaps, we found that research is less prevalent on data, storage, and energy as a resource, and less extensive towards the estimation, discovery and sharing objectives. As for resource types, the most well-studied resources are computation and communication resources. Our analysis shows that resource management at the edge requires a deeper understanding of how methods applied at different levels and geared towards different resource types interact. Specifically, the impact of mobility and collaboration schemes requiring incentives are expected to be different in edge architectures compared to the classic cloud solutions. Finally, we find that fewer works are dedicated to the study of non-functional properties or to quantifying the footprint of resource management techniques, including edge-specific means of migrating data and services.Comment: Accepted in the Special Issue Mobile Edge Computing of the Wireless Communications and Mobile Computing journa

Joint communication, computation, and control for computational task offloading in vehicle-assisted multi-access edge computing

Future generation of Electric Vehicles (EVs) equipped with modern technologies will impose a significant burden on computation and communication to the network due to the vast extension of onboard infotainment services. To overcome this challenge, multi-access edge computing (MEC) or Fog Computing can be employed. However, the massive adoption of novel infotainment services such as Augmented Reality, Virtual Reality-based services will make the MEC and Fog resources insufficient. To cope with this issue, we propose a system model with onboard computation offloading, where an EV can utilize its neighboring EVs resources that are not resource-constrained to enhance its computing capacity. Then, we propose to solve the problem of computational task offloading by jointly considering the communication, computation, and control in a mobile vehicular network. We formulate a mixed-integer non-linear problem (MINLP) to minimize the trade-off between latency and energy consumption subject to the network resources and the mobility of EVs. The formulated problem is solved via the block coordination descent (BCD) method. In such a way, we decompose the original MINLP problem into three subproblems which are resource block allocation (RBA), power control and interference management (PCP), and offload decision problem (ODP). We then alternatively obtain solutions of RBA and PCP via the duality theory, and the third sub-problem is solvable via the relaxation method and alternating direction Lagrangian multiplier method (ADMM). Numerical results reveal that the proposed solution BCD-based algorithm performs a fast convergence rate

Relevance- and Aggregation-based Scheduling for Data Transmission in IEEE 802.15.4e IoT Networks

Master's thesis Information- and communication technology IKT590 - University of Agder 2017Internet of thing (IoT) is regarded as a new communicating paradigm with Internet connectivity enabling embedded devices to interact with each other on a global scale. IoT has the potential to become the largest producer of information because of a massive number of connected devices with diverse applications ranging from environmental monitoring, home, and building automation. This ubiquitous connectivity requires reliability, efficiency, and sustainability of access to information. As an enabling technology, wireless sensor networks (WSNs) have opened new opportunity with recent technological developments in making miniaturized smart connected devices. With an increase in the activity of these smart devices, there are challenges in maintaining their limited energy, lifetime, and reliability required for IoT applications. The reason is that these devices are mostly battery powered. In this respect, an insight into the activities of sensing devices produced by different vendors with interoperability based on industrial standards is needed. As an enhancement of IEEE 802.15.4 MAC sublayer, the ratification of IEEE 802.15.4e standard makes a step towards IoT medium access control (MAC) for industrial applications. One of the significant enhancements in IEEE 802.15.4e is different MAC modes. However, IEEE 802.15.4e does not specify standardized scheduling policy for network building and data transmission maintenance. It is basically application specific. In general, activities performed at the MAC sublayer contribute to sensor energy consumption. Therefore, an efficient MAC scheme is needed to utilize network resources more efficiently, minimize energy consumption level and at the same time improve data transmission of the network. In this thesis work, we focus on proposing transmission schemes for improving energy consumption for data transmission in IoT networks and as well as increasing average packet delivery ratio (PDR). Our target is to improve time slotted channel hopping (TSCH) mode that enables deterministic access and robust network. The focus is on dedicated and shared slots in TSCH. More specifically, we propose two MAC schemes; relevance- and aggregation-based scheduling for data transmission in IEEE 802.15.4e IoT networks. With relevance-based scheduling, the coordinator node builds and maintains communication in the network based on a historical data value of member nodes. On the other hand, aggregation-based scheduling iii enables the coordinator node to build and maintain communication by integrating multiple data inside a single frame payload at the source node before transmission. Further, the proposed schemes are implemented using network simulator version 3 (ns-3). We use Ubuntu 16.04.2 as the operating system for our implementation and performance evaluation. Numerical results for a few performance metrics including PDR, collision probability, delay, and energy consumption are obtained through extensive simulations. The superiority of the proposed schemes is demonstrated by comparing the simulation results with that of IEEE 802.15.4e TSCH standard under varies network scenario

A Survey of Smart Parking Solutions

International audienceConsidering the increase of urban population and traffic congestion, smart parking is always a strategic issue to work on, not only in the research field but also from economic interests. Thanks to information and communication technology evolution, drivers can more efficiently find satisfying parking spaces with smart parking services. The existing and ongoing works on smart parking are complicated and transdisciplinary. While deploying a smart parking system, cities, as well as urban engineers, need to spend a very long time to survey and inspect all the possibilities. Moreover, many varied works involve multiple disciplines, which are closely linked and inseparable. To give a clear overview, we introduce a smart parking ecosystem and propose a comprehensive and thoughtful classification by identifying their functionalities and problematic focuses. We go through the literature over the period of 2000-2016 on parking solutions as they were applied to smart parking development and evolution, and propose three macro-themes: information collection, system deployment, and service dissemination. In each macro-theme, we explain and synthesize the main methodologies used in the existing works and summarize their common goals and visions to solve current parking difficulties. Lastly, we give our engineering insights and show some challenges and open issues. Our survey gives an exhaustive study and a prospect in a multidisciplinary approach. Besides, the main findings of the current state-of-the-art throw out recommendations for future research on smart cities and the Internet architecture

Monte Carlo Method with Heuristic Adjustment for Irregularly Shaped Food Product Volume Measurement

Volume measurement plays an important role in the production and processing of food products. Various methods have been proposed to measure the volume of food products with irregular shapes based on 3D reconstruction. However, 3D reconstruction comes with a high-priced computational cost. Furthermore, some of the volume measurement methods based on 3D reconstruction have a low accuracy. Another method for measuring volume of objects uses Monte Carlo method. Monte Carlo method performs volume measurements using random points. Monte Carlo method only requires information regarding whether random points fall inside or outside an object and does not require a 3D reconstruction. This paper proposes volume measurement using a computer vision system for irregularly shaped food products without 3D reconstruction based on Monte Carlo method with heuristic adjustment. Five images of food product were captured using five cameras and processed to produce binary images. Monte Carlo integration with heuristic adjustment was performed to measure the volume based on the information extracted from binary images. The experimental results show that the proposed method provided high accuracy and precision compared to the water displacement method. In addition, the proposed method is more accurate and faster than the space carving method

Discrete Event Simulations

Considered by many authors as a technique for modelling stochastic, dynamic and discretely evolving systems, this technique has gained widespread acceptance among the practitioners who want to represent and improve complex systems. Since DES is a technique applied in incredibly different areas, this book reflects many different points of view about DES, thus, all authors describe how it is understood and applied within their context of work, providing an extensive understanding of what DES is. It can be said that the name of the book itself reflects the plurality that these points of view represent. The book embraces a number of topics covering theory, methods and applications to a wide range of sectors and problem areas that have been categorised into five groups. As well as the previously explained variety of points of view concerning DES, there is one additional thing to remark about this book: its richness when talking about actual data or actual data based analysis. When most academic areas are lacking application cases, roughly the half part of the chapters included in this book deal with actual problems or at least are based on actual data. Thus, the editor firmly believes that this book will be interesting for both beginners and practitioners in the area of DES

Fifth Conference on Artificial Intelligence for Space Applications

The Fifth Conference on Artificial Intelligence for Space Applications brings together diverse technical and scientific work in order to help those who employ AI methods in space applications to identify common goals and to address issues of general interest in the AI community. Topics include the following: automation for Space Station; intelligent control, testing, and fault diagnosis; robotics and vision; planning and scheduling; simulation, modeling, and tutoring; development tools and automatic programming; knowledge representation and acquisition; and knowledge base/data base integration