Search results
Results from the WOW.Com Content Network
Formal Requirements Elicitation Tool (FRET) is a requirements engineering tool. It was developed by the NASA Ames Research Center to specify complex safety-critical systems whose failure could result in loss of life, significant property damage, or environmental harm. [3] FRET is open-source software released under the NASA Open Source ...
The NASA Open Source Agreement (NOSA) is an Open Source Initiative-approved software license. The United States National Aeronautics and Space Administration (NASA) releases some software (such as NASA World Wind and FRET ) under this license.
NASA's IV&V Program is the lead NASA organization for system software IV&V, and is responsible for the management of all system software IV&V efforts within the Agency. NASA's IV&V Program's role is to provide value-added service to the Agency's system software projects, primarily by appropriately performing IV&V on system software based on the ...
The Power of 10 Rules were created in 2006 by Gerard J. Holzmann of the NASA/JPL Laboratory for Reliable Software. [1] The rules are intended to eliminate certain C coding practices which make code difficult to review or statically analyze.
2.4.1: 2016-02-29: GPL Version 2 with Run-Time Exception: Free: Linux, Unix, Mac OS X: Elmer FEM: Open source multiphysical simulation software developed by Finnish Ministry of Education's CSC, written primarily in Fortran (written in Fortran90, C and C++) CSC: 8.2: 2021-03-04: GPL: Free: Linux, Mac OS X, Windows: FEBio: Finite Elements for ...
The original inventors of SHINE are Mark L. James and David J. Atkinson. SHINE is an expert system and inference engine based upon the experience, requirements and technology that were collected by the Artificial Intelligence Research group at NASA/JPL in developing expert systems for the diagnosis of spacecraft health. [1]
Power engineering software - software for power stations, overhead power lines, transmission towers, electrical grids, grounding, electrical substations, and Lightning; List of discrete event simulation software - Discrete-event simulation; List of computer algebra systems - Computer algebra system; List of numerical-analysis software; List of ...
SPICE (Spacecraft Planet Instrument C-matrix Events) is a NASA ancillary information system used to compute geometric information used in planning and analyzing science observations obtained from robotic spacecraft. It is also used in planning missions and conducting numerous engineering functions needed to carry out those missions. [1]