Towards Secure and Safe Appified Automated Vehicles

The advancement in Autonomous Vehicles (AVs) has created an enormous market for the development of self-driving functionalities,raising the question of how it will transform the traditional vehicle development process. One adventurous proposal is to open the AV platform to third-party developers, so that AV functionalities can be developed in a crowd-sourcing way, which could provide tangible benefits to both automakers and end users. Some pioneering companies in the automotive industry have made the move to open the platform so that developers are allowed to test their code on the road. Such openness, however, brings serious security and safety issues by allowing untrusted code to run on the vehicle. In this paper, we introduce the concept of an Appified AV platform that opens the development framework to third-party developers. To further address the safety challenges, we propose an enhanced appified AV design schema called AVGuard, which focuses primarily on mitigating the threats brought about by untrusted code, leveraging theory in the vehicle evaluation field, and conducting program analysis techniques in the cybersecurity area. Our study provides guidelines and suggested practice for the future design of open AV platforms

Parts and materials application review for space systems

Parts and materials application review for project management of space systems engineerin

Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS - a collection of Technical Notes Part 1

This report provides an introduction and overview of the Technical Topic Notes (TTNs) produced in the Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS (Tigars) project. These notes aim to support the development and evaluation of autonomous vehicles. Part 1 addresses: Assurance-overview and issues, Resilience and Safety Requirements, Open Systems Perspective and Formal Verification and Static Analysis of ML Systems. Part 2: Simulation and Dynamic Testing, Defence in Depth and Diversity, Security-Informed Safety Analysis, Standards and Guidelines

A dynamic systems engineering methodology research study. Phase 2: Evaluating methodologies, tools, and techniques for applicability to NASA's systems projects

A study of NASA's Systems Management Policy (SMP) concluded that the primary methodology being used by the Mission Operations and Data Systems Directorate and its subordinate, the Networks Division, is very effective. Still some unmet needs were identified. This study involved evaluating methodologies, tools, and techniques with the potential for resolving the previously identified deficiencies. Six preselected methodologies being used by other organizations with similar development problems were studied. The study revealed a wide range of significant differences in structure. Each system had some strengths but none will satisfy all of the needs of the Networks Division. Areas for improvement of the methodology being used by the Networks Division are listed with recommendations for specific action

Development of a software safety process and a case study of its use

The goal of this research is to continue the development of a comprehensive approach to software safety and to evaluate the approach with a case study. The case study is a major part of the project, and it involves the analysis of a specific safety-critical system from the medical equipment domain. The particular application being used was selected because of the availability of a suitable candidate system. We consider the results to be generally applicable and in no way particularly limited by the domain. The research is concentrating on issues raised by the specification and verification phases of the software lifecycle since they are central to our previously-developed rigorous definitions of software safety. The theoretical research is based on our framework of definitions for software safety. In the area of specification, the main topics being investigated are the development of techniques for building system fault trees that correctly incorporate software issues and the development of rigorous techniques for the preparation of software safety specifications. The research results are documented. Another area of theoretical investigation is the development of verification methods tailored to the characteristics of safety requirements. Verification of the correct implementation of the safety specification is central to the goal of establishing safe software. The empirical component of this research is focusing on a case study in order to provide detailed characterizations of the issues as they appear in practice, and to provide a testbed for the evaluation of various existing and new theoretical results, tools, and techniques. The Magnetic Stereotaxis System is summarized

Fluid Phase Separation (FPS) experiment for flight on a space shuttle Get Away Special (GAS) canister

The separation of fluid phases in microgravity environments is of importance to environmental control and life support systems (ECLSS) and materials processing in space. A successful fluid phase separation experiment will demonstrate a proof of concept for the separation technique and add to the knowledge base of material behavior. The phase separation experiment will contain a premixed fluid which will be exposed to a microgravity environment. After the phase separation of the compound has occurred, small samples of each of the species will be taken for analysis on the Earth. By correlating the time of separation and the temperature history of the fluid, it will be possible to characterize the process. The experiment has been integrated into space available on a manifested Get Away Special (GAS) experiment, CONCAP 2, part of the Consortium for Materials Complex Autonomous Payload (CAP) Program, scheduled for STS-42. The design and the production of a fluid phase separation experiment for rapid implementation at low cost is presented

Disruptive Innovations and Disruptive Assurance: Assuring Machine Learning and Autonomy

Autonomous and machine learning-based systems are disruptive innovations and thus require a corresponding disruptive assurance strategy. We offer an overview of a framework based on claims, arguments, and evidence aimed at addressing these systems and use it to identify specific gaps, challenges, and potential solutions

Design and Verification Guidelines for Vibroacoustic and Transient Environments

Design and verification guidelines for vibroacoustic and transient environments contain many basic methods that are common throughout the aerospace industry. However, there are some significant differences in methodology between NASA/MSFC and others - both government agencies and contractors. The purpose of this document is to provide the general guidelines used by the Component Analysis Branch, ED23, at MSFC, for the application of the vibroacoustic and transient technology to all launch vehicle and payload components and payload components and experiments managed by NASA/MSFC. This document is intended as a tool to be utilized by the MSFC program management and their contractors as a guide for the design and verification of flight hardware

The long and winding path to private financing and regulation of toll roads

Road transport has long been the dominant form of transport for freight and passenger movement throughout the world. Because most road projects require investments with long amortization periods and because many projects do not generate enough demand to become self-financing through some type of user fee or toll, the road sector remains in the hands of the public sector to a much greater extent than other transport activities. But governments throughout the world, including those of many poor African and South Asian countries, are commercializing their operations to cut costs, improve user orientation, and increase sector-specific revenue. There seems to be demand for toll roads in specific settings, but the problems met by many of this"first generation"of road concessions-from Mexico to Thailand-have given toll projects a bad reputation. Many mistakes were made, and tolling is obviously not the best solution for every road. Most of the alternatives aim at improving efficiency (lowering costs). But there are many ways of getting the private sector involved in toll roads, thus reducing public sector financing requirements for the sector. Understanding the context in which toll roads are viable is essential both for their initial success and for effective long-run regulation. The authors provide a broad overview of issues at stake from the viewpoint of both privatization teams and regulators responsible for supervising contractual commitments of private operators and the government, to each other and to users.Urban Services to the Poor,Roads&Highways,Public Sector Economics&Finance,Decentralization,Banks&Banking Reform,Roads&Highways,Toll Roads,Urban Transport,Public Sector Economics&Finance,Airports and Air Services