Search results
Results from the WOW.Com Content Network
Publication of open source software fits in with Agency functions outlined under the National Aeronautics and Space Act, that is, to "provide for the widest practicable and appropriate dissemination of information concerning its activities and the results thereof." [4] The NOSA was a point of discussion for NASA's Open Source Summit in March ...
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 ...
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.
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]
In the field of spaceflight verification standards are developed by DoD, NASA and the ECSS, among others. Large aerospace corporations may also developed their own internal standards. These standards exist in order to specify requirements for the verification of a space system product, such as: [1] the fundamental concepts of the verification ...
HyperSizer is computer-aided engineering (CAE) software used for stress analysis and sizing optimization of metallic and composite structures. Originally developed at the US National Aeronautics and Space Administration (NASA) as ST-SIZE, it was licensed for commercial use by Collier Research Corporation in 1996. Additional proprietary code was ...
Listed here are software packages useful for conducting scientific research in astronomy, and for seeing, exploring, and learning about the data used in astronomy. Package Name Pro