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

The blockchain: a new framework for robotic swarm systems

Swarms of robots will revolutionize many industrial applications, from targeted material delivery to precision farming. However, several of the heterogeneous characteristics that make them ideal for certain future applications --- robot autonomy, decentralized control, collective emergent behavior, etc. --- hinder the evolution of the technology from academic institutions to real-world problems. Blockchain, an emerging technology originated in the Bitcoin field, demonstrates that by combining peer-to-peer networks with cryptographic algorithms a group of agents can reach an agreement on a particular state of affairs and record that agreement without the need for a controlling authority. The combination of blockchain with other distributed systems, such as robotic swarm systems, can provide the necessary capabilities to make robotic swarm operations more secure, autonomous, flexible and even profitable. This work explains how blockchain technology can provide innovative solutions to four emergent issues in the swarm robotics research field. New security, decision making, behavior differentiation and business models for swarm robotic systems are described by providing case scenarios and examples. Finally, limitations and possible future problems that arise from the combination of these two technologies are described

Towards Flexible Distribution Systems : Future Adaptive Management Schemes

During the ongoing evolution of energy systems toward increasingly flexible, resilient, and digitalized distribution systems, many issues need to be developed. In general, a holistic multi-level systemic view is required on the future enabling technologies, control and management methods, operation and planning principles, regulation as well as market and business models. Increasing integration of intermittent renewable generation and electric vehicles, as well as industry electrification during the evolution, requires a huge amount of flexibility services at multiple time scales and from different voltage levels, resources, and sectors. Active use of distribution network-connected flexible energy resources for flexibility services provision through new marketplaces will also be needed. Therefore, increased collaboration between system operators in operation and planning of the future power system will also become essential during the evolution. In addition, use of integrated cyber-secure, resilient, cost-efficient, and advanced communication technologies and solutions will be of key importance. This paper describes a potential three-stage evolution path toward fully flexible, resilient, and digitalized electricity distribution networks. A special focus of this paper is the evolution and development of adaptive control and management methods as well as compatible collaborative market schemes that can enable the improved provision of flexibility services by distribution network-connected flexible energy resources for local (distribution system operator) and system-wide (transmission system operator) needs.© 2021 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).fi=vertaisarvioitu|en=peerReviewed

Trust in Software Supply Chains: Blockchain-Enabled SBOM and the AIBOM Future

Software Bill of Materials (SBOM) serves as a critical pillar in ensuring software supply chain security by providing a detailed inventory of the components and dependencies integral to software development. However, challenges abound in the sharing of SBOMs, including potential data tampering, hesitation among software vendors to disclose comprehensive information, and bespoke requirements from software procurers or users. These obstacles have stifled widespread adoption and utilization of SBOMs, underscoring the need for a more secure and flexible mechanism for SBOM sharing. This study proposes a novel solution to these challenges by introducing a blockchain-empowered approach for SBOM sharing, leveraging verifiable credentials to allow for selective disclosure. This strategy not only heightens security but also offers flexibility. Furthermore, this paper broadens the remit of SBOM to encompass AI systems, thereby coining the term AI Bill of Materials (AIBOM). This extension is motivated by the rapid progression in AI technology and the escalating necessity to track the lineage and composition of AI software and systems. Particularly in the era of foundational models like large language models (LLMs), understanding their composition and dependencies becomes crucial. These models often serve as a base for further development, creating complex dependencies and paving the way for innovative AI applications. The evaluation of our solution indicates the feasibility and flexibility of the proposed SBOM sharing mechanism, positing a new solution for securing (AI) software supply chains

Analysing and Enhancing Business Processes and IT-Systems for Mobile Workforce Automation - A Framework Approach

Mobile B2E-applications (business-to-employee) can add significant value to a company’s business, when large workforce divisions are involved in the execution of certain business processes. From a technical point of view, the major issues are solved (e.g. solutions for connectivity, broadband mobile networks, synchronization mechanisms, secure protocols etc.). But from a business point of view there is a lack of methodology regarding the alignment of technical solutions to the business needs. As companies face a continuously faster change in business models, legal constraints and customer needs, highly flexible systems are needed to react to changing business processes. Furthemore, the introduction of new mobile systems is often a technologydriven process, pushing the alignment of software and systems to the highly specific, fast changing business needs into the background. This paper introduces a framework summarizing the findings from earlier research and case studies related to this topic. The framework consists of a general reference process for mobile work and of a model explaining influencing factors, optimization goals and their relationships for mobile processes. The framework can be applied for process modeling, simulation and optimization as well as for requirements analysis and return on investment calculations

An integrated decision support environment for organisational decision making

Traditional decision support systems are based on the paradigm of a single decision maker working at a stand-alone computer or terminal who has a specific decision to make with a specific goal in mind. Organisational decision support systems aim to support decision makers at all levels of an organisation (from executive, middle management managers to operators), who have a variety of decisions to make, with different priorities, often in a distributed environment. Such systems are designed and developed with extra functionality to meet the challenge. This paper proposes an Integrated Decision Support Environment (IDSE) for organisational decision making. The IDSE is designed and developed based on distributed client/server networking, with a combination of tight and loose integration approaches for information exchange and communication. The prototype of the IDSE demonstrates a good balance between flexibility and reliability