Search NASASearch

Engineering topics

Jeremy D. Frank

Publications and source records attributed to Jeremy D. Frank.

AMO-EXPRESS-2.5: Crew Autonomy Onboard the International Space Station

NASA is committed to landing American astronauts, including the first woman and the next man, on the Moon by 2024. Currently, the crew cannot take on all functions performed by the ground today, so the future crews will need more automation to reduce the crew workload for future missions. Of significant importance for these missions is the balance between crew autonomy and vehicle automation. The Advanced Exploration Systems (AES) Autonomous Systems and Operations (ASO) Project has been investigating the ability to evaluate crew self-scheduling and activity monitoring for future space missions. The ASO project designed the Autonomous Mission and Operations- EXpedite the PRocessing of Experiments to Space Station Rack-2.5 (AMO-EXPRESS-2.5) payload to evaluate crew self-scheduling and activity monitoring. The AMO-EXPRESS-2.5 builds on the previous AMO-EXPRESS and AMO-EXPRESS-2.0 demonstrations on ISS. The AMO-EXPRESS-2.5 demonstration goals are to prove crew self-scheduling by planning through diagnosing systems expertise, failure detection, procedure recommendation and situational awareness. This paper will describe the development, test and execution results of the AMO-EXPRESS-2.5 demonstration, and will also outline the future planned development and operational efforts to enable autonomy for future deep space manned missions.

Brooke C. Allen

Swarm Mentality: Toward Automatic Swarm State Awareness with Runtime Verification

Cyber-Physical Systems (CPSs) already exhibit impressive performance in all areas of human life, and swarms of CPSs promise to increase their capabilities even further. However, to effectively utilize CPS swarms their complexity of operation has to scale sub-linearly with the number of swarm members. Presenting the swarm to an operator as a single entity almost eliminates the additional per-member overhead entirely. To operate a swarm as one entity, and/or to increase the swarm’s autonomy, the operator and the swarm members need to reason and communicate at the same level of abstraction, i.e. the swarm needs a sense of “self.” Therefore, we require the ability to specify whole swarm properties yet monitor them at the member level. We examine one architecture for achieving this awareness by: 1) Defining a taxonomy for comparing techniques that synthesize this belief-state 2) Propose use of the Runtime Verification formal method to fill this role 3) Present preliminary designs for extending and embedding such a system in the Distributed Spacecraft Autonomy architecture to generate per-member monitors from swarm level specification.

Runtime Verification

Interactive Mars: A Direct-Experience Mission

As NASA prepares to explore Mars, we describe an innovative architecture that could be based on public-private partnerships to offset the costs of such a mission, while demonstrating many of the key technologies—propulsion, communications, autonomy, and landing systems—that will be needed for future human exploration. We propose that NASA could use this capability to deliver dozens of small rovers to several sites on Mars to enable the creation of interactive games that would be operated commercially and sponsored privately. NASA would get a reduced cost to demonstrate a portion of the infrastructure needed for human exploration, and the private sector would get access to a new market and sponsorship opportunities for a broadly popular activity. In addition, our proposed architecture could enable a new, intuitive means for scientists to interpret data and conduct ground operations. This proposal is to broadly develop the overall concept, while focusing on the design of the novel communications system, developing requirements for the software architecture needed to control the rovers and implement gaming, and developing gaming concepts.

Carolyn R. Mercer