Architecture and Information Requirements to Assess and Predict Flight Safety Risks During Highly Autonomous Urban Flight Operations

As aviation adopts new and increasingly complex operational paradigms, vehicle types, and technologies to broaden airspace capability and efficiency, maintaining a safe system will require recognition and timely mitigation of new safety issues as they emerge and before significant consequences occur. A shift toward a more predictive risk mitigation capability becomes critical to meet this challenge. In-time safety assurance comprises monitoring, assessment, and mitigation functions that proactively reduce risk in complex operational environments where the interplay of hazards may not be known (and therefore not accounted for) during design. These functions can also help to understand and predict emergent effects caused by the increased use of automation or autonomous functions that may exhibit unexpected non-deterministic behaviors. The envisioned monitoring and assessment functions can look for precursors, anomalies, and trends (PATs) by applying model-based and data-driven methods. Outputs would then drive downstream mitigation(s) if needed to reduce risk. These mitigations may be accomplished using traditional design revision processes or via operational (and sometimes automated) mechanisms. The latter refers to the in-time aspect of the system concept. This report comprises architecture and information requirements and considerations toward enabling such a capability within the domain of low altitude highly autonomous urban flight operations. This domain may span, for example, public-use surveillance missions flown by small unmanned aircraft (e.g., infrastructure inspection, facility management, emergency response, law enforcement, and/or security) to transportation missions flown by larger aircraft that may carry passengers or deliver products. Caveat: Any stated requirements in this report should be considered initial requirements that are intended to drive research and development (R&D). These initial requirements are likely to evolve based on R&D findings, refinement of operational concepts, industry advances, and new industry or regulatory policies or standards related to safety assurance

Context aware advisor for public transportation

This paper presents an Android-based mobile app designed to provide real time context aware public transportation information and advice to its users through the combination of the user's preferences and geographic context with data retrieved from a public transportation information system called XTraN Passenger. Thus, this mobile app contributes to fulfill the necessities of the passengers, and also provides an incentive for people to use the public transportation infrastructure more frequently. The proposed mobile app allows the users to benefit from the access to real time public transportation data in a simple and intuitive way. The validation of the features and operation of the developed app was assessed with results from use cases and real-world experimental tests using public transportation data from a Brazilian bus fleet operator.This work is supported by FCT with the reference project UID/EEA/04436/2013, by FEDER funds through the COMPETE 2020 –Programa Operacional Competitividade e Internacionalização (POCI) with the reference project POCI-01-0145-FEDER-006941

Big Data for Traffic Estimation and Prediction: A Survey of Data and Tools

Big data has been used widely in many areas including the transportation industry. Using various data sources, traffic states can be well estimated and further predicted for improving the overall operation efficiency. Combined with this trend, this study presents an up-to-date survey of open data and big data tools used for traffic estimation and prediction. Different data types are categorized and the off-the-shelf tools are introduced. To further promote the use of big data for traffic estimation and prediction tasks, challenges and future directions are given for future studies

Implementation of advanced transit traveler information systems in the United States and Canada : practice and prospects

Thesis (M.C.P. and S.B. in Planning)--Massachusetts Institute of Technology, Dept. of Urban Studies and Planning, 2010.Cataloged from PDF version of thesis.Includes bibliographical references (p. 101-115).Over the past few years, public transit agencies across the United States and Canada have increasingly implemented methods for passengers to access traveler information using new media and personal mobile communications devices. The most advanced examples of these devices, commonly known as "smartphones," combine telephone, Internet browsing, and personal digital assistant (PDA) functionality into a single, portable unit. Mobile data applications are literally exploding on the scene every day, and transit agencies are under tremendous social and political pressure to deploy more related information systems as rapidly as possible. These applications are popular with technology-savvy riders who enjoy easy and real-time access to information and updates about their transit routes and services of choice, anywhere they happen to be. A review of the literature, as well as interviews with managers at thirteen transit authorities across the spectrum of size and technical sophistication, provides a portrayal of the states of the practice and art, and paints a clear picture of the challenges facing implementation of these advanced systems in the field. The research confirms the initial hypothesis that while transit agencies are indeed devoting energy to pursuing advanced traveler information systems, the approaches to implementing them could be improved. Based on the findings, I recommend that transit agencies: conduct necessary market research; develop more explicit and comprehensive traveler information system strategies; clarify the role and business case for social media; secure sufficient financial and technology resources; ensure sufficient operating as well as capital funding; eliminate constraints on use of data from commercial software; and, adopt and embrace open-source software development using an "open government" model.by Anthony Charles Rizos.M.C.P.and S.B.in Plannin

INVESTIGATING ICT SOLUTIONS FOR THE PUBLIC TRANSPORTATION SYSTEM IMPROVEMENT IN THE FREE STATE: OPPORTUNITIES AND CHALLENGES

ThesisInefficiencies in the public transportation system in the Free State province resulting in poor quality public transportation has led to the investigation of Information and Communication Technology (ICT) solutions to improve the system, through integration, and the challenges and opportunities that may result from this integration. This research investigates ICT solutions for public transportation improvement focusing on the challenges and opportunities for all stakeholders of the public transportation system. Critical review of South African legislation and policies on public transportation and ICT was carried out. This was to review government laws and policies governing public transportation development. It also reviewed how the government planned on improving public transportation, developments so far based on those plans and future plans, and how these legislations by the government have been carried out in the Free State province. A theoretical framework was developed to lay out expectations for the integration process including the adoption of technologies and adaptations to the new integrated public transportation system based on technology acceptance and diffusion theories. Questionnaire and Interview surveys were carried out on public transportation vehicle owners, drivers, public transportation users and non-users to assess the current state of public transportation, their needs that could potentially be solved by ICT and the challenges likely to be faced. The use of questionnaires was also to assist in identifying and defining elements needed for successful integration of ICT into the system. ICT experts, transportation planners, academics, public transportation owners and users were also interviewed to gain more understanding and insight on ICT solutions, the public transportation systems, technologies for potential use in the public transportation system and challenges that may arise due to integration

Program Analysis Based Approaches to Ensure Security and Safety of Emerging Software Platforms

Our smartphones, homes, hospitals, and automobiles are being enhanced with software that provide an unprecedentedly rich set of functionalities, which has created an enormous market for the development of software that run on almost every personal computing devices in a person's daily life, including security- and safety-critical ones. However, the software development support provided by the emerging platforms also raises security risks by allowing untrusted third-party code, which can potentially be buggy, vulnerable or even malicious to control user's device. Moreover, as the Internet-of-Things (IoT) technology is gaining vast adoptions by a wide range of industries, and is penetrating every aspects of people's life, safety risks brought by the open software development support of the emerging IoT platform (e.g., smart home) could bring more severe threat to the well-being of customers than what security vulnerabilities in mobile apps have done to a cell phone user. To address this challenge posed on the software security in emerging domains, my dissertation focuses on the flaws, vulnerabilities and malice in the software developed for platforms in these domains. Specifically, we demonstrate that systematic program analyses of software (1) Lead to an understanding of design and implementation flaws across different platforms that can be leveraged in miscellaneous attacks or causing safety problems; (2) Lead to the development of security mechanisms that limit the potential for these threats.We contribute static and dynamic program analysis techniques for three modern platforms in emerging domains -- smartphone, smart home, and autonomous vehicle. Our app analysis reveals various different vulnerabilities and design flaws on these platforms, and we propose (1) static analysis tool OPAnalyzer to automates the discovery of problems by searching for vulnerable code patterns; (2) dynamic testing tool AutoFuzzer to efficiently produce and capture domain specific issues that are previously undefined; and (3) propose new access control mechanism ContexIoT to strengthen the platform's immunity to the vulnerability and malice in third-party software. Concretely, we first study a vulnerability family caused by the open ports on mobile devices, which allows remote exploitation due to insufficient protection. We devise a tool called OPAnalyzer to perform the first systematic study of open port usage and their security implications on mobile platform, which effectively identify and characterize vulnerable open port usage at scale in popular Android apps. We further identify the lack of context-based access control as a main enabler for such attacks, and begin to seek for defense solution to strengthen the system security. We study the popular smart home platform, and find the existing access control mechanisms to be coarse-grand, insufficient, and undemanding. Taking lessons from previous permission systems, we propose the ContexIoT approach, a context-based permission system for IoT platform that supports third-party app development, which protects the user from vulnerability and malice in these apps through fine-grained identification of context. Finally, we design dynamic fuzzing tool, AutoFuzzer for the testing of self-driving functionalities, which demand very high code quality using improved testing practice combining the state-of-the-art fuzzing techniques with vehicular domain knowledge, and discover problems that lead to crashes in safety-critical software on emerging autonomous vehicle platform.PHDComputer Science & EngineeringUniversity of Michigan, Horace H. Rackham School of Graduate Studieshttps://deepblue.lib.umich.edu/bitstream/2027.42/145845/1/jackjia_1.pd

Requirements of the SALTY project

This document is the first external deliverable of the SALTY project (Self-Adaptive very Large disTributed sYstems), funded by the ANR under contract ANR-09-SEGI-012. It is the result of task 1.1 of the Work Package (WP) 1 : Requirements and Architecture. Its objective is to identify and collect requirements from use cases that are going to be developed in WP 4 (Use cases and Validation). Based on the study and classification of the use cases, requirements against the envisaged framework are then determined and organized in features. These features will aim at guide and control the advances in all work packages of the project. As a start, features are classified, briefly described and related scenarios in the defined use cases are pinpointed. In the following tasks and deliverables, these features will facilitate design by assigning priorities to them and defining success criteria at a finer grain as the project progresses. This report, as the first external document, has no dependency to any other external documents and serves as a reference to future external documents. As it has been built from the use cases studies that have been synthesized in two internal documents of the project, extracts from the two documents are made available as appendices (cf. appen- dices B and C)