Proceedings of International Workshop "Global Computing: Programming Environments, Languages, Security and Analysis of Systems"

According to the IST/ FET proactive initiative on GLOBAL COMPUTING, the goal is to obtain techniques (models, frameworks, methods, algorithms) for constructing systems that are flexible, dependable, secure, robust and efficient. The dominant concerns are not those of representing and manipulating data efficiently but rather those of handling the co-ordination and interaction, security, reliability, robustness, failure modes, and control of risk of the entities in the system and the overall design, description and performance of the system itself. Completely different paradigms of computer science may have to be developed to tackle these issues effectively. The research should concentrate on systems having the following characteristics: • The systems are composed of autonomous computational entities where activity is not centrally controlled, either because global control is impossible or impractical, or because the entities are created or controlled by different owners. • The computational entities are mobile, due to the movement of the physical platforms or by movement of the entity from one platform to another. • The configuration varies over time. For instance, the system is open to the introduction of new computational entities and likewise their deletion. The behaviour of the entities may vary over time. • The systems operate with incomplete information about the environment. For instance, information becomes rapidly out of date and mobility requires information about the environment to be discovered. The ultimate goal of the research action is to provide a solid scientific foundation for the design of such systems, and to lay the groundwork for achieving effective principles for building and analysing such systems. This workshop covers the aspects related to languages and programming environments as well as analysis of systems and resources involving 9 projects (AGILE , DART, DEGAS , MIKADO, MRG, MYTHS, PEPITO, PROFUNDIS, SECURE) out of the 13 founded under the initiative. After an year from the start of the projects, the goal of the workshop is to fix the state of the art on the topics covered by the two clusters related to programming environments and analysis of systems as well as to devise strategies and new ideas to profitably continue the research effort towards the overall objective of the initiative. We acknowledge the Dipartimento di Informatica and Tlc of the University of Trento, the Comune di Rovereto, the project DEGAS for partially funding the event and the Events and Meetings Office of the University of Trento for the valuable collaboration

Two-Stage Stochastic Program Optimizing the Total Cost of Ownership of Electric Vehicles in Commercial Fleets

The possibility of electric vehicles to technically replace internal combustion engine vehicles and to deliver economic benefits mainly depends on the battery and the charging infrastructure as well as on annual mileage (utilizing the lower variable costs of electric vehicles). Current studies on electric vehicles’ total cost of ownership often neglect two important factors that influence the investment decision and operational costs: firstly, the trade-off between battery and charging capacity; secondly the uncertainty in energy consumption. This paper proposes a two-stage stochastic program that minimizes the total cost of ownership of a commercial electric vehicle under uncertain energy consumption and available charging times induced by mobility patterns and outside temperature. The optimization program is solved by sample average approximation based on mobility and temperature scenarios. A hidden Markov model is introduced to predict mobility demand scenarios. Three scenario reduction heuristics are applied to reduce computational effort while keeping a high-quality approximation. The proposed framework is tested in a case study of the home nursing service. The results show the large influence of the uncertain mobility patterns on the optimal solution. In the case study, the total cost of ownership can be reduced by up to 3.9% by including the trade-off between battery and charging capacity. The introduction of variable energy prices can lower energy costs by 31.6% but does not influence the investment decision in this case study. Overall, this study provides valuable insights for real applications to determine the techno-economic optimal electric vehicle and charging infrastructure configuration

Enabling flexibility through strategic management of complex engineering systems

”Flexibility is a highly desired attribute of many systems operating in changing or uncertain conditions. It is a common theme in complex systems to identify where flexibility is generated within a system and how to model the processes needed to maintain and sustain flexibility. The key research question that is addressed is: how do we create a new definition of workforce flexibility within a human-technology-artificial intelligence environment? Workforce flexibility is the management of organizational labor capacities and capabilities in operational environments using a broad and diffuse set of tools and approaches to mitigate system imbalances caused by uncertainties or changes. We establish a baseline reference for managers to use in choosing flexibility methods for specific applications and we determine the scope and effectiveness of these traditional flexibility methods. The unique contributions of this research are: a) a new definition of workforce flexibility for a human-technology work environment versus traditional definitions; b) using a system of systems (SoS) approach to create and sustain that flexibility; and c) applying a coordinating strategy for optimal workforce flexibility within the human- technology framework. This dissertation research fills the gap of how we can model flexibility using SoS engineering to show where flexibility emerges and what strategies a manager can use to manage flexibility within this technology construct”--Abstract, page iii

Software Defined Networks based Smart Grid Communication: A Comprehensive Survey

The current power grid is no longer a feasible solution due to ever-increasing user demand of electricity, old infrastructure, and reliability issues and thus require transformation to a better grid a.k.a., smart grid (SG). The key features that distinguish SG from the conventional electrical power grid are its capability to perform two-way communication, demand side management, and real time pricing. Despite all these advantages that SG will bring, there are certain issues which are specific to SG communication system. For instance, network management of current SG systems is complex, time consuming, and done manually. Moreover, SG communication (SGC) system is built on different vendor specific devices and protocols. Therefore, the current SG systems are not protocol independent, thus leading to interoperability issue. Software defined network (SDN) has been proposed to monitor and manage the communication networks globally. This article serves as a comprehensive survey on SDN-based SGC. In this article, we first discuss taxonomy of advantages of SDNbased SGC.We then discuss SDN-based SGC architectures, along with case studies. Our article provides an in-depth discussion on routing schemes for SDN-based SGC. We also provide detailed survey of security and privacy schemes applied to SDN-based SGC. We furthermore present challenges, open issues, and future research directions related to SDN-based SGC.Comment: Accepte

Modeling and optimization of supply chain cost of responsiveness

In today\u27s ever increasing competitive business world, a responsive Supply Chain (SC) should adapt itself quickly to customer demands resulting into maximum benefits to all its primary stakeholders. The objective of this work is to provide a managerial tool that optimizes the cost of responsiveness of supply chains where various transportation durations are present between the SC components, and to determine the weakest links in the SC that need strengthening for elevating the overall responsiveness. For these objectives a mathematical model was formulated and solved using CPLEX. Assessing supply chain\u27s responsiveness is discussed in this work as well using the cost of responsiveness, SC output rate and production slack times. The computational results show that the mathematical model is effective in planning and synchronizing production, shipping and storage in a supply chain from start to end so that the cost of responsiveness is minimized while customer demands are fulfilled under limited outsourcing

Supply Chain

Traditionally supply chain management has meant factories, assembly lines, warehouses, transportation vehicles, and time sheets. Modern supply chain management is a highly complex, multidimensional problem set with virtually endless number of variables for optimization. An Internet enabled supply chain may have just-in-time delivery, precise inventory visibility, and up-to-the-minute distribution-tracking capabilities. Technology advances have enabled supply chains to become strategic weapons that can help avoid disasters, lower costs, and make money. From internal enterprise processes to external business transactions with suppliers, transporters, channels and end-users marks the wide range of challenges researchers have to handle. The aim of this book is at revealing and illustrating this diversity in terms of scientific and theoretical fundamentals, prevailing concepts as well as current practical applications

Exploring auction based energy trade with the support of MAS and blockchain technology

This document describes a simulation of the local energy market with support of multi-agent approach and blockchain technology. The investigated points include blockchain technology and its applications, Ethereum platform and smart contracts as a tool for storing data of operations and creating assets, multi-agent approach to model the local energy market. The document explores building a solution for proposed problem with blockchain technology, agent interactions on the simulated market and auction models, that provide sustainability and profit for the local energy market overall

Optimal operation of hybrid AC/DC microgrids under uncertainty of renewable energy resources : A comprehensive review

The hybrid AC/DC microgrids have become considerably popular as they are reliable, accessible and robust. They are utilized for solving environmental, economic, operational and power-related political issues. Having this increased necessity taken into consideration, this paper performs a comprehensive review of the fundamentals of hybrid AC/DC microgrids and describes their components. Mathematical models and valid comparisons among different renewable energy sources’ generations are discussed. Subsequently, various operational zones, control and optimization methods, power flow calculations in the presence of uncertainties related to renewable energy resources are reviewed.fi=vertaisarvioitu|en=peerReviewed

The implementation of energy sharing using a system of systems approach

There is an increasing demand for renewable energy and consumers need more procurement options to meet their needs. Energy sharing provides a peer-to-peer (P2P) marketplace where prosumer electricity is redistributed to fellow energy-sharing community participants. This redistribution of prosumer electricity provides consumers with additional electricity suppliers, while also decreasing the load on the utility company. Though significant progress has been made regarding research and implementation of energy sharing, there is still room for growth when evaluating energy-sharing communities and defining appropriate community coordination based on end-user needs. The first contribution in this work identified nine characteristics of energy-sharing communities as a decentralized complex adaptive system of systems (DCASoS). Considering each characteristic before determining community coordination is vital to ensure ample participation within the energy-sharing community. The second contribution was the exploration of a two-stage stochastic programming model as an alternative to the classic energy distribution business model. The third contribution compares three behavioral theories to identify the best fitting model to predict interest in participating in an energysharing community. This research provides companies with foundational knowledge to develop an energy-sharing community that both fulfills end-user satisfaction and increases robustness of electricity distribution business models --Abstract, page iv