Design and Integration Tools

SOFTWARE CATALOG
Design and Integration Tools
Design and Integration Tools
Vehicle/Payload Modeling and Analysis, Component and Integrated System Simulation
ARC-17301-1
JPF-NAS, an extension of Java Pathfinder that provides support for model checking distributed systems
JPF-NAS is developed to provide support for model checking distributed applications. It relies on the multiprocess support included in Java Pathfinder (JPF) which provides basic functionality to verify the bytecode of distributed applications. JPF-NAS is implemented as a JPF extension which models interprocess communication mechanisms. It uses a form of partial order reduction to explore all possible executions of a distributed Java application. Moreover, JPF-NAS provides a functionality to check the given distributed application under test against possible network failures which can occur at the operating system or the hardware layer.
Open Source
GSC-18169-1
Mixed Reality Engineering Toolkit (MRET)
Create Augmented Reality (AR)/Virtual Reality (VR) tools for integrating spacecraft designs and real-time mission telemetry for multiple domains over a mission lifecycle: Pre-phase A concept design Hardware integration & test planning and execution Tele-robotic operations
U.S. Government Purpose Release
LAR-19227-1
Program Round-Off Certifier via Static Analysis (PRECiSA) with Kodiak Integration
PRECiSA, which in the current invention disclosure stands for Program Round-off Certifier via Static Analysis, is a fully automatic static analyzer for floating-point valued functions. It computes an over-approximation of the round-off error of a given floating-point expression, along with a formal certificate that ensures the correctness of the estimated error. The current invention extends PRECiSA in three ways: * it enables the use of external tools such as the global optimization tool Kodiak to compute numerical bounds in an efficient way, * it adds input language support for loops and recursion, and * it implements a more efficient analysis of nested conditionals.
Open Source
GSC-18602-1
Mixed Reality Exploration Toolkit (MRET) v2.0
The Mixed Reality Exploration Toolkit (MRET) framework/platform advances NASA engineering and scientific efforts by leveraging industry advances in virtual reality (VR) and augmented reality (AR) technology to use NASA data and tools in new and innovative ways. MRET provides cross-domain, mission lifecycle support by integrating NASA models (both scientific models and engineering CAD-based models) with a common tool set available in AR/VR (e.g., measurement tools and lunar and planetary lighting models) and access to NASA data sources. MRET leverages the GSFC developed GMSEC tools to integrate real-time and recorded engineering (telemetry) data from multiple engineering sources to stimulate visualizations as well as provide collaboration within the NASA networks. Integration with other scientific data formats and sources is planned to serve the GSFC and NASA scientific community.
Open Source
GSC-18847-1
Mixed Reality Exploration Toolkit (MRET) 2021
The Mixed Reality Exploration Toolkit (MRET) framework/platform advances NASA engineering and scientific efforts by leveraging industry advances in virtual reality (VR) and augmented reality (AR) technology to use NASA data and tools in new and innovative ways. MRET provides cross-domain, mission lifecycle support by integrating NASA models (both scientific models and engineering CAD-based models) with a common tool set available in AR/VR (e.g., measurement tools and lunar and planetary lighting models) and access to NASA data sources. MRET leverages the GSFC developed GMSEC tools to integrate real-time and recorded engineering (telemetry) data from multiple engineering sources to stimulate visualizations as well as provide collaboration within the NASA networks. Integration with other scientific data formats and sources is planned to serve the GSFC and NASA scientific community.
Open Source
MSC-24663-1
Engineering DOUG Graphics for Exploration (EDGE)
EDGE is a real-time 3d graphics rendering package based on the Dynamic On-board Ubiquitous Graphics (DOUG) graphics engine. It combines key elements from graphics software tools developed for Space Shuttle and International Space Station (ISS) programs and adapts them for integration with other engineering simulations and facilities. The tool allows drop-in integration with the NASA Trick Simulation Environment and provides a fusion of 3D graphics and simulation outputs.
General Public Release
ARC-18618-1
SimuPy Flight Vehicle Toolkit
This software library leverages open source scientific computing tools to implement an efficient simulation framework for flight vehicles in Python. Equations of motion are composed in blocks using the SimuPy library, an open source Python alternative to Simulink, and integrated using SciPys wrappers for standard Fortran implementations of ordinary differential equation solvers. Dynamics equations of the inertial state variables for the position, orientation, and their corresponding rates for integration are developed using the SymPy symbolic library and implemented using code generation. Kinematics equations are implemented through symbolic definition and code generation as well as leveraging other open source software that implements useful functions, such as the solutions to the inverse geodesy problem.
Open Source
LAR-19859-1
Exploration Visualization Environment Version 2.15
The Exploration Visualization Environment (EVE) is a simulation, visualization, and analysis system designed to integrate engineering data with a virtual environment in support of the design and planning of space based missions. Through the integration of time dependent data with detailed graphical models within a full scale three dimensional solar system or independent reference frame, the analyst can gain valuable insight into the correlation of data with simulation events. EVE provides a rich set of navigation tools, in both time and space, to enable the user to analyze the data. Version 2.15 of EVE has built upon previously released versions, enhancing analysis capabilities, greater usability, and enhanced input and output features. EVE has been developed to run cross platform under Linux, Windows and Mac.
U.S. Government Purpose Release
GSC-18115-1
Core Flight System Simulink Interface Layer
The Simulink Interface Layer (SIL) is a software abstraction layer which allows the interfacing of task/mission-specific code generated from Simulink (or other sources) to the Core Flight System (cFS) via a generic set of wrapper code. The SIL enables direct integration of code from the Simulink autocoding pipeline into the cFS without the need for interface code and allows access to cFS API's including table services, time services, the software bus, event services, and fault reporting. The SIL accomplishes this by extending Simulink's code generation pipeline to produce a description of the model's interfaces which is utilized by generic wrapper code to initialize the model and the appropriate cFS interfaces. The SIL simplifies the integration of code as a CFS application and eliminates the need for hand edits to generated code, allowing quicker integration of code and reducing the probability of human error in the integration process.
Open Source
View more software
Stay up to date, follow NASA's Technology Transfer Program on:
facebook twitter linkedin youtube
Facebook Logo Twitter Logo Linkedin Logo Youtube Logo