Search NASA⌕ Search

SEARCH · Search NASA

Results for “Object Oriented Programming”

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 253 records · Page 14

Precise and Efficient Static Array Bound Checking for Large Embedded C Programs

In this paper we describe the design and implementation of a static array-bound checker for a family of embedded programs: the flight control software of recent Mars missions. These codes are large (up to 250 KLOC), pointer intensive, heavily multithreaded and written in an object-oriented style, which makes their analysis very challenging. We designed a tool called C Global Surveyor (CGS) that can analyze the largest code in a couple of hours with a precision of 80%. The scalability and precision of the analyzer are achieved by using an incremental framework in which a pointer analysis and a numerical analysis of array indices mutually refine each other. CGS has been designed so that it can distribute the analysis over several processors in a cluster of machines. To the best of our knowledge this is the first distributed implementation of static analysis algorithms. Throughout the paper we will discuss the scalability setbacks that we encountered during the construction of the tool and their impact on the initial design decisions.

Venet, Arnaud↗

Using CLIPS in the domain of knowledge-based massively parallel programming

The Program Development Environment (PDE) is a tool for massively parallel programming of distributed-memory architectures. Adopting a knowledge-based approach, the PDE eliminates the complexity introduced by parallel hardware with distributed memory and offers complete transparency in respect of parallelism exploitation. The knowledge-based part of the PDE is realized in CLIPS. Its principal task is to find an efficient parallel realization of the application specified by the user in a comfortable, abstract, domain-oriented formalism. A large collection of fine-grain parallel algorithmic skeletons, represented as COOL objects in a tree hierarchy, contains the algorithmic knowledge. A hybrid knowledge base with rule modules and procedural parts, encoding expertise about application domain, parallel programming, software engineering, and parallel hardware, enables a high degree of automation in the software development process. In this paper, important aspects of the implementation of the PDE using CLIPS and COOL are shown, including the embedding of CLIPS with C++-based parts of the PDE. The appropriateness of the chosen approach and of the CLIPS language for knowledge-based software engineering are discussed.

Dvorak, Jiri J.↗

Verification of a landing dynamics computer program using Viking Lander data

An investigation was conducted to verify the accuracy of the Landing Dynamics Computer Program (LDCP) used to simulate the landing event of the Viking Lander (VL) on to the Martian surface. This verification was achieved by comparing the analytical data with results from a test program involving a dynamically scaled model of a VL configuration. A secondary objective of this study was to evaluate the sensitivity of the VL to initial rates and orientations, configuration modifications, and footpad friction.

Muraca, R. J.↗

Investigation of environmental effects on coatings for thermal control of large space vehicles

The objective of significantly advancing the state-of-the-art of white, spacecraft-radiator coatings has been realized in a comprehensive goal-oriented, pigmented-coatings research program. Considered were inorganic pigments and coatings, silicone polymers and coatings, the design and construction of a combined ultraviolet-plus-proton irradiation facility, the development of zinc orthotitanate pigment and coatings, and the effects on several low alpha sub s/epsilon paints of combined ultraviolet and proton irradiation.

Zerlaunt, G. A.↗

Dypas: A dynamic payload scheduler for shuttle missions

Decision and analysis systems have had broad and very practical application areas in the human decision making process. These software systems range from the help sections in simple accounting packages, to the more complex computer configuration programs. Dypas is a decision and analysis system that aids prelaunch shutlle scheduling, and has added functionality to aid the rescheduling done in flight. Dypas is written in Common Lisp on a Symbolics Lisp machine. Dypas differs from other scheduling programs in that it can draw its knowledge from different rule bases and apply them to different rule interpretation schemes. The system has been coded with Flavors, an object oriented extension to Common Lisp on the Symbolics hardware. This allows implementation of objects (experiments) to better match the problem definition, and allows a more coherent solution space to be developed. Dypas was originally developed to test a programmer's aptitude toward Common Lisp and the Symbolics software environment. Since then the system has grown into a large software effort with several programmers and researchers thrown into the effort. Dypas is currently using two expert systems and three inferencing procedures to generate a many object schedule. The paper will review the abilities of Dypas and comment on its functionality.

Davis, Stephen↗

Microgravity strategic planning exercise

The Center for Space and Advanced Technology supported a planning exercise for the Microgravity Program management at the Marshall Space Flight Center. The effort focused on the status of microgravity work at MSFC and elsewhere with the objective of preparing a goal-oriented strategic planning document which could be used for informational/brochure purposes. The effort entailed numerous interactions and presentations with Field Center programmatic components and Headquarters personnel. Appropriate material was consolidated in a draft format for a MSFC Strategic Plan.

Halpern, Richard↗

Artificial intelligence techniques for scheduling Space Shuttle missions

Planning and scheduling of NASA Space Shuttle missions is a complex, labor-intensive process requiring the expertise of experienced mission planners. We have developed a planning and scheduling system using combinations of artificial intelligence knowledge representations and planning techniques to capture mission planning knowledge and automate the multi-mission planning process. Our integrated object oriented and rule-based approach reduces planning time by orders of magnitude and provides planners with the flexibility to easily modify planning knowledge and constraints without requiring programming expertise.

Henke, Andrea L.↗

The U.S. and Japanese amorphous silicon technology programs A comparison

The U.S. Department of Energy/Solar Energy Research Institute Amorphous Silicon (a-Si) Solar Cell Program performs R&D on thin-film hydrogenated amorphous silicon for eventual development of stable amorphous silicon cells with 12 percent efficiency by 1988. The Amorphous Silicon Solar Cell Program in Japan is sponsored by the Sunshine Project to develop an alternate energy technology. While the objectives of both programs are to eventually develop a-Si photovoltaic modules and arrays that would produce electricity to compete with utility electricity cost, the U.S. program approach is research oriented and the Japanese is development oriented.

Shimada, K.↗

Window-Based Graphics For Scheduling

XOPPS computer program generates window-based graphics for scheduling and planning projects. Provides easy and fast on-screen "what-you-see-is-what-you-get" editing capabilities. Object-oriented, but unique in its capability for creating objects that have date attributes. Can be used in conjunction with project-management software. Written in C language for Sunseries workstations running SunOS. XOPPS was developed in 1992, based on the Sunview version of OPPS (NPO-18439) developed in 1990. It is copyrighted work with all copyright vested in NASA.

Mulnix, Cassie↗

Design for dependability: A simulation-based approach

This research addresses issues in simulation-based system level dependability analysis of fault-tolerant computer systems. The issues and difficulties of providing a general simulation-based approach for system level analysis are discussed and a methodology that address and tackle these issues is presented. The proposed methodology is designed to permit the study of a wide variety of architectures under various fault conditions. It permits detailed functional modeling of architectural features such as sparing policies, repair schemes, routing algorithms as well as other fault-tolerant mechanisms, and it allows the execution of actual application software. One key benefit of this approach is that the behavior of a system under faults does not have to be pre-defined as it is normally done. Instead, a system can be simulated in detail and injected with faults to determine its failure modes. The thesis describes how object-oriented design is used to incorporate this methodology into a general purpose design and fault injection package called DEPEND. A software model is presented that uses abstractions of application programs to study the behavior and effect of software on hardware faults in the early design stage when actual code is not available. Finally, an acceleration technique that combines hierarchical simulation, time acceleration algorithms and hybrid simulation to reduce simulation time is introduced.

Goswami, Kumar K.↗

Users' Guide to Vinci: Personal Computer Software for Planning Image-based Measurements in Wind Tunnels

Vinci is software that can be used to plan image-based measurements in wind tunnels. It allows the user to plan the placement of cameras and the choice of lenses well in advance of a test, thereby reducing the set-up time and cost when tunnel occupancy begins. It can also be used post-test to display data (pressure-sensitive paint, particle image velocimetry, model deformation) in context with the test article. Vinci is self-contained and runs on personal computers under Windows operating systems. No other software is required. Test articles are represented by CFD-like surface grids that may be read from an external file or created within the program as a combination of simple geometric shapes. The user controls the position and orientation of the test article through a Graphical User Interface (GUI) and may add many additional objects, including tunnel walls and windows, a wide variety of simple geometric shapes, mirrors, lamps, and laser sheets. The application computes simulated images from up to 40 cameras. Images are based on pinhole projection. Each camera is defined by the sensor size and the focal length of the lens. All camera parameters, including position and point angles, are controlled through the GUI. Simulated images are displayed in a window of the GUI and may be saved as bitmaps.

Users’ Guide, Image Planning, Wind Tunnels, Softwa↗

Alternative strategies for space station financing

The attributes of the proposed space station program are oriented toward research activities and technologies which generate long term benefits for mankind. Unless such technologies are deemed of national interest and thus are government funded, they must stand on their own in the market place. Therefore, the objectives of a United States space station should be based on commercial criteria; otherwise, such a project attracts no long term funding. There is encouraging evidence that some potential space station activities should generate revenues from shuttle related projects within the decade. Materials processing concepts as well as remote sensing indicate substantial potential. Futhermore, the economics and thus the commercial feasibility of such projects will be improved by the operating efficiencies available with an ongoing space station program.

Walklet, D. C.↗

Advanced techniques in reliability model representation and solution

The current tendency of flight control system designs is towards increased integration of applications and increased distribution of computational elements. The reliability analysis of such systems is difficult because subsystem interactions are increasingly interdependent. Researchers at NASA Langley Research Center have been working for several years to extend the capability of Markov modeling techniques to address these problems. This effort has been focused in the areas of increased model abstraction and increased computational capability. The reliability model generator (RMG) is a software tool that uses as input a graphical object-oriented block diagram of the system. RMG uses a failure-effects algorithm to produce the reliability model from the graphical description. The ASSURE software tool is a parallel processing program that uses the semi-Markov unreliability range evaluator (SURE) solution technique and the abstract semi-Markov specification interface to the SURE tool (ASSIST) modeling language. A failure modes-effects simulation is used by ASSURE. These tools were used to analyze a significant portion of a complex flight control system. The successful combination of the power of graphical representation, automated model generation, and parallel computation leads to the conclusion that distributed fault-tolerant system architectures can now be analyzed.

Palumbo, Daniel L.↗

ACTS mobile SATCOM experiments

Over the last decade, the demand for reliable mobile satellite communications (satcom) for voice, data, and video applications has increased dramatically. As consumer demand grows, the current spectrum allocation at L-band could become saturated. For this reason, NASA and the Jet Propulsion Laboratory are developing the Advanced Communications Technology Satellites (ACTS) mobile terminal (AMT) and are evaluating the feasibility of K/Ka-band (20/30 GHz) mobile satcom to meet these growing needs. U.S. industry and government, acting as co-partners, will evaluate K/Ka-band mobile satcom and develop new technologies by conducting a series of applications-oriented experiments. The ACTS and the AMT testbed will be used to conduct these mobile satcom experiments. The goals of the ACTS Mobile Experiments Program and the individual experiment configurations and objectives are further presented.

Abbe, Brian S.↗

Monte Carlo Methods in Materials Science Based on FLUKA and ROOT

A comprehensive understanding of mitigation measures for space radiation protection necessarily involves the relevant fields of nuclear physics and particle transport modeling. One method of modeling the interaction of radiation traversing matter is Monte Carlo analysis, a subject that has been evolving since the very advent of nuclear reactors and particle accelerators in experimental physics. Countermeasures for radiation protection from neutrons near nuclear reactors, for example, were an early application and Monte Carlo methods were quickly adapted to this general field of investigation. The project discussed here is concerned with taking the latest tools and technology in Monte Carlo analysis and adapting them to space applications such as radiation shielding design for spacecraft, as well as investigating how next-generation Monte Carlos can complement the existing analytical methods currently used by NASA. We have chosen to employ the Monte Carlo program known as FLUKA (A legacy acronym based on the German for FLUctuating KAscade) used to simulate all of the particle transport, and the CERN developed graphical-interface object-oriented analysis software called ROOT. One aspect of space radiation analysis for which the Monte Carlo s are particularly suited is the study of secondary radiation produced as albedoes in the vicinity of the structural geometry involved. This broad goal of simulating space radiation transport through the relevant materials employing the FLUKA code necessarily requires the addition of the capability to simulate all heavy-ion interactions from 10 MeV/A up to the highest conceivable energies. For all energies above 3 GeV/A the Dual Parton Model (DPM) is currently used, although the possible improvement of the DPMJET event generator for energies 3-30 GeV/A is being considered. One of the major tasks still facing us is the provision for heavy ion interactions below 3 GeV/A. The ROOT interface is being developed in conjunction with the CERN ALICE (A Large Ion Collisions Experiment) software team through an adaptation of their existing AliROOT (ALICE Using ROOT) architecture. In order to check our progress against actual data, we have chosen to simulate the ATIC14 (Advanced Thin Ionization Calorimeter) cosmic-ray astrophysics balloon payload as well as neutron fluences in the Mir spacecraft. This paper contains a summary of status of this project, and a roadmap to its successful completion.

Pinsky, Lawrence↗

Antiterrorist Software

In light of the escalation of terrorism, the Department of Defense spearheaded the development of new antiterrorist software for all Government agencies by issuing a Broad Agency Announcement to solicit proposals. This Government-wide competition resulted in a team that includes NASA Lewis Research Center's Computer Services Division, who will develop the graphical user interface (GUI) and test it in their usability lab. The team launched a program entitled Joint Sphere of Security (JSOS), crafted a design architecture (see the following figure), and is testing the interface. This software system has a state-ofthe- art, object-oriented architecture, with a main kernel composed of the Dynamic Information Architecture System (DIAS) developed by Argonne National Laboratory. DIAS will be used as the software "breadboard" for assembling the components of explosions, such as blast and collapse simulations.

Clark, David A.↗

Planetary Image Geometry Library

The Planetary Image Geometry (PIG) library is a multi-mission library used for projecting images (EDRs, or Experiment Data Records) and managing their geometry for in-situ missions. A collection of models describes cameras and their articulation, allowing application programs such as mosaickers, terrain generators, and pointing correction tools to be written in a multi-mission manner, without any knowledge of parameters specific to the supported missions. Camera model objects allow transformation of image coordinates to and from view vectors in XYZ space. Pointing models, specific to each mission, describe how to orient the camera models based on telemetry or other information. Surface models describe the surface in general terms. Coordinate system objects manage the various coordinate systems involved in most missions. File objects manage access to metadata (labels, including telemetry information) in the input EDRs and RDRs (Reduced Data Records). Label models manage metadata information in output files. Site objects keep track of different locations where the spacecraft might be at a given time. Radiometry models allow correction of radiometry for an image. Mission objects contain basic mission parameters. Pointing adjustment ("nav") files allow pointing to be corrected. The object-oriented structure (C++) makes it easy to subclass just the pieces of the library that are truly mission-specific. Typically, this involves just the pointing model and coordinate systems, and parts of the file model. Once the library was developed (initially for Mars Polar Lander, MPL), adding new missions ranged from two days to a few months, resulting in significant cost savings as compared to rewriting all the application programs for each mission. Currently supported missions include Mars Pathfinder (MPF), MPL, Mars Exploration Rover (MER), Phoenix, and Mars Science Lab (MSL). Applications based on this library create the majority of operational image RDRs for those missions. A Java wrapper around the library allows parts of it to be used from Java code (via a native JNI interface). Future conversions of all or part of the library to Java are contemplated.

Deen, Robert C.↗

Superflux I, II, and III experiment design: Remote sensing aspects

The Chesapeake Bay plume study called Superflux is described. The study was initiated to incorporate the disciplines of both resources management and remote sensing in accomplishing the following objectives: (1) process oriented research to understand the impact of estuarine outflows on continental shelf ecosystems; (2) monitoring and assessment to delineate the role of remote sensing in future monitoring and assessment programs; and (3) remote sensing research: to advance the state of the art in remote sensing systems as applied to sensing of the marine environment, thereby hastening the day when remote sensing can be used operationally for monitoring and assessment and for process oriented research.

Campbell, J. W.↗