This book investigates Unmanned Aircraft Systems (UAS) with a payload capacity of one metric ton for transportation. The authors provide a large variety of perspectives–from economics to technical realization. With the focus on such heavy-lift cargo UAS, the authors consider recently established methods for approval and certification, which they expect to be disruptive for unmanned aviation. In particular, the Specific Operations Risk Assessment (SORA) and its impact on the presented technological solutions and operational concepts are studied. Starting with the assumption of an operation over sparsely populated areas and below common air traffic, diverse measures to further reduce operational risks are proposed. Operational concepts derived from logistics use-cases set the context for an in-depth analysis including aircraft and system design, safe autonomy as well as airspace integration and datalinks. Results from simulations and technology demonstrations are presented as a proof of concept for solutions proposed in this book.

The fusion of drones and Industry 5.0 has emerged as a transformative force, redefining the landscape of industrial progress. Drone Applications for Industry 5.0 reveals the strong connection between drones and Industry 5.0, exploring how they come together to blend human skills with automated precision. As we stand on the horizon of the fifth industrial revolution, Industry 5.0 uniquely celebrates the return of the human touch, harmonizing the strengths of machines with human intuition and empathy. Drones play a pivotal role in shaping this evolutionary transition. The narrative unfolds against the backdrop of historical industrial revolutions, each marked by radical transformations. Unlike its predecessors, Industry 5.0 places humans at the center, emphasizing collaboration with machines. Drones have matured into invaluable instruments with applications spanning manufacturing, agriculture, transportation, and emergency services. Drone Applications for Industry 5.0 embarks on a journey, guiding scholars, researchers, and students through the foundations of Industry 5.0 and the mechanics of drones. It explores practical uses in various fields, offering both theory and practical insights which empowers professionals to fully utilize drones.

This book focuses mainly on the usages of three key technologies: IoT, big data, and AI for various day to day applications. Further, it explores the possibilities of future research based on the usages of latest information systems. This book explores the current research and challenges to be faced by different researchers for building intelligent information solutions using key technologies; IoT, big data, and AI in improving quality of lives in smart cities and explores the limitations and capabilities of these three key computing technologies. The book is organized into three major parts; each part includes chapters exploring a specific topic, and there are: PART-1: IoT for Real World Solutions , (ii) Part-2: Big Data And Cloud Computing for Innovative Solutions For Day to Day Lives, and (iii) Part-3 Artificial Intelligence for Everyday Lives. This book may be useful to the scientists, scholars, and researchers who are working in the field of computer science and engineering, and communication engineering, along with the students in these subjects who are working or willing to work on IoT, big data, and AI technologies for improving quality of everyday life. Specialists as well as student readers find the book chapters encouraging and helpful. IoT, data science & cloud, and AI all are the undergraduate (UG/ bachelor) subjects. Use of these three key technologies for building new applications for better world is helpful for UG and postgraduate (PG/ MS) Programmes students (as an elective and core course). This book may also be very useful for the Ph.D. (research scholars) during their course work and may be used as an instrument to identify the different challenges associated with information systems.

This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between regional and international research communities and industry in related areas. The 30 regular papers presented together with 7 tool papers were carefully reviewed and selected from 150 submissions.The papers are divided into the following topical sub-headings: Temporal logics, Data structures and heuristics, Verification of programs and hardware.

The history of flight started with the pioneer era. The introduction of mechanical controls (including hydraulics) then led to the second era. Later, with the utilization of computers and automation in aircraft, we reached the third era. Now, we are moving towards the fourth era of flight, namely Flight 4.0, which is characterized by “smart” and “connected” aircraft that extensively exploit emerging information and communication technologies. Aeronautical informatics is advancing rapidly through the synergy between information and communication technologies and aeronautics. Multi-core avionic platforms, wireless avionics networking, service-oriented architectures and IoT, data sciences and semantic infrastructures are shaping systems to come. Increasing autonomy requirements are challenging the community to investigate new ways to assure safety. Modern software engineering methodologies and real-time software techniques are altering the established development practice. Universities are starting to align their aerospace engineering and computer science curriculums in order to address this synergy. This book is a unique compilation of advancements in aeronautical informatics, introducing the changing technology landscape of flight with respect to a new push in information and communication technology.

Advanced aerial mobility is a newly emerging industry that aims to develop and operate new air vehicles potentially capable of safe, reliable, and low-noise vertical flight. The world has seen a recent increase in the adoption of electric vertical lift aircraft for urban, suburban and rural operations. These new innovations and technologies change the way that we move cargo and people, affecting industries across the economy. These changes will challenge today's airspace monitoring systems and regulatory environment. The U.S. government and its regulatory agencies need technical guidance to facilitate the development of these technologies, and to create the regulatory framework to foster the growth of this vertical flight industry to the benefit of the aviation industry. Advancing Aerial Mobility evaluates the potential benefits and challenges associated with this emerging industry. This report provides recommendations that seek to foster an environment in which the nation can maintain its leading position in developing, deploying, and embracing these new technologies. This publication presents a national vision for advanced aerial mobility, market evolution, and safety and security management.

Logistics and transportation are a complex set of entities and systems interconnected by many physical, financial, and information flows, and, as with all systems, there are optimization and planning issues. In addition, they are subject to economic, social, and especially environmental pressures with the need to reduce energy consumption and greenhouse gas emissions. There is a need for original research to address these issues. Transport and Logistics Planning and Optimization addresses selected transportation and logistics problems at the strategic, tactical, and operational levels in a multidisciplinary approach, not only from a technological perspective but also from a social science perspective. Covering key topics such as supply chain, urban transportation, artificial intelligence, and computer science, this premier reference source is ideal for policymakers, industry professionals, researchers, academicians, scholars, instructors, and students.

This book constitutes the refereed proceedings of five workshops co-located with SAFECOMP 2018, the 37th International Conference on Computer Safety, Reliability, and Security, held in Västerås, Sweden, in September 2018. The 28 revised full papers and 21 short papers presented together with 5 introductory papers to each workshop were carefully reviewed and selected from 73 submissions. This year's workshops are: ASSURE 2018 – Assurance Cases for Software-Intensive Systems; DECSoS 2018 – ERCIM/EWICS/ARTEMIS Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems; SASSUR 2018 – Next Generation of System Assurance Approaches for Safety-Critical Systems; STRIVE 2018 – Safety, securiTy, and pRivacy In automotiVe systEms; and WAISE 2018 – Artificial Intelligence Safety Engineering. The chapter '“Boxing Clever”: Practical Techniques for Gaining Insights into Training Data and Monitoring Distribution Shift' is available open access under an Open Government License via link.springer.com.

This book gathers selected papers from the KES-IDT 2022 Conference, held in Rhodes, Greece on June 20–22, 2022. The book presents and discusses the latest research results and generates new ideas in the field of intelligent decision-making. The range of topics discussed are classification, prediction, data analysis, big data, data science, decision support, knowledge engineering, and modeling in diverse areas such as finance, cybersecurity, economics, health, management, and transportation. The problems in Industry 4.0 and IoT are also addressed. The book contains several sections devoted to specific topics, such as intelligent data processing and its applications, high-dimensional data analysis and its applications, multi-criteria decision analysis—theory and applications, large-scale systems for intelligent decision-making and knowledge engineering, decision technologies and related topics in big data analysis of social and financial issues, and decision-making theory for economics.