Automation of the longwall mining system

Cost effective, safe, and technologically sound applications of automation technology to underground coal mining were identified. The longwall analysis commenced with a general search for government and industry experience of mining automation technology. A brief industry survey was conducted to identify longwall operational, safety, and design problems. The prime automation candidates resulting from the industry experience and survey were: (1) the shearer operation, (2) shield and conveyor pan line advance, (3) a management information system to allow improved mine logistics support, and (4) component fault isolation and diagnostics to reduce untimely maintenance delays. A system network analysis indicated that a 40% improvement in productivity was feasible if system delays associated with all of the above four areas were removed. A technology assessment and conceptual system design of each of the four automation candidate areas showed that state of the art digital computer, servomechanism, and actuator technologies could be applied to automate the longwall system

Novel Validation Techniques for Autonomous Vehicles

L'abstract è presente nell'allegato / the abstract is in the attachmen

Novel Validation Techniques for Autonomous Vehicles

The automotive industry is facing challenges in producing electrical, connected, and autonomous vehicles. Even if these challenges are, from a technical point of view, independent from each other, the market and regulatory bodies require them to be developed and integrated simultaneously. The development of autonomous vehicles implies the development of highly dependable systems. This is a multidisciplinary activity involving knowledge from robotics, computer science, electrical and mechanical engineering, psychology, social studies, and ethics. Nowadays, many Advanced Driver Assistance Systems (ADAS), like Emergency Braking System, Lane Keep Assistant, and Park Assist, are available. Newer luxury cars can drive by themselves on highways or park automatically, but the end goal is to develop completely autonomous driving vehicles, able to go by themselves, without needing human interventions in any situation. The more vehicles become autonomous, the greater the difficulty in keeping them reliable. It enhances the challenges in terms of development processes since their misbehaviors can lead to catastrophic consequences and, differently from the past, there is no more a human driver to mitigate the effects of erroneous behaviors. Primary threats to dependability come from three sources: misuse from the drivers, design systematic errors, and random hardware failures. These safety threats are addressed under various aspects, considering the particular type of item to be designed. In particular, for the sake of this work, we analyze those related to Functional Safety (FuSa), viewed as the ability of a system to react on time and in the proper way to the external environment. From the technological point of view, these behaviors are implemented by electrical and electronic items. Various standards to achieve FuSa have been released over the years. The first, released in 1998, was the IEC 61508. Its last version is the one released in 2010. This standard defines mainly: • a Functional Safety Management System (FSMS); • methods to determine a Safety Integrated Level (SIL); • methods to determine the probability of failures. To adapt the IEC61508 to the automotive industry’s peculiarity, a newer standard, the ISO26262, was released in 2011 then updated in 2018. This standard provides guidelines about FSMS, called in this case Safety Lifecycle, describing how to develop software and hardware components suitable for functional safety. It also provides a different way to compute the SIL, called in this case Automotive SIL (ASIL), allowing us to consider the average driver’s abilities to control the vehicle in case of failures. Moreover, it describes a way to determine the probability of random hardware failures through Failure Mode, Effects, and Diagnostic Analysis (FMEDA). This dissertation contains contributions to three topics: • random hardware failures mitigation; • improvementoftheISO26262HazardAnalysisandRiskAssessment(HARA); • real-time verification of the embedded software. As the main contribution of this dissertation, I address the safety threats due to random hardware failures (RHFs). For this purpose, I propose a novel simulation-based approach to aid the Failure Mode, Effects, and Diagnostic Analysis (FMEDA) required by the ISO26262 standard. Thanks to a SPICE-level model of the item, and the adoption of fault injection techniques, it is possible to simulate its behaviors obtaining useful information to classify the various failure modes. The proposed approach evolved from a mere simulation of the item, allowing only an item-level failure mode classification up to a vehicle-level analysis. The propagation of the failure modes’ effects on the whole vehicle enables us to assess the impacts on the vehicle’s drivability, improving the quality of the classifications. It can be advantageous where it is difficult to predict how the item-level misbehaviors propagate to the vehicle level, as in the case of a virtual differential gear or the mobility system of a robot. It has been chosen since it can be considered similar to the novel light vehicles, such as electric scooters, that are becoming more and more popular. Moreover, my research group has complete access to its design since it is realized by our university’s DIANA students’ team. When a SPICE-level simulation is too long to be performed, or it is not possible to develop a complete model of the item due to intellectual property protection rules, it is possible to aid this process through behavioral models of the item. A simulation of this kind has been performed on a mobile robotic system. Behavioral models of the electronic components were used, alongside mechanical simulations, to assess the software failure mitigation capabilities. Another contribution has been obtained by modifying the main one. The idea was to make it possible to aid also the Hazard Analysis and Risk Assessment (HARA). This assessment is performed during the concept phase, so before starting to design the item implementation. Its goal is to determine the hazards involved in the item functionality and their associated levels of risk. The end goal of this phase is a list of safety goals. For each one of these safety goals, an ASIL has to be determined. Since HARA relies only on designers expertise and knowledge, it lacks in objectivity and repeatability. Thanks to the simulation results, it is possible to predict the effects of the failures on the vehicle’s drivability, allowing us to improve the severity and controllability assessment, thus improving the objectivity. Moreover, since simulation conditions can be stored, it is possible, at any time, to recheck the results and to add new scenarios, improving the repeatability. The third group of contributions is about the real-time verification of embedded software. Through Hardware-In-the-Loop (HIL), a software integration verification has been performed to test a fundamental automotive component, mixed-criticality applications, and multi-agent robots. The first of these contributions is about real-time tests on Body Control Modules (BCM). These modules manage various electronic accessories in the vehicle’s body, like power windows and mirrors, air conditioning, immobilizer, central locking. The main characteristics of BCMs are the communications with other embedded computers via the car’s vehicle bus (Controller Area Network) and to have a high number (hundreds) of low-speed I/Os. As the second contribution, I propose a methodology to assess the error recovery system’s effects on mixed-criticality applications regarding deadline misses. The system runs two tasks: a critical airplane longitudinal control and a non-critical image compression algorithm. I start by presenting the approach on a benchmark application containing an instrumented bug into the lower criticality task; then, we improved it by injecting random errors inside the lower criticality task’s memory space through a debugger. In the latter case, thanks to the HIL, it is possible to pause the time domain simulation when the debugger operates and resume it once the injection is complete. In this way, it is possible to interact with the target without interfering with the simulation results, combining a full control of the target with an accurate time-domain assessment. The last contribution of this third group is about a methodology to verify, on multi-agent robots, the synchronization between two agents in charge to move the end effector of a delta robot: the correct position and speed of the end effector at any time is strongly affected by a loss of synchronization. The last two contributions may seem unrelated to the automotive industry, but interest in these applications is gaining. Mixed-criticality systems allow reducing the number of ECUs inside cars (for cost reduction), while the multi-agent approach is helpful to improve the cooperation of the connected cars with respect to other vehicles and the infrastructure. The fourth contribution, contained in the appendix, is about a machine learning application to improve the social acceptance of autonomous vehicles. The idea is to improve the comfort of the passengers by recognizing their emotions. I started with the idea to modify the vehicle’s driving style based on a real-time emotions recognition system but, due to the difficulties of performing such operations in an experimental setup, I move to analyze them offline. The emotions are determined on volunteers’ facial expressions recorded while viewing 3D representa- tions showing different calibrations. Thanks to the passengers’ emotional responses, it is possible to choose the better calibration from the comfort point of view

System-of-Systems Considerations in the Notional Development of a Metropolitan Aerial Transportation System

There are substantial future challenges related to sustaining and improving efficient, cost-effective, and environmentally friendly transportation options for urban regions. Over the past several decades there has been a worldwide trend towards increasing urbanization of society. Accompanying this urbanization are increasing surface transportation infrastructure costs and, despite public infrastructure investments, increasing surface transportation "gridlock." In addition to this global urbanization trend, there has been a substantial increase in concern regarding energy sustainability, fossil fuel emissions, and the potential implications of global climate change. A recently completed study investigated the feasibility of an aviation solution for future urban transportation (refs. 1, 2). Such an aerial transportation system could ideally address some of the above noted concerns related to urbanization, transportation gridlock, and fossil fuel emissions (ref. 3). A metro/regional aerial transportation system could also provide enhanced transportation flexibility to accommodate extraordinary events such as surface (rail/road) transportation network disruptions and emergency/disaster relief responses

DevOps for Trustworthy Smart IoT Systems

ENACT is a research project funded by the European Commission under its H2020 program. The project consortium consists of twelve industry and research member organisations spread across the whole EU. The overall goal of the ENACT project was to provide a novel set of solutions to enable DevOps in the realm of trustworthy Smart IoT Systems. Smart IoT Systems (SIS) are complex systems involving not only sensors but also actuators with control loops distributed all across the IoT, Edge and Cloud infrastructure. Since smart IoT systems typically operate in a changing and often unpredictable environment, the ability of these systems to continuously evolve and adapt to their new environment is decisive to ensure and increase their trustworthiness, quality and user experience. DevOps has established itself as a software development life-cycle model that encourages developers to continuously bring new features to the system under operation without sacrificing quality. This book reports on the ENACT work to empower the development and operation as well as the continuous and agile evolution of SIS, which is necessary to adapt the system to changes in its environment, such as newly appearing trustworthiness threats

A Building Information Modeling (BIM)-centric Digital Ecosystem for Smart Airport Life Cycle Management

An increasing number of new airport infrastructure construction and improvement projects are being delivered in today\u27s modern world. However, value creation is a recurring issue due to inefficiencies in managing capital expenditures (CapEx) and operating expenses (OpEx), while trying to optimize project constraints of scope, time, cost, quality, and resources. In this new era of smart infrastructure, digitalization transforms the way projects are planned and delivered. Building Information Modeling (BIM) is a key digital process technique that has become an imperative for today\u27s Architecture, Engineering, Construction and Operations (AECO) sector. This research suggests a BIM-centric digital ecosystem by detailing technical and strategic aspects of Airport BIM implementation and digital technology integration from a life cycle perspective. This research provides a novel approach for consistent and continuous use of digital information between business and functional levels of an airport by developing a digital platform solution that will enable seamless flow of information across functions. Accordingly, this study targets to achieve three objectives: 1- To provide a scalable know-how of BIM-enabled digital transformation; 2- To guide airport owners and major stakeholders towards converging information siloes for airport life cycle data management by an Airport BIM Framework; 3- To develop a BIM-based digital platform architecture towards realization of an airport digital twin for airport infrastructure life cycle management. Airport infrastructures can be considered as a System of Systems (SoS). As such, Model Based Systems Engineering (MBSE) with Systems Modeling Language (SysML) is selected as the key methodology towards designing a digital ecosystem. Applying MBSE principles leads to forming an integrating framework for managing the digital ecosystem. Furthermore, this research adopts convergent parallel mixed methods to collect and analyze multiple forms of data. Data collection tools include extensive literature and industry review; an online questionnaire; semi-structured interviews with airport owner parties; focus group discussions; first-hand observations; and document reviews. Data analysis stage includes multiple explanatory case study analyses, thematic analysis, project mapping, percent coverage analysis for coded themes to achieve Objective 1; thematic analysis, cluster analysis, framework analysis, and non-parametric statistical analysis for Objective 2; and qualitative content analysis, non-parametric statistical analysis to accomplish Objective 3. This research presents a novel roadmap toward facilitation of smart airports with alignment and integration of disruptive technologies with business and operational aspects of airports. Multiple comprehensive case study analyses on international large-hub airports and triangulation of organization-level and project-level results systematically generate scalable technical and strategic guidelines for BIM implementation. The proposed platform architecture will incentivize major stakeholders for value-creation, data sharing, and control throughout a project life cycle. Introducing scalability and minimizing complexity for end-users through a digital platform approach will lead to a more connected environment. Consequently, a digital ecosystem enables sophisticated interaction between people, places, and assets. Model-driven approach provides an effective strategy for enhanced decision-making that helps optimization of project resources and allows fast adaptation to emerging business and operational demands. Accordingly, airport sustainability measures -economic vitality, operational efficiency, natural resources, and social responsibility- will improve due to higher levels of efficiency in CapEx and OpEx. Changes in business models for large capital investments and introducing sustainability to supply chains are among the anticipated broader impacts of this study

Long-Distance Recreational Travel Behavior and Implications of Autonomous Vehicles

Have you ever wondered how people travel long distances and how it could be affected by the emergence of autonomous vehicles (AVs)? This dissertation aims to answer those questions by studying the current behavior of long-distance recreational travelers and their preference in the age of AVs. This dissertation has four main goals. First, it seeks to develop a reliable way to measure people’s satisfaction with long-distance recreational trips and understand the similarities and differences between long- and short-distance travel satisfaction. Second, it looks at the connection between how people travel, how satisfied they are with their travel experiences, and how this relates to their overall satisfaction with their destination. Third, it explores how people feel about using AVs for long-distance travel and tries to understand what influences their decisions. Lastly, it looks at the impact of vehicle automation, the interior of AVs, and how people use their time during travel on their choices and preferences. The necessary data is gathered through a survey of 696 people who visited national parks in the US. The survey responses are analyzed to understand the research objectives, and some interesting insights are obtained. First, a survey instrument (i.e., a list of questions) is developed to accurately measure long-distance travelers’ satisfaction. The analysis discovers that the factors that affect satisfaction with long-distance travel differ from those that affect short-distance travel. Second, a strong link is established between people’s satisfaction with their travel experiences (on the way) and their overall tourism experience (at destination). Third, the study suggests people might travel more frequently and for longer distances with the introduction of AVs. This result means that we should not only focus on managing tourism destinations but also consider the impact on traffic and infrastructure leading to these destinations. Finally, the study finds that people are interested in using their travel time more productively in AVs, but we should be mindful of the negative consequences, such as increased energy consumption and space requirements. In conclusion, this dissertation sheds light on long-distance travel behavior and the potential changes that could come with using AVs. It emphasizes the importance of enjoying the journey, the impact on tourism, and the need for sustainable transportation. So, next time you plan a road trip, remember there’s more to consider than just getting to your destination

Standardization Roadmap for Unmanned Aircraft Systems, Version 1.0

This Standardization Roadmap for Unmanned Aircraft Systems, Version 1.0 (“roadmap”) represents the culmination of the UASSC’s work to identify existing standards and standards in development, assess gaps, and make recommendations for priority areas where there is a perceived need for additional standardization and/or pre-standardization R&D. The roadmap has examined 64 issue areas, identified a total of 60 gaps and corresponding recommendations across the topical areas of airworthiness; flight operations (both general concerns and application-specific ones including critical infrastructure inspections, commercial services, and public safety operations); and personnel training, qualifications, and certification. Of that total, 40 gaps/recommendations have been identified as high priority, 17 as medium priority, and 3 as low priority. A “gap” means no published standard or specification exists that covers the particular issue in question. In 36 cases, additional R&D is needed. The hope is that the roadmap will be broadly adopted by the standards community and that it will facilitate a more coherent and coordinated approach to the future development of standards for UAS. To that end, it is envisioned that the roadmap will be widely promoted and discussed over the course of the coming year, to assess progress on its implementation and to identify emerging issues that require further elaboration

The Routledge Companion to Actor-Network Theory

This companion explores ANT as an intellectual practice, tracking its movements and engagements with a wide range of other academic and activist projects. Showcasing the work of a diverse set of ‘second generation’ ANT scholars from around the world, it highlights the exciting depth and breadth of contemporary ANT and its future possibilities. The companion has 38 chapters, each answering a key question about ANT and its capacities. Early chapters explore ANT as an intellectual practice and highlight ANT’s dialogues with other fields and key theorists. Others open critical, provocative discussions of its limitations. Later sections explore how ANT has been developed in a range of social scientific fields and how it has been used to explore a wide range of scales and sites. Chapters in the final section discuss ANT’s involvement in ‘real world’ endeavours such as disability and environmental activism, and even running a Chilean hospital. Each chapter contains an overview of relevant work and introduces original examples and ideas from the authors’ recent research. The chapters orient readers in rich, complex fields and can be read in any order or combination. Throughout the volume, authors mobilise ANT to explore and account for a range of exciting case studies: from wheelchair activism to parliamentary decision-making; from racial profiling to energy consumption monitoring; from queer sex to Korean cities. A comprehensive introduction by the editors explores the significance of ANT more broadly and provides an overview of the volume. The Routledge Companion to Actor-Network Theory will be an inspiring and lively companion to academics and advanced undergraduates and postgraduates from across many disciplines across the social sciences, including Sociology, Geography, Politics and Urban Studies, Environmental Studies and STS, and anyone wishing to engage with ANT, to understand what it has already been used to do and to imagine what it might do in the future

DevOps for Trustworthy Smart IoT Systems

ENACT is a research project funded by the European Commission under its H2020 program. The project consortium consists of twelve industry and research member organisations spread across the whole EU. The overall goal of the ENACT project was to provide a novel set of solutions to enable DevOps in the realm of trustworthy Smart IoT Systems. Smart IoT Systems (SIS) are complex systems involving not only sensors but also actuators with control loops distributed all across the IoT, Edge and Cloud infrastructure. Since smart IoT systems typically operate in a changing and often unpredictable environment, the ability of these systems to continuously evolve and adapt to their new environment is decisive to ensure and increase their trustworthiness, quality and user experience. DevOps has established itself as a software development life-cycle model that encourages developers to continuously bring new features to the system under operation without sacrificing quality. This book reports on the ENACT work to empower the development and operation as well as the continuous and agile evolution of SIS, which is necessary to adapt the system to changes in its environment, such as newly appearing trustworthiness threats