Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “high-level overview”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 127 records · Page 7

Performance Evaluation of Communication Software Systems for Distributed Computing

In recent years there has been an increasing interest in object-oriented distributed computing since it is better quipped to deal with complex systems while providing extensibility, maintainability, and reusability. At the same time, several new high-speed network technologies have emerged for local and wide area networks. However, the performance of networking software is not improving as fast as the networking hardware and the workstation microprocessors. This paper gives an overview and evaluates the performance of the Common Object Request Broker Architecture (CORBA) standard in a distributed computing environment at NASA Ames Research Center. The environment consists of two testbeds of SGI workstations connected by four networks: Ethernet, FDDI, HiPPI, and ATM. The performance results for three communication software systems are presented, analyzed and compared. These systems are: BSD socket programming interface, IONA's Orbix, an implementation of the CORBA specification, and the PVM message passing library. The results show that high-level communication interfaces, such as CORBA and PVM, can achieve reasonable performance under certain conditions.

Fatoohi, Rod↗

Communications Dashboard (Control Rooms Take a Cue from Facebook), Chapter 1

Papers published via IEEE and AIAA conferences have presented an overview of how social media could benefit NASA working environments in general and proposed three specific social applications to benefit space flight control operations. One of them, Communications Dashboard, would help a real time flight controller keep up with both the "big picture" and significant details of operations via a cohesive interface similar to those of social networking services (SNS). Instead of recreational social features, "CommDash" would support functions like console logging, categorized and threaded text chat streams with enhanced accountability and graphics display features, high-level status displays driven by telemetry or other events, and an on-screen hailing function for requesting voice or text stream conversation. Moving certain voice conversations to text streams would reduce confusion and stress in two ways. Within text conversations, there would be far less repetition of content since text conversations have visual persistence and are reviewable instantly, e.g., there s no need to brief new participants to a discussion -- they just read what s already there. Remaining voice traffic would stand out more clearly, and quieter voice loops means fewer "say again" calls and less distraction from visual and mental tasks, thus less stress. (Most flight controllers monitor 4 or 5 voice loops at once.) Links could be created from console log entries to chat selections so that underlying details are readily available yet unobtrusive. This would reduce the confusion that rises from having multiple and sometimes divergent copies of the same information due to cut/copy and paste operations, attachments, and asynchronous editing. This concept could apply to a plethora of real time control environments and to other settings with lots of information juggling. This paper explores the dashboard concept in further detail and chronicles the first phase of a NASA IT Labs (Information Technology) project that could lead to a working system

Scott, David w.↗

Global Precipitation Measurement (GPM) Mission: Precipitation Processing System (PPS) GPM Mission Gridded Text Products Provide Surface Precipitation Retrievals

In February 2015, the Global Precipitation Measurement (GPM) mission core satellite will complete its first year in space. The core satellite carries a conically scanning microwave imager called the GPM Microwave Imager (GMI), which also has 166 GHz and 183 GHz frequency channels. The GPM core satellite also carries a dual frequency radar (DPR) which operates at Ku frequency, similar to the Tropical Rainfall Measuring Mission (TRMM) Precipitation Radar, and a new Ka frequency. The precipitation processing system (PPS) is producing swath-based instantaneous precipitation retrievals from GMI, both radars including a dual-frequency product, and a combined GMIDPR precipitation retrieval. These level 2 products are written in the HDF5 format and have many additional parameters beyond surface precipitation that are organized into appropriate groups. While these retrieval algorithms were developed prior to launch and are not optimal, these algorithms are producing very creditable retrievals. It is appropriate for a wide group of users to have access to the GPM retrievals. However, for researchers requiring only surface precipitation, these L2 swath products can appear to be very intimidating and they certainly do contain many more variables than the average researcher needs. Some researchers desire only surface retrievals stored in a simple easily accessible format. In response, PPS has begun to produce gridded text based products that contain just the most widely used variables for each instrument (surface rainfall rate, fraction liquid, fraction convective) in a single line for each grid box that contains one or more observations.This paper will describe the gridded data products that are being produced and provide an overview of their content. Currently two types of gridded products are being produced: (1) surface precipitation retrievals from the core satellite instruments GMI, DPR, and combined GMIDPR (2) surface precipitation retrievals for the partner constellation satellites. Both of these gridded products are generated for a.25 degree x.25 degree hourly grid, which are packaged into daily ASCII (American Standard Code for Information Interchange) files that can downloaded from the PPS FTP (File Transfer Protocol) site. To reduce the download size, the files are compressed using the gzip utility.This paper will focus on presenting high-level details about the gridded text product being generated from the instruments on the GPM core satellite. But summary information will also be presented about the partner radiometer gridded product. All retrievals for the partner radiometer are done using the GPROF2014 algorithmusing as input the PPS generated inter-calibrated 1C product for the radiometer.

precipitation↗

Robotic Lunar Exploration

This presentation describes current Lunar Exploration plans and objectives. It begins with specific statements from the President s vision for U.S. Space Exploration which pertain to robotic lunar missions. An outline of missions objectives is provided, along with a high-level schedule of events through the year 2025. Focus is then given to the Lunar Robotic and Precursor Program (LPRP) to describe objectives and goals. Recent developments in the Program are explained - specifically, the renaming of the RLEP program to "LPRP" and the movement of the program office to MSFC. A brief summary of the synergy expected between the robotic and crewed missions, with the LSAM descent stage Project is given. The Lunar Reconnaissance Orbiter mission, with its co-manifested Lunar Crater Observation and Sensing Satellite (LCROSS), is then described with an overview of the payloads and mission objectives. Finally, information is given about the expected future of the LPRP program and Exploration and the development of a compressive Lunar Exploration Architecture.

Echols, Raymond↗

An Overview of the Layered and Extensible Aircraft Performance System (LEAPS) Development

The Layered and Extensible Aircraft Performance System (LEAPS) is a new sizing and synthesis tool being developed within the Aeronautics Systems Analysis Branch (ASAB) at NASA Langley Research Center. It is a modular, multidisciplinary, multi- fidelity sizing and synthesis tool for modeling advanced aircraft concepts and architectures such as electric/hybrid-electric propulsion, unconventional propulsion airframe integration, and non-traditional mission trajectories. The development of LEAPS is motivated by the lack of existing tools that meet the needs of ASAB. The Flight Optimization System (FLOPS) has been the primary sizing and synthesis tool of ASAB for three decades. However, FLOPS has a number of limitations that make it dicult to use for unconventional aircraft designs. Three high-level goals have been adopted to guide the LEAPS development pro- cess. LEAPS is being developed in Python with an architecture built to enable a exible and extensible analysis capability using the concept of an aircraft object that combines data and analysis models. Five challenge problems for LEAPS have been identi ed to measure progress: analysis of a conventional tube-and-wing aircraft using legacy methods, coupled aeroelastic analysis for weight estimation of a conventional tube-and-wing aircraft, analysis of an advanced hybrid-electric concept, analysis of the X-57 Maxwell distributed electric propulsion aircraft, and optimization of the trajectory of a supersonic vehicle to minimize sonic boom. LEAPS will be a publicly available capability of exceptional quality with modularity and extensibility that makes it a robust tool for design and analysis of current and future unconventional aircraft concepts.

Welstead, Jason R.↗

Mission Design Overview for Mars 2003/2005 Sample Return Mission

In May 2003, a new and exciting chapter in Mars exploration will begin with the launch of the first of three spacecraft that will collectively contribute toward the goal of delivering samples from the Red Planet to Earth. This mission is called Mars Sample Return (MSR) and will utilize both the 2003 and 2005 launch opportunities with an expected sample return in October 2008. NASA and CNES are major partners in this mission. The baseline mission mode selected for MSR is Mars orbit rendezvous (MOR), analogous in concept to the lunar orbit rendezvous (LOR) mode used for Apollo in the 1960s. Specifically, MSR will employ two NASA-provided landers of nearly identical design and one CNES-provided orbiter carrying a NASA payload of rendezvous sensors, orbital capture mechanisms, and an Earth entry vehicle (EEV). The high-level concept is that the landers will launch surface samples into Mars orbit, and the orbiter will retrieve the samples in orbit and then carry them back to Earth. The first element to depart for Mars will be one of the two landers. Currently, it is proposed that an intermediate class launch vehicle, such as the Boeing Delta 3 or Lockheed Martin Atlas 3A, will launch this 1800-kg lander from Cape Canaveral during the May 2003 opportunity. The lander will utilize a Type-1 transfer trajectory with an arrival at Mars in mid-December 2003. Landing will be aided by precision approach navigation and a guided hypersonic entry to achieve a touchdown accuracy of 10 km or better. Although the exact landing site has not yet been determined, it is estimated that lander resource constraints will limit the site to between 15 degrees north and south latitudes. Following touchdown, the lander will deploy a six-wheeled, 60-kg rover carrying an extensive suite of instruments designed to aid in the analysis of the local terrain and collection of core samples from selected rocks. The surface mission is currently designed around a concept called the surface traverse. Each traverse will involve the rover exploring a selected area of terrain up to 100 meters from the lander, the collection of rock core samples, and the delivery of the samples from the traverse back to a sample canister on the lander. Planning estimates indicate that up to three traverses may be possible during the expected 90-sol lifetime of the lander. The canister that will receive the samples from the rover will be attached to the top stage of a small solid-fueled rocket mounted to the deck of the lander. This rocket is called the Mars Ascent Vehicle (MAV) and consists of three stages weighing a total of about 140 kg. After the conclusion of the surface mission, the MAV will lift-off and insert the sample canister into a near-circular orbit with an altitude of about 600 km and inclination of 45 degrees. The sample canister will wait in this orbit until it is retrieved by the orbiter sometime in early 2007. In August 2005, the second lander and a CNES-provided orbiter weighing 2700 kg will depart for Mars. Currently, it is proposed that a single Ariane 5 provided by CNES will launch both of these two elements onto a Type-2 transfer trajectory. Although the orbiter and lander will be launched together, they will separate shortly after injection and will fly to Mars as two independent spacecraft. However, both spacecraft will perform a maneuver between 10 and 15 days after launch so that their arrival times at Mars differ by between 12 and 24 hours. This scheme will reduce the operational complexity at the encounter date. A set of four 60-kg surface probes will ride piggyback on the orbiter to Mars. These CNES-provided probes are called Netlanders and will serve as surface stations for scientific investigations independent of the Mars Sample Return goals. Starting approximately one month prior to arrival at Mars, the orbiter will begin to release the Netlanders one at a time. Each release cycle will take several days, and will include time for precision navigation to execute one or two maneuvers that will target the Netlanders to their proper landing site. All four deployment cycles will be completed prior to 10 days before arrival. Both the orbiter and lander will arrive in late-July 2006. Upon arrival, the lander will perform a precision landing and surface mission similar in concept to the one that was executed during the 2003 opportunity. Although the landing site for the 2005 opportunity has not been selected, it is expected to be different from the 2003 site to enhance the diversity of the collected samples. The orbiter's arrival at Mars will be highlighted by the first use of aerocapture to insert a spacecraft into a capture orbit around another planet. The choice of aerocapture, as opposed to a propulsive orbit insertion, was considered mission enabling due to a reduction of over 2000 m/s in mission AV. Aerocapture will be targeted to produce a 250 km x 1400 km capture orbit with an inclination of 45 degrees. Current analysis indicates that achieving this goal will require approximately six minutes of flight deep in the atmosphere with a targeted periapsis of approach of about 43 km. After factoring into account the penalty for carrying a heat shield to survive aerocapture, the net savings compared to a propulsive orbital insertion amounts to several hundred kilograms.

Lee, Wayne J.↗

Functional Fault Model Development Process to Support Design Analysis and Operational Assessment

A functional fault model (FFM) is an abstract representation of the failure space of a given system. As such, it simulates the propagation of failure effects along paths between the origin of the system failure modes and points within the system capable of observing the failure effects. As a result, FFMs may be used to diagnose the presence of failures in the modeled system. FFMs necessarily contain a significant amount of information about the design, operations, and failure modes and effects. One of the important benefits of FFMs is that they may be qualitative, rather than quantitative and, as a result, may be implemented early in the design process when there is more potential to positively impact the system design. FFMs may therefore be developed and matured throughout the monitored system's design process and may subsequently be used to provide real-time diagnostic assessments that support system operations. This paper provides an overview of a generalized NASA process that is being used to develop and apply FFMs. FFM technology has been evolving for more than 25 years. The FFM development process presented in this paper was refined during NASA's Ares I, Space Launch System, and Ground Systems Development and Operations programs (i.e., from about 2007 to the present). Process refinement took place as new modeling, analysis, and verification tools were created to enhance FFM capabilities. In this paper, standard elements of a model development process (i.e., knowledge acquisition, conceptual design, implementation & verification, and application) are described within the context of FFMs. Further, newer tools and analytical capabilities that may benefit the broader systems engineering process are identified and briefly described. The discussion is intended as a high-level guide for future FFM modelers.

Verification↗

An overview of reference user services during the ATDRSS (Advanced Tracking and Data Relay Satellite System) era

The Tracking and Data Relay Satellite System (TDRSS) is an integral part of the overall NASA Space Network (SN) that will continue to evolve into the 1990's. Projections for the first decade of the 21st century indicate the need for an SN evolution that must accommodate growth int he LEO user population and must further support the introduction of new/improved user services. A central ingredient of this evolution is an Advanced TDRSS (ATDRSS) follow-on to the current TDRSS that must initiate operations by the late 1990's in a manner that permits an orderly transition from the TDRSS to the ATDRSS era. An SN/ATDRSS architectural and operational concept that will satisfy the above goals is being developed. To this date, an SN/ATDRSS baseline concept was established that provides users with an end-to-end data transport (ENDAT) service. An expanded description of the baseline ENDAT concept, from the user perspective, is provided with special emphasis on the TDRSS/ATDRSS evolution. A high-level description of the end-to-end system that identifies the role of ATDRSS is presented; also included is a description of the baseline ATDRSS architecture and its relationship with the TDRSS 1996 baseline. Other key features of the ENDAT service are then expanded upon, including the multiple grades of service, and the RF telecommunications/tracking services to be available. The ATDRSS service options are described.

Weinberg, Aaron↗

Overview of NASA GRC Stirling Technology Development

The Stirling Radioisotope Generator (SRG) is currently being developed by Lockheed Martin Astronautics (LMA) under contract to the Depar1ment of Energy (DOE). The generator will be a high efficiency electric power source for NASA Space Science missions with the capability to operate in the vacuum of deep space or in an atmosphere such as on the surface of Mars. High system efficiency is obtained through the use of free-piston Stirling power conversion technology. Power output of the generator will be greater than 100 watts at the beginning of life with the decline in power being largely due to the decay of the plutonium heat source. In suppOl1 of the DOE SRG project, the NASA Glenn Research Center (GRC) has established a near-term technology effort to provide some of the critical data to ensure a successful transition to flight for what will be the first dynamic power system used in space. Initially, a limited number of technical areas were selected for the GRC effort, however this is now being expanded to more thoroughly cover a range of technical issues. The tasks include in-house testing of Stirling convertors and controllers, materials evaluation and heater head life assessment, structural dynamics, electromagnetic interference, organics evaluation, and reliability analysis. Most of these high-level tasks have several subtasks within. There is also an advanced technology effort that is complementary near-term technology effort. Many of the tests make use of the 55-We Technology Demonstration Convel10r (TDC). There have been multiple controller tests to support the LMA flight controller design effort. Preparation is continuing for a thermal/vacuum system demonstration. A pair of flight prototype TDC's have recently been placed on an extended test with unattended, continuous operation. Heater head life assessment efforts continue, with the material data being refined and the analysis moving toward the system perspective. Long-term magnet aging tests are continuing to characterize any possible aging in the strength or demagnetization resistance of the permanent magnets used in the linear alternator. In a parallel effort, higher performance magnets are also being evaluated. A reliability effort is being initiated that will help to guide the development activities with an increased focus on the necessary components and subsystems. Some other disciplines that are active in the GRC technology effort include structural dynamics, linear alternator analysis, EMI/EMC, controls, and mechanical design evaluation. This paper will provide an overview of some of the GRC technical efforts, including the current status, and a description of future efforts.

Schreiber, Jeffrey↗

Advanced Technologies for Robotic Exploration Leading to Human Exploration: Results from the SpaceOps 2015 Workshop

This paper will provide a summary and analysis of the SpaceOps 2015 Workshop all-day session on "Advanced Technologies for Robotic Exploration, Leading to Human Exploration", held at Fucino Space Center, Italy on June 12th, 2015. The session was primarily intended to explore how robotic missions and robotics technologies more generally can help lead to human exploration missions. The session included a wide range of presentations that were roughly grouped into (1) broader background, conceptual, and high-level operations concepts presentations such as the International Space Exploration Coordination Group Roadmap, followed by (2) more detailed narrower presentations such as rover autonomy and communications. The broader presentations helped to provide context and specific technical hooks, and helped lay a foundation for the narrower presentations on more specific challenges and technologies, as well as for the discussion that followed. The discussion that followed the presentations touched on key questions, themes, actions and potential international collaboration opportunities. Some of the themes that were touched on were (1) multi-agent systems, (2) decentralized command and control, (3) autonomy, (4) low-latency teleoperations, (5) science operations, (6) communications, (7) technology pull vs. technology push, and (8) the roles and challenges of operations in early human architecture and mission concept formulation. A number of potential action items resulted from the workshop session, including: (1) using CCSDS as a further collaboration mechanism for human mission operations, (2) making further contact with subject matter experts, (3) initiating informal collaborative efforts to allow for rapid and efficient implementation, and (4) exploring how SpaceOps can support collaboration and information exchange with human exploration efforts. This paper will summarize the session and provide an overview of the above subjects as they emerged from the SpaceOps 2015 Workshop session.

space operations↗

Utilizing Gaps and Key Performance Parameters to Inform NASA Environmental Control and Life Support and Human Health and Performance Capability Technology Decisions

Human spaceflight is a complex endeavor requiring a multitude of capabilities for transportation, crew health, scientific goals, and safe return to Earth. The difference between spaceflight proven capabilities and those needed for a particular mission is defined as a capability gap. Capability gaps are not technology specific. Each capability gap is approachable with a wide array of technologies that have unique benefits and challenges. Determining what a capability’s relevant and distinguishing key performance parameters (KPPs) are for a mission is critical. Mass, power, and volume are always constrained and important, but defining these in a way normalized by performance is challenging. Additionally, KPP definition for reliability, dormancy, and integration needs are very important and still evolving. This paper provides the approach of the Environmental Control and Life Support – Crew Health and Performance (ECLSS-CHP) System Capability Leadership Team (SCLT) to defining gaps and KPPs in support of the NASA’s Capabilities Integration Team data call objectives. The nine ECLSS-CHP capability areas are decomposed to capabilities, gaps, and KPPs. Rather than defining very detailed gaps, ECLSS-CHP defines high-level gaps to be technology agnostic. Within a gap, detailed KPPs are defined to both compare technologies and measure progress within a technology over time. Ideally, KPPs are clearly defined, widely communicated both internally and externally, and provide a common nomenclature to describe the state of the art and the degree of improvement required for exploration missions. KPPs help define when the gap is closed and the core mission objectives can be accomplished. Further technology improvements to enhance the capability, as measured by improved KPPs, must then be weighed against investments in open capability gaps that prevent NASA from achieving its exploration missions. It is uncommon that a technology maturation to improve all the relevant KPPs simultaneously but using KPPs is a critical technology investment decision making component. In addition to traditional technology selections, KPPs are informing how investments in ground testing prior to and in parallel with ISS technology demonstrations are required to improve reliability KPPs. The collection of all major technology activities within a capability area are captured on technology roadmaps to communicate how diverse program activities are coordinated to close gaps and infuse into exploration mission needs. A selection of ECLSS-CHP gaps and KPPs and their formulation, current state, and how they inform capability roadmap planning are discussed. The paper will contain a summary of the approximately 60 gaps. Gaps are classified as to their type (architecture, knowledge, technology, developmental, or engineering) depending on the magnitude of the gap. The paper will provide brief overviews of a few major technology challenges and the technologies being considered, but will reference detailed papers for a more thorough treatment of the challenges and state of the art. Data analysis of the gaps is in work and results are not currently available for this abstract. It is anticipated the paper will include examples of select KPPs with descriptions as to why these are the relevant measures. Additionally some KPPs will be graphically presented over time to show progress to date and when performance targets need to be achieved to support exploration missions. Graphical summaries of how gaps closures with near term mission elements support follow-on mission elements will be provided.

Life Support↗

Overview of the Mars 2020 Parachute Risk Reduction Activity

In 2012, the Mars Science Laboratory (MSL) landed safely on the surface of Mars using a supersonic Disk-Gap-Band (DGB) parachute, which was structurally qualified for flight via a subsonic wind tunnel test program. Results of the Low Density Supersonic Decelerators (LDSD) program have called into question the methodology and principles that form the foundation of the MSL subsonic test program. LDSD discovered that quasi-static subsonic proof loading a parachute via ground testing may not provide canopy stresses that sufficiently bound the stresses experienced during a rapid supersonic inflation at Mars. Additionally, deeper scrutiny of the materials and structural margins present in previously successful supersonic DGBs indicated that the MSL parachute flew with lowest margins of any previous parachute. These factors have increased the perceived risk of reusing a heritage MSL DGB parachute design with a subsonic test program for Mars 2020. To reduce this risk,a series of risk reduction steps were initiated starting in 2016. First, two parachute assemblies have been pursued in parallel: a Build-to-Print (BTP) MSL parachute, designed and manufactured by Pioneer Aerospace Corporation, which maintains the heritage of the successful MSL parachute, and a strengthened parachute, designed and manufactured by Airborne Systems North America, which uses higher strength materials throughout the parachute assembly but maintains the same overall size as the MSL parachute. Second, each parachute system was tested in a subsonic wind tunnel to examine the canopies in their fully inflated state and assess the workmanship of each canopy. Finally, full-scale parachutes from each vendor will experience at least one supersonic inflation at Mars relevant Mach numbers and atmospheric densities at Earth via a supersonic sounding rocket test campaign. This paper presents high-level details regarding the risk reduction strategy, the two candidate parachute configurations, the ground test program, and the supersonic flight test program, and brief results from each of the test programs.

Chen, Allen↗

Optical and digital pattern recognition; Proceedings of the Meeting, Los Angeles, CA, Jan. 13-15, 1987

The papers presented in this volume provide an overview of current research in both optical and digital pattern recognition, with a theme of identifying overlapping research problems and methodologies. Topics discussed include image analysis and low-level vision, optical system design, object analysis and recognition, real-time hybrid architectures and algorithms, high-level image understanding, and optical matched filter design. Papers are presented on synthetic estimation filters for a control system; white-light correlator character recognition; optical AI architectures for intelligent sensors; interpreting aerial photographs by segmentation and search; and optical information processing using a new photopolymer.

Liu, Hua-Kuang↗

A summary of image segmentation techniques

Machine vision systems are often considered to be composed of two subsystems: low-level vision and high-level vision. Low level vision consists primarily of image processing operations performed on the input image to produce another image with more favorable characteristics. These operations may yield images with reduced noise or cause certain features of the image to be emphasized (such as edges). High-level vision includes object recognition and, at the highest level, scene interpretation. The bridge between these two subsystems is the segmentation system. Through segmentation, the enhanced input image is mapped into a description involving regions with common features which can be used by the higher level vision tasks. There is no theory on image segmentation. Instead, image segmentation techniques are basically ad hoc and differ mostly in the way they emphasize one or more of the desired properties of an ideal segmenter and in the way they balance and compromise one desired property against another. These techniques can be categorized in a number of different groups including local vs. global, parallel vs. sequential, contextual vs. noncontextual, interactive vs. automatic. In this paper, we categorize the schemes into three main groups: pixel-based, edge-based, and region-based. Pixel-based segmentation schemes classify pixels based solely on their gray levels. Edge-based schemes first detect local discontinuities (edges) and then use that information to separate the image into regions. Finally, region-based schemes start with a seed pixel (or group of pixels) and then grow or split the seed until the original image is composed of only homogeneous regions. Because there are a number of survey papers available, we will not discuss all segmentation schemes. Rather than a survey, we take the approach of a detailed overview. We focus only on the more common approaches in order to give the reader a flavor for the variety of techniques available yet present enough details to facilitate implementation and experimentation.

Spirkovska, Lilly↗

Overview of Intelligent Systems and Operations Development

To achieve NASA's ambitious mission objectives for the future, aircraft and spacecraft will need intelligence to take the correct action in a variety of circumstances. Vehicle intelligence can be defined as the ability to "do the right thing" when faced with a complex decision-making situation. It will be necessary to implement integrated autonomous operations and low-level adaptive flight control technologies to direct actions that enhance the safety and success of complex missions despite component failures, degraded performance, operator errors, and environment uncertainty. This paper will describe the array of technologies required to meet these complex objectives. This includes the integration of high-level reasoning and autonomous capabilities with multiple subsystem controllers for robust performance. Future intelligent systems will use models of the system, its environment, and other intelligent agents with which it interacts. They will also require planners, reasoning engines, and adaptive controllers that can recommend or execute commands enabling the system to respond intelligently. The presentation will also address the development of highly dependable software, which is a key component to ensure the reliability of intelligent systems.

Pallix, Joan↗

Design Methods and Practices for Fault Prevention and Management in Spacecraft

Integrated Systems Health Management (ISHM) is intended to become a critical capability for all space, lunar and planetary exploration vehicles and systems at NASA. Monitoring and managing the health state of diverse components, subsystems, and systems is a difficult task that will become more challenging when implemented for long-term, evolving deployments. A key technical challenge will be to ensure that the ISHM technologies are reliable, effective, and low cost, resulting in turn in safe, reliable, and affordable missions. To ensure safety and reliability, ISHM functionality, decisions and knowledge have to be incorporated into the product lifecycle as early as possible, and ISHM must be considered as an essential element of models developed and used in various stages during system design. During early stage design, many decisions and tasks are still open, including sensor and measurement point selection, modeling and model-checking, diagnosis, signature and data fusion schemes, presenting the best opportunity to catch and prevent potential failures and anomalies in a cost-effective way. Using appropriate formal methods during early design, the design teams can systematically explore risks without committing to design decisions too early. However, the nature of ISHM knowledge and data is detailed, relying on high-fidelity, detailed models, whereas the earlier stages of the product lifecycle utilize low-fidelity, high-level models of systems and their functionality. We currently lack the tools and processes necessary for integrating ISHM into the vehicle system/subsystem design. As a result, most existing ISHM-like technologies are retrofits that were done after the system design was completed. It is very expensive, and sometimes futile, to retrofit a system health management capability into existing systems. Last-minute retrofits result in unreliable systems, ineffective solutions, and excessive costs (e.g., Space Shuttle TPS monitoring which was considered only after 110 flights and the Columbia disaster). High false alarm or false negative rates due to substandard implementations hurt the credibility of the ISHM discipline. This paper presents an overview of the current state of ISHM design,and a review of formal design methods to make recommendations about possible approaches to enable the ISHM capabilities to be designed-in at the system-level, from the very beginning of the vehicle design process.

Tumer, Irem Y.↗

An Overview of Starfish: A Table-Centric Tool for Interactive Synthesis

Engineering is an interactive process that requires intelligent interaction at many levels. My thesis [1] advances an engineering discipline for high-level synthesis and architectural decomposition that integrates perspicuous representation, designer interaction, and mathematical rigor. Starfish, the software prototype for the design method, implements a table-centric transformation system for reorganizing control-dominated system expressions into high-level architectures. Based on the digital design derivation (DDD) system a designer-guided synthesis technique that applies correctness preserving transformations to synchronous data flow specifications expressed as co- recursive stream equations Starfish enhances user interaction and extends the reachable design space by incorporating four innovations: behavior tables, serialization tables, data refinement, and operator retiming. Behavior tables express systems of co-recursive stream equations as a table of guarded signal updates. Developers and users of the DDD system used manually constructed behavior tables to help them decide which transformations to apply and how to specify them. These design exercises produced several formally constructed hardware implementations: the FM9001 microprocessor, an SECD machine for evaluating LISP, and the SchemEngine, garbage collected machine for interpreting a byte-code representation of compiled Scheme programs. Bose and Tuna, two of DDD s developers, have subsequently commercialized the design derivation methodology at Derivation Systems, Inc. (DSI). DSI has formally derived and validated PCI bus interfaces and a Java byte-code processor; they further executed a contract to prototype SPIDER-NASA's ultra-reliable communications bus. To date, most derivations from DDD and DRS have targeted hardware due to its synchronous design paradigm. However, Starfish expressions are independent of the synchronization mechanism; there is no commitment to hardware or globally broadcast clocks. Though software back-ends for design derivation are limited to the DDD stream-interpreter, targeting synchronous or real-time software is not substantively different from targeting hardware.

Tsow, Alex↗

Lunar Exploration Architecture Level Key Drivers and Sensitivities

Strategic level analysis of the integrated behavior of lunar transportation and lunar surface systems architecture options is performed to assess the benefit, viability, affordability, and robustness of system design choices. This analysis employs both deterministic and probabilistic modeling techniques so that the extent of potential future uncertainties associated with each option are properly characterized. The results of these analyses are summarized in a predefined set of high-level Figures of Merit (FOMs) so as to provide senior NASA Constellation Program (CxP) and Exploration Systems Mission Directorate (ESMD) management with pertinent information to better inform strategic level decision making. The strategic level exploration architecture model is designed to perform analysis at as high a level as possible but still capture those details that have major impacts on system performance. The strategic analysis methodology focuses on integrated performance, affordability, and risk analysis, and captures the linkages and feedbacks between these three areas. Each of these results leads into the determination of the high-level FOMs. This strategic level analysis methodology has been previously applied to Space Shuttle and International Space Station assessments and is now being applied to the development of the Constellation Program point-of-departure lunar architecture. This paper provides an overview of the strategic analysis methodology and the lunar exploration architecture analyses to date. In studying these analysis results, the strategic analysis team has identified and characterized key drivers affecting the integrated architecture behavior. These key drivers include inclusion of a cargo lander, mission rate, mission location, fixed-versus- variable costs/return on investment, and the requirement for probabilistic analysis. Results of sensitivity analysis performed on lunar exploration architecture scenarios are also presented.

Goodliff, Kandyce↗