Results for “Systems Engineering environments” — Page 18

NASA NTRS1998

Cooperation Among Theorem Provers

This is a final report, which supports NASA's PECSEE (Persistent Cognizant Software Engineering Environment) effort and complements the Kestrel Institute project "Inference System Integration via Logic Morphism". The ultimate purpose of the project is to develop a superior logical inference mechanism by combining the diverse abilities of multiple cooperating theorem provers. In many years of research, a number of powerful theorem-proving systems have arisen with differing capabilities and strengths. Resolution theorem provers (such as Kestrel's KITP or SRI's, SNARK) deal with first-order logic with equality but not the principle of mathematical induction. The Boyer-Moore theorem prover excels at proof by induction but cannot deal with full first-order logic. Both are highly automated but cannot accept user guidance easily. The PVS system (from SRI) in only automatic within decidable theories, but it has well-designed interactive capabilities: furthermore, it includes higher-order logic, not just first-order logic. The NuPRL system from Cornell University and the STeP system from Stanford University have facilities for constructive logic and temporal logic, respectively - both are interactive. It is often suggested - for example, in the anonymous "QED Manifesto"-that we should pool the resources of all these theorem provers into a single system, so that the strengths of one can compensate for the weaknesses of others, and so that effort will not be duplicated. However, there is no straightforward way of doing this, because each system relies on its own language and logic for its success. Thus. SNARK uses ordinary first-order logic with equality, PVS uses higher-order logic. and NuPRL uses constructive logic. The purpose of this project, and the companion project at Kestrel, has been to use the category-theoretic notion of logic morphism to combine systems with different logics and languages. Kestrel's SPECWARE system has been the vehicle for the implementation.

Waldinger, Richard J.↗

NASA NTRS2000

Software Past, Present, and Future: Views from Government, Industry and Academia

Views from the NASA CIO NASA Software Engineering Workshop on software development from the past, present, and future are presented. The topics include: 1) Software Past; 2) Software Present; 3) NASA's Largest Software Challenges; 4) 8330 Software Projects in Industry Standish Groups 1994 Report; 5) Software Future; 6) Capability Maturity Model (CMM): Software Engineering Institute (SEI) levels; 7) System Engineering Quality Also Part of the Problem; 8) University Environment Trends Will Increase the Problem in Software Engineering; and 9) NASA Software Engineering Goals.

Holcomb, Lee↗

NASA NTRS2006

Mars Exploration Entry, Descent and Landing Challenges

The United States has successfully landed five robotic systems on the surface of Mars. These systems all had landed mass below 0.6 metric tons (t), had landed footprints on the order of hundreds of km and landed at sites below -1.4 km MOLA elevation due the need to perform entry, descent and landing operations in an environment with sufficient atmospheric density. At present, robotic exploration systems engineers are struggling with the challenges of increasing landed mass capability to 0.8 t while improving landed accuracy to tens of km and landing at a site as high as +2 km MOLA elevation for the Mars Science Laboratory project. Meanwhile, current plans for human exploration of Mars call for the landing of 40-80 t surface elements at scientifically interesting locations within close proximity (tens of m) of pre-positioned robotic assets. This paper summarizes past successful entry, descent and landing systems and approaches being developed by the robotic Mars exploration program to increased landed performance (mass, accuracy and surface elevation). In addition, the entry, descent and landing sequence for a human exploration system will be reviewed, highlighting the technology and systems advances required.

Entry, Descent, Landing (EDL)↗

NASA NTRS2011

Hybrid CFD/CAA Modeling for Liftoff Acoustic Predictions

This paper presents development efforts at the NASA Marshall Space flight Center to establish a hybrid Computational Fluid Dynamics and Computational Aero-Acoustics (CFD/CAA) simulation system for launch vehicle liftoff acoustics environment analysis. Acoustic prediction engineering tools based on empirical jet acoustic strength and directivity models or scaled historical measurements are of limited value in efforts to proactively design and optimize launch vehicles and launch facility configurations for liftoff acoustics. CFD based modeling approaches are now able to capture the important details of vehicle specific plume flow environment, identifY the noise generation sources, and allow assessment of the influence of launch pad geometric details and sound mitigation measures such as water injection. However, CFD methodologies are numerically too dissipative to accurately capture the propagation of the acoustic waves in the large CFD models. The hybrid CFD/CAA approach combines the high-fidelity CFD analysis capable of identifYing the acoustic sources with a fast and efficient Boundary Element Method (BEM) that accurately propagates the acoustic field from the source locations. The BEM approach was chosen for its ability to properly account for reflections and scattering of acoustic waves from launch pad structures. The paper will present an overview of the technology components of the CFD/CAA framework and discuss plans for demonstration and validation against test data.

Strutzenberg, Louise L.↗

NASA NTRSDate not supplied

Uncertainty Quantification of Inducer Natural Frequency using Conditional Assessment of Modeling and Modal Testing of Simpler Systems

The low pressure fuel pump inducer of the new Space Launch System RS25 core stage engine operates in a highly complex environment that substantially affects its modal characteristics. Some of the more important effects are fluid-added mass resulting from operation within a light liquid (Hydrogen), and the magnification of this effect due to tight tip clearance. Since higher order cavitation has been identified as a significant harmonic driver, knowledge of the natural frequency of potentially excitable modes is critical for safe operation, but this frequency cannot be measured during the severe operational environment. A comprehensive testing and analysis program has therefore been performed over the last four years to identify the nominal value and uncertainty of the frequency by modeling and testing four simpler structures which share some of the characteristics of the operational inducer. This testing was used to assess and adjust modeling techniques and excellent correlation was achieved. Identification of the uncertainty in the inducer frequency itself was still problematic, however. This difficulty led to an investigation of Bayesian uncertainty quantification techniques, and to the application of the relatively simple technique of Multi-Variate Normal conditional distributions to calculate the inducer natural frequency uncertainty. Assumptions on prior distributions of uncertainty of the fluid-added mass and tip clearance effect are initially applied to models of each of the simple structures and the inducer itself, and these uncertainties are propagated to generate natural frequencies using design of experiments. Simple response surfaces are then created from this data in order to calculate a Covariance Matrix relating all of these natural frequencies. Finally, the results from modal test of the simple structures are considered to be observations and used to calculate the conditional variance of the desired inducer frequencies. As this method is less rigorous than more complicated Bayesian methods reported in the literature, a conservative factor is applied to the result, but the resulting uncertainty is still significantly less than originally estimated and will greatly assist certification of the inducer for use in the engine.

Uncertainty Quantification↗

NASA NTRSDate not supplied

Uncertainty Quantification of Inducer Eigenvalues using Conditional Assessment of Models and Modal Test of Simpler Systems

The low pressure fuel pump inducer of the new Space Launch System RS25 core stage engine operates in a highly complex environment that substantially affects its modal characteristics. Some of the more important effects are fluid-added mass resulting from operation within a light liquid (Hydrogen), and the magnification of this effect due to tight tip clearance. Since higher order cavitation has been identified as a significant harmonic driver, knowledge of the natural frequency of potentially excitable modes is critical for safe operation, but this frequency cannot be measured during the severe operational environment. A comprehensive testing and analysis program has therefore been performed over the last four years to identify the nominal value and uncertainty of the frequency by modeling and testing four simpler structures which share some of the characteristics of the operational inducer. This testing was used to assess and adjust modeling techniques and excellent correlation was achieved. Identification of the uncertainty in the inducer frequency itself was still problematic, however. This difficulty led to an investigation of Bayesian uncertainty quantification techniques, and to the application of the relatively simple technique of Multi-Variate Normal conditional distributions to calculate the inducer natural frequency uncertainty. Assumptions on prior distributions of uncertainty of the fluid-added mass and tip clearance effect are initially applied to models of each of the simple structures and the inducer itself, and these uncertainties are propagated to generate natural frequencies using design of experiments. Simple response surfaces are then created from this data in order to calculate a Covariance Matrix relating all of these natural frequencies. Finally, the results from modal test of the simple structures are considered to be observations and used to calculate the conditional variance of the desired inducer frequencies. As this method is less rigorous than more complicated Bayesian methods reported in the literature, a conservative factor is applied to the result, but the resulting uncertainty is still significantly less than originally estimated and will greatly assist certification of the inducer for use in the engine.

Uncertainty Quantification↗

NASA NTRSDate not supplied

Synthetic biology off planet for game-changing solutions for a greener Earth

Synthetic biology – creating new capabilities with life – promises to create a greener future for planet Earth, from fields as diverse as pharmaceuticals to manufacturing, agriculture and nanotechnology. Progress can be stymied by such considerations as economics, politics, legal and philosophical issues surrounding GMOs. Often solutions to these problems already exist, so it is difficult for a new, superior method to displace the old. As we move humans beyond Earth, to long duration stays in the International Space Station, and then onward to the Moon and Mars, the challenges of supporting human life will need radical new solutions. For example, while life on Earth uses an enzymatic machinery which evolved close to 3 billion years ago, synthetic biology promises to be able to engineer the systems to adapt to current natural or industrial environments. A focus on solutions off planet require a focus on a circular economy. While there are new constraints, such as worrying about the mass of a solution, constraints offer opportunities for game-changing solutions that will then allow revolutions back on our home planet.

Lynn J Rothschild↗

NASA NTRSDate not supplied

System Safety Analysis of Complex NASA Systems with Model-Based Engineering (REV B)

The emergence of model-based engineering is transforming design and analysis methodologies. A recognized benefit of model-based engineering is the existence of a “single source of truth” about the system that becomes the authoritative source of data and information for designers, analysts, and developers. This promotes consistency and efficiency as the design emerges and can be used to further optimize the design. Integrating System Safety Engineers to the “single source of truth” will ensure that the outputs of their assessments and analyses are relevant to the design as it evolves. Use of an integrated system model enables near immediate evaluation of a design change as well as development of operational processes for risk assessment and communication. Such models can enable efficient and timely analysis of system hazards (e.g., hazard fault tree analysis and procedure simulations) and produce complete, accurate, and more consistent products (e.g., hazard reports and safety requirement evaluations). Therefore, an agency-sponsored team at Goddard Space Flight Center (GSFC) recently completed a System Safety Study of modeling and testing capabilities as part of a Model-Based Safety and Mission Assurance Initiative (MBSMAI). Using an existing model developed for reliability analyses, GSFC modeling and system safety experts performed system safety analysis/modeling and produced safety products. The team evaluated model-based feasibility to support System Safety Engineering, developed safety analysis modeling processes, and identified tool capability advancement/development needs. These study results indicate model-based engineering is valid and useable for System Safety Engineering for NASA if adequate modeling processes and environment are established.

NASA↗

NASA NTRS2007

Concepts for Distributed Engine Control

Gas turbine engines for aero-propulsion systems are found to be highly optimized machines after over 70 years of development. Still, additional performance improvements are sought while reduction in the overall cost is increasingly a driving factor. Control systems play a vitally important part in these metrics but are severely constrained by the operating environment and the consequences of system failure. The considerable challenges facing future engine control system design have been investigated. A preliminary analysis has been conducted of the potential benefits of distributed control architecture when applied to aero-engines. In particular, reductions in size, weight, and cost of the control system are possible. NASA is conducting research to further explore these benefits, with emphasis on the particular benefits enabled by high temperature electronics and an open-systems approach to standardized communications interfaces.

Culley, Dennis E.↗

NASA NTRS2013

Mission Data System Java Edition Version 7

The Mission Data System framework defines closed-loop control system abstractions from State Analysis including interfaces for state variables, goals, estimators, and controllers that can be adapted to implement a goal-oriented control system. The framework further provides an execution environment that includes a goal scheduler, execution engine, and fault monitor that support the expression of goal network activity plans. Using these frameworks, adapters can build a goal-oriented control system where activity coordination is verified before execution begins (plan time), and continually during execution. Plan failures including violations of safety constraints expressed in the plan can be handled through automatic re-planning. This version optimizes a number of key interfaces and features to minimize dependencies, performance overhead, and improve reliability. Fault diagnosis and real-time projection capabilities are incorporated. This version enhances earlier versions primarily through optimizations and quality improvements that raise the technology readiness level. Goals explicitly constrain system states over explicit time intervals to eliminate ambiguity about intent, as compared to command-oriented control that only implies persistent intent until another command is sent. A goal network scheduling and verification process ensures that all goals in the plan are achievable before starting execution. Goal failures at runtime can be detected (including predicted failures) and handled by adapted response logic. Responses can include plan repairs (try an alternate tactic to achieve the same goal), goal shedding, ignoring the fault, cancelling the plan, or safing the system.

Reinholtz, William K.↗

NASA NTRS2023

Closed Environment Air Revitalization System Based on Metal Organic Framework Adsorbents

This project utilized a systems engineering methodology to develop a vacuum swing adsorption system with full Labview automated control. The project was successful and provided students with an introduction to systems engineering and air revitalization. Specifically, two stainless steel adsorption beds were custom designed and manufactured and a sequence of computer controlled valves were used to deliver CO 2 laden, humid air, to the adsorbent where the CO 2 was removed from the air stream. Runs were completed using 13X zeolite and bed timing and switching was controlled by the computer based on the data output of a CO 2 detector. Adsorption runs using the MOF have not been completed upon the writing of this report; however, the MOF material is currently being synthesized and the runs will be completed upon receipt of the material. A follow up meeting with NASA has been tentatively planned to discuss the output of these experiments. Consistent with systems engineering practice, an end of project assessment of the class was conducted with the students and several items were realized. Specifically, the short period of performance of this grant makes it necessary to maintain a narrowly focused scope on the project such that multiple experiments after systems development (T&E) need to be limited to ensure timely completion of the proposed tasks. Also, procurement of parts may need to be moved forward in time to allow for delivery delays, and it may be necessary to request SDR, PDR, and CDR dates from NASA that are ahead of the NASA anticipated schedule. These types of lessons provided valuable to both the PI and the students and ultimately illustrate the necessity of proper systems engineering schedule risk assessment. The class met the objectives of the project and provided an introduction to systems engineering to undergraduate students. As a metric of that success, the lead engineer of the undergraduate design team acquired a job with an aerospace defense contractor, which he attributed to his knowledge of systems engineering concepts that were acquired via the X-Hab class.

T. Grant Glover↗

NASA NTRSDate not supplied

Unreal Engine Testbed for Computer Vision of Tall Lunar Tower Assembly

The Tall Lunar Tower project at the NASA Langley Research Center is focused on the design, modeling, fabrication, and testing of a supervised autonomously assembly engineering development unit for tall lunar towers. The lunar south pole environment poses many challenges for robotic assembly of the tall tower, particularly to computer vision camera systems due to a high-contrast lighting environment. This paper will present an Unreal Engine 5 video game engine Lunar South Pole Lighting Testbed to simulate realistic lunar lighting conditions for synthetic image generation. The fidelity of the simulation environment is investigated by comparing the accuracy of computer vision models trained using synthetic image data and trained from real image data collected in a lunar analog environment.

Unreal Engine↗

NASA NTRSDate not supplied

Unreal Engine Testbed for Computer Vision of Tall Lunar Tower Assembly

The Tall Lunar Tower project at the NASA Langley Research Center is focused on the design, modeling, fabrication, and testing of a supervised autonomously assembled engineering development unit for tall lunar towers. The lunar south pole environment poses many challenges for robotic assembly of the tall tower, particularly to computer vision camera systems due to a high-contrast lighting environment. This paper will present an Unreal Engine 5 video game engine Lunar South Pole Lighting Testbed to simulate realistic lunar lighting conditions for synthetic image generation. The fidelity of the simulation environment is investigated by comparing the accuracy of computer vision models trained using synthetic image data and trained from real image data collected in a lunar analog environment.

Unreal Engine↗

NASA NTRS2023

Unreal Engine Testbed for Computer Vision of Tall Lunar Tower Assembly

The Tall Lunar Tower project at the NASA Langley Research Center is focused on the design, modeling, fabrication, and testing of a supervised autonomously assembly engineering development unit for tall lunar towers. The lunar south pole environment poses many challenges for robotic assembly of the tall tower, particularly to computer vision camera systems due to a high-contrast lighting environment. This paper will present an Unreal Engine 5 video game engine Lunar South Pole Lighting Testbed to simulate realistic lunar lighting conditions for synthetic image generation. The fidelity of the simulation environment is investigated by comparing the accuracy of computer vision models trained using synthetic image data and trained from real image data collected in a lunar analog environment.

Unreal Engine↗

NASA NTRS2010

A Comparison of Flow-Through Versus Non-Flow-Through Proton Exchange Membrane Fuel Cell Systems for NASA's Exploration Missions

As part of the Exploration Technology Development Program (ETDP) under the auspices of the Exploration Systems Mission Directorate (ESMD), NASA is developing both primary fuel cell power systems and regenerative fuel cell (RFC) energy storage systems within the fuel cell portion of the Energy Storage Project. This effort is being led by the NASA Glenn Research Center (GRC) in partnership with the NASA Johnson Space Center (JSC), Jet Propulsion Laboratory (JPL), NASA Kennedy Space Center (KSC), and industrial partners. The development goals are to improve fuel cell and electrolysis stack electrical performance, reduce system mass, volume, and parasitic power requirements, and increase system life and reliability. A major focus of this effort has been the parallel development of both flow-through and non-flow-through proton exchange membrane (PEM) primary fuel cell power systems. The plan has been, at the appropriate time, to select a single primary fuel cell technology for eventual flight hardware development. Ideally, that appropriate time would occur after both technologies have achieved a technology readiness level (TRL) of six, which represents an engineering model fidelity PEM fuel cell system being successfully tested in a relevant environment. Budget constraints in fiscal year 2009 and beyond have prevented NASA from continuing to pursue the parallel development of both primary fuel cell options. Because very limited data exists for either system, a toplevel, qualitative assessment based on engineering judgement was performed expeditiously to provide guidance for a selection. At that time, the non-flow-through technology was selected for continued development because of potentially major advantages in terms of weight, volume, parasitic power, reliability, and life. This author believes that the advantages are significant enough, and the potential benefits great enough, to offset the higher state of technology readiness of flow-through technology. This paper summarizes the technical considerations which helped form the engineering judgement that led to the final decision.

Hoberecht, Mark A.↗

NASA NTRS1993

PILOT: An intelligent distributed operations support system

The Real-Time Data System (RTDS) project is exploring the application of advanced technologies to the real-time flight operations environment of the Mission Control Centers at NASA's Johnson Space Center. The system, based on a network of engineering workstations, provides services such as delivery of real time telemetry data to flight control applications. To automate the operation of this complex distributed environment, a facility called PILOT (Process Integrity Level and Operation Tracker) is being developed. PILOT comprises a set of distributed agents cooperating with a rule-based expert system; together they monitor process operation and data flows throughout the RTDS network. The goal of PILOT is to provide unattended management and automated operation under user control.

Rasmussen, Arthur N.↗

NASA NTRS1996

Self-Lubricating, Wear-Resistant Diamond Films Developed for Use in Vacuum Environment

Diamond's outstanding properties--extreme hardness, chemical and thermal inertness, and high strength and rigidity--make it an ideal material for many tribological applications, such as the bearings, valves, and engine parts in the harsh environment found in internal-combustion engines, jet engines, and space propulsion systems. It has been demonstrated that chemical-vapor-deposited diamond films have low coefficients of friction (on the order of 0.01) and low wear rates (less than 10(sup -7) mm (sup 3/N-m)) both in humid air and dry nitrogen but that they have both high coefficients of friction (greater than 0.4) and high wear rates (on the order of 1(sup -4) mm sup 3/N-m)) in vacuum. It is clear that surface modifications that provide acceptable levels of friction and wear properties will be necessary before diamond films can be used for tribological applications in a space-like, vacuum environment. Previously, it was found that coatings of amorphous, non-diamond carbon can provide low friction in vacuum. Therefore, to reduce the friction and wear of diamond film in vacuum, carbon ions were implanted in an attempt to form a surface layer of amorphous carbon phases on the diamond films.

Source record↗

NASA NTRS1989

A NASTRAN/TREETOPS solution to a flexible, multi-body dynamics and controls problem on a UNIX workstation

Demands for nonlinear time history simulations of large, flexible multibody dynamic systems has created a need for efficient interfaces between finite-element modeling programs and time-history simulations. One such interface, TREEFLX, an interface between NASTRAN and TREETOPS, a nonlinear dynamics and controls time history simulation for multibody structures, is presented and demonstrated via example using the proposed Space Station Mobile Remote Manipulator System (MRMS). The ability to run all three programs (NASTRAN, TREEFLX and TREETOPS), in addition to other programs used for controller design and model reduction (such as DMATLAB and TREESEL, both described), under a UNIX Workstation environment demonstrates the flexibility engineers now have in designing, developing and testing control systems for dynamically complex systems.

Benavente, Javier E.↗