Search NASA⌕ Search

SEARCH · Search NASA

Results for “System Engineering Processes”

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 1,441 records · Page 80
All sourcesNASA NTRSDOE OSTI
NASA NTRS2017

Automated Analysis of Stateflow Models

Stateflow is a widely used modeling framework for embedded and cyber physical systems where control software interacts with physical processes. In this work, we present a framework a fully automated safety verification technique for Stateflow models. Our approach is two-folded: (i) we faithfully compile Stateflow models into hierarchical state machines, and (ii) we use automated logic-based verification engine to decide the validity of safety properties. The starting point of our approach is a denotational semantics of State flow. We propose a compilation process using continuation-passing style (CPS) denotational semantics. Our compilation technique preserves the structural and modal behavior of the system. The overall approach is implemented as an open source toolbox that can be integrated into the existing Mathworks Simulink Stateflow modeling framework. We present preliminary experimental evaluations that illustrate the effectiveness of our approach in code generation and safety verification of industrial scale Stateflow models.

Stateflow↗
NASA NTRS2014

Improved Traceability of a Small Satellite Mission Concept to Requirements Using Model Based System Engineering

Model Based Systems Engineering (MBSE) has recently been gaining significant support as a means to improve the "traditional" document-based systems engineering (DBSE) approach to engineering complex systems. In the spacecraft design domain, there are many perceived and propose benefits of an MBSE approach, but little analysis has been presented to determine the tangible benefits of such an approach (e.g. time and cost saved, increased product quality). This paper presents direct examples of how developing a small satellite system model can improve traceability of the mission concept to its requirements. A comparison of the processes and approaches for MBSE and DBSE is made using the NASA Ames Research Center SporeSat CubeSat mission as a case study. A model of the SporeSat mission is built using the Systems Modeling Language standard and No Magic's MagicDraw modeling tool. The model incorporates mission concept and requirement information from the mission's original DBSE design efforts. Active dependency relationships are modeled to demonstrate the completeness and consistency of the requirements to the mission concept. Anecdotal information and process-duration metrics are presented for both the MBSE and original DBSE design efforts of SporeSat.

Model Based Systems Engineering↗
NASA NTRS1988

A software engineering approach to expert system design and verification

Software engineering design and verification methods for developing expert systems are not yet well defined. Integration of expert system technology into software production environments will require effective software engineering methodologies to support the entire life cycle of expert systems. The software engineering methods used to design and verify an expert system, RENEX, is discussed. RENEX demonstrates autonomous rendezvous and proximity operations, including replanning trajectory events and subsystem fault detection, onboard a space vehicle during flight. The RENEX designers utilized a number of software engineering methodologies to deal with the complex problems inherent in this system. An overview is presented of the methods utilized. Details of the verification process receive special emphasis. The benefits and weaknesses of the methods for supporting the development life cycle of expert systems are evaluated, and recommendations are made based on the overall experiences with the methods.

Bochsler, Daniel C.↗
NASA NTRS1990

Next-generation in-situ science concepts and technology

This paper discusses the concepts of a next-generation in situ science program, named Sample Acquisition, Analysis, and Preservation (SAAP), established by NASA to develop critical technologies for remote identification, acquisition, processing, analysis, and preservation of materials for the in situ science, engineering characterization, and earth return. Special attention is given to the SAAP architecture, system design, remote sensing system, sample acquisition system, and methods for sample analysis. A diagram of the SAAP preliminary system conceptual design is included.

Muirhead, Brian↗
NASA NTRS1992

Integration of tools for the Design and Assessment of High-Performance, Highly Reliable Computing Systems (DAHPHRS), phase 1

Systems for Space Defense Initiative (SDI) space applications typically require both high performance and very high reliability. These requirements present the systems engineer evaluating such systems with the extremely difficult problem of conducting performance and reliability trade-offs over large design spaces. A controlled development process supported by appropriate automated tools must be used to assure that the system will meet design objectives. This report describes an investigation of methods, tools, and techniques necessary to support performance and reliability modeling for SDI systems development. Models of the JPL Hypercubes, the Encore Multimax, and the C.S. Draper Lab Fault-Tolerant Parallel Processor (FTPP) parallel-computing architectures using candidate SDI weapons-to-target assignment algorithms as workloads were built and analyzed as a means of identifying the necessary system models, how the models interact, and what experiments and analyses should be performed. As a result of this effort, weaknesses in the existing methods and tools were revealed and capabilities that will be required for both individual tools and an integrated toolset were identified.

Scheper, C.↗
NASA NTRS1993

Lunar lander and return propulsion system trade study

This trade study was initiated at NASA/JSC in May 1992 to develop and evaluate main propulsion system alternatives to the reference First Lunar Outpost (FLO) lander and return-stage transportation system concept. Thirteen alternative configurations were developed to explore the impacts of various combinations of return stage propellants, using either pressure or pump-fed propulsion systems and various staging options. Besides two-stage vehicle concepts, the merits of single-stage and stage-and-a-half options were also assessed in combination with high-performance liquid oxygen and liquid hydrogen propellants. Configurations using an integrated modular cryogenic engine were developed to assess potential improvements in packaging efficiency, mass performance, and system reliability compared to non-modular cryogenic designs. The selection process to evaluate the various designs was the analytic hierarchy process. The trade study showed that a pressure-fed MMH/N2O4 return stage and RL10-based lander stage is the best option for a 1999 launch. While results of this study are tailored to FLO needs, the design date, criteria, and selection methodology are applicable to the design of other crewed lunar landing and return vehicles.

Hurlbert, Eric A.↗
NASA NTRS1994

An improved plating process

An alternative to the immersion process for the electrodeposition of chromium from aqueous solutions on the inside diameter (ID) of long tubes is described. The Vessel Plating Process eliminates the need for deep processing tanks, large volumes of solutions, and associated safety and environmental concerns. Vessel Plating allows the process to be monitored and controlled by computer thus increasing reliability, flexibility and quality. Elimination of the trivalent chromium accumulation normally associated with ID plating is intrinsic to the Vessel Plating Process. The construction and operation of a prototype Vessel Plating Facility with emphasis on materials of construction, engineered and operational safety and a unique system for rinse water recovery are described.

Askew, John C.↗
NASA NTRS1994

Integrating human factors knowledge into certification: The point of view of the Internatioanal Civil Aviation Organization (ICAO)

It is appropriate here to repeat the analogy described in the introduction to this paper which is that: The consideration of human factors requirements during the design stage of advanced, new technology systems may be seen as resting over a three-legged stool. The first leg, the equipment that a system will utilize to achieve its goals, has traditionally attracted ergonomic considerations associated with equipment design, usually centered around 'knobs and dials.' Lately, this view has expanded to include the so-called other important aspect of Human Factor's study which deals with the cognitive, behaviorial and social processes of the human operators. Study in this area must be furthered. The second leg of the stool, the procedures to operate the equipment, however, has been largely unaddressed. Procedures are not inherent to equipment, but must be developed. The importance of proper human factors consideration in the design of procedures can not be overstated. Lastly, the third leg of the stool, the certification of personnel who will operate the equipment, is very much underway, but far from being complete. The real quest now, however, is to integrate these three legs into an indivisible one. Finally, and most importantly, this workshop and its topic are extremely timely in that we are at the dawn of the most ambitious development ever undertaken in international civil aviation. This would allow us the rather unique opportunity to put theory into practice in the near future by ensuring that the concepts developed and furthered by this workshop and the follow-up are implemented in the design and certification of the ICAO future CNS/ATM systems described earlier in this paper. Now is the time to incorporate human factors requirements during the certification processes of these systems. This might act as a test to the feasibility of these ideas. Such endeavors represent a challenge for the research, engineering, training, operational and regulatory communities. But there is certainly more to be gained by attempting to meet the challenge rather than refraining from progress by decrying the difficulties involved.

Maurino, Daniel↗
NASA NTRS1993

R and T report: Goddard Space Flight Center

The 1993 Research and Technology Report for Goddard Space Flight Center is presented. Research covered areas such as (1) flight projects; (2) space sciences including cosmology, high energy, stars and galaxies, and the solar system; (3) earth sciences including process modeling, hydrology/cryology, atmospheres, biosphere, and solid earth; (4) networks, planning, and information systems including support for mission operations, data distribution, advanced software and systems engineering, and planning/scheduling; and (5) engineering and materials including spacecraft systems, material and testing, optics and photonics and robotics.

Soffen, Gerald A.↗
NASA NTRS1996

Experiences Using Formal Methods for Requirements Modeling

This paper describes three cases studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies differ from previously reported applications of formal methods in that formal methods were applied very early in the requirements engineering process, to validate the evolving requirements. The results were fed back into the projects, to improve the informal specifications. For each case study, we describe what methods were applied, how they were applied, how much effort was involved, and what the findings were. In all three cases, the formal modeling provided a cost effective enhancement of the existing verification and validation processes. We conclude that the benefits gained from early modeling of unstable requirements more than outweigh the effort needed to maintain multiple representations.

Easterbrook, Steve↗
NASA NTRS1997

Experiences Using Lightweight Formal Methods for Requirements Modeling

This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies differ from previously reported applications of formal methods in that formal methods were applied very early in the requirements engineering process, to validate the evolving requirements. The results were fed back into the projects, to improve the informal specifications. For each case study, we describe what methods were applied, how they were applied, how much effort was involved, and what the findings were. In all three cases, formal methods enhanced the existing verification and validation processes, by testing key properties of the evolving requirements, and helping to identify weaknesses. We conclude that the benefits gained from early modeling of unstable requirements more than outweigh the effort needed to maintain multiple representations.

Easterbrook, Steve↗
NASA NTRS1998

A Framework for Preliminary Design of Aircraft Structures Based on Process Information

This report discusses the general framework and development of a computational tool for preliminary design of aircraft structures based on process information. The described methodology is suitable for multidisciplinary design optimization (MDO) activities associated with integrated product and process development (IPPD). The framework consists of three parts: (1) product and process definitions; (2) engineering synthesis, and (3) optimization. The product and process definitions are part of input information provided by the design team. The backbone of the system is its ability to analyze a given structural design for performance as well as manufacturability and cost assessment. The system uses a database on material systems and manufacturing processes. Based on the identified set of design variables and an objective function, the system is capable of performing optimization subject to manufacturability, cost, and performance constraints. The accuracy of the manufacturability measures and cost models discussed here depend largely on the available data on specific methods of manufacture and assembly and associated labor requirements. As such, our focus in this research has been on the methodology itself and not so much on its accurate implementation in an industrial setting. A three-tier approach is presented for an IPPD-MDO based design of aircraft structures. The variable-complexity cost estimation methodology and an approach for integrating manufacturing cost assessment into design process are also discussed. This report is presented in two parts. In the first part, the design methodology is presented, and the computational design tool is described. In the second part, a prototype model of the preliminary design Tool for Aircraft Structures based on Process Information (TASPI) is described. Part two also contains an example problem that applies the methodology described here for evaluation of six different design concepts for a wing spar.

Rais-Rohani, Masoud↗
NASA NTRS2002

Turbomachinery Course

In this viewgraph presentation, information and diagrams are provided on rocket engine turbopumps. These turbomachines are highly complex and have several unique features: (1) They are generally very high power density machines; (2) They experience high fluid dynamic loads; (3) They are exposed to severe thermal shocks in terms of rapid starts and stops and extremely high heat transfer coefficients; (4) They have stringent suction performance requirements to minimize tank weight; (5) Their working fluids significantly impact the design: oxidizers are generally explosive, they afford almost no lubrication for bearings and seals, some fuels can degrade material properties, cryogenics result in severe thermal gradients; (6) Their life requirements are short relative to other turbomachines in that there are hundreds of cycles and a few hours of operation for reusable systems. The design of rocket engine turbomachines is a systems engineering challenge because multiple engineering disciplines must be integrated to deal with issues pertaining to stress, structural dynamics, hydrodynamics, aerodynamics, thermodynamics, and materials and process selection.

Stinson, Henry↗
NASA NTRS2003

High End Computing Technologies for Earth Science Applications: Trends, Challenges, and Innovations

Earth science applications of the future will stress the capabilities of even the highest performance supercomputers in the areas of raw compute power, mass storage management, and software environments. These NASA mission critical problems demand usable multi-petaflops and exabyte-scale systems to fully realize their science goals. With an exciting vision of the technologies needed, NASA has established a comprehensive program of advanced research in computer architecture, software tools, and device technology to ensure that, in partnership with US industry, it can meet these demanding requirements with reliable, cost effective, and usable ultra-scale systems. NASA will exploit, explore, and influence emerging high end computing architectures and technologies to accelerate the next generation of engineering, operations, and discovery processes for NASA Enterprises. This article captures this vision and describes the concepts, accomplishments, and the potential payoff of the key thrusts that will help meet the computational challenges in Earth science applications.

Parks, John↗
NASA NTRS2005

In Situ Fabrication Technologies: Meeting the Challenge for Exploration

A viewgraph presentation on Lunar and Martian in situ fabrication technologies meeting the challenges for exploration is shown. The topics include: 1) Exploration Vision; 2) Vision Requirements Early in the Program; 3) Vision Requirements Today; 4) Why is ISFR Technology Needed? 5) ISFR and In Situ Resource Utilization (ISRU); 6) Fabrication Feedstock Considerations; 7) Planetary Resource Primer; 8) Average Chemical Element Abundances in Lunar Soil; 9) Chemical Elements in Aerospace Engineering Materials; 10) Schematic of Raw Regolith Processing into Constituent Components; 11) Iron, Aluminum, and Basalt Processing from Separated Elements and Compounds; 12) Space Power Systems; 13) Power Source Applicability; 14) Fabrication Systems Technologies; 15) Repair and Nondestructive Evaluation (NDE); and 16) Habitat Structures. A development overview of Lunar and Martian repair and nondestructive evaluation is also presented.

Howard, Richard W.↗
NASA NTRS2006

The Apollo Experience Lessons Learned for Constellation Lunar Dust Management

Lunar dust will present significant challenges to NASA's Lunar Exploration Missions. The challenges can be overcome by using best practices in system engineering design. For successful lunar surface missions, all systems that come into contact with lunar dust must consider the effects throughout the entire design process. Interfaces between all these systems with other systems also must be considered. Incorporating dust management into Concept of Operations and Requirements development are the best place to begin to mitigate the risks presented by lunar dust. However, that is only the beginning. To be successful, every person who works on NASA's Constellation lunar missions must be mindful of this problem. Success will also require fiscal responsibility. NASA must learn from Apollo the root cause of problems caused by dust, and then find the most cost-effective solutions to address each challenge. This will require a combination of common sense existing technologies and promising, innovative technical solutions

Wagner, Sandra↗
NASA NTRS2006

Integrated Modeling Environment

The Integrated Modeling Environment (IME) is a software system that establishes a centralized Web-based interface for integrating people (who may be geographically dispersed), processes, and data involved in a common engineering project. The IME includes software tools for life-cycle management, configuration management, visualization, and collaboration.

Mosier, Gary↗
NASA NTRS2012

Concept Assessment of a Fission Fragment Rocket Engine (FFRE) Propelled Spacecraft

The March, 2012 issue of Aerospace America stated that ―the near-to-medium prospects for applying advanced propulsion to create a new era of space exploration are not very good. In the current world, we operate to the Moon by climbing aboard a Carnival Cruise Lines vessel (Saturn 5), sail from the harbor (liftoff) shedding whole decks of the ship (staging) along the way and, having reached the return leg of the journey, sink the ship (burnout) and return home in a lifeboat (Apollo capsule). Clearly this is an illogical way to travel, but forced on Explorers by today's propulsion technology. However, the article neglected to consider the one propulsion technology, using today's physical principles that offer continuous, substantial thrust at a theoretical specific impulse of 1,000,000 sec. This engine unequivocally can create a new era of space exploration that changes the way spacecraft operate. Today's space Explorers could travel in Cruise Liner fashion using the technology not considered by Aerospace America, the novel Dusty Plasma Fission Fragment Rocket Engine (FFRE). This NIAC study addresses the FFRE as well as its impact on Exploration Spacecraft design and operation. It uses common physics of the relativistic speed of fission fragments to produce thrust. It radiatively cools the fissioning dusty core and magnetically controls the fragments direction to practically implement previously patented, but unworkable designs. The spacecraft hosting this engine is no more complex nor more massive than the International Space Station (ISS) and would employ the successful ISS technology for assembly and check-out. The elements can be lifted in "chunks" by a Heavy Lift Launcher. This Exploration Spacecraft would require the resupply of small amounts of nuclear fuel for each journey and would be an in-space asset for decades just as any Cruise Liner on Earth. This study has synthesized versions of the FFRE, integrated one concept onto a host spacecraft designed for manned travel to Jupiter's moon, Callisto, and assessed that round trip journey. This engine, although unoptimized, produced 10 pounds force of thrust at a delivered specific impulse of 527,000 seconds for the entire 15-year mission while providing enormous amounts of electrical power to the spacecraft. A payload of 60 metric tons, included in the 300 metric ton vehicle, was carried to Callisto and back; the propellant tanks holding the 4 metric tons of fuel were not jettisoned in the process. The study concluded that the engine and spacecraft are within today's technology, could be built, tested, launched on several SLS (Space Launch System) (or similar) launchers, integrated, checked out, moved to an in-space base such as at a Lagrange point and operated for decades.

Engine↗