Computer Science
8 years ago

Automatically generated NASA system code to undergo rigorous testing for safety.

Testing and Troubleshooting Automatically Generated Source Code
Joel Henry

Paper Summary

Related papers

Decision Sciences
8 years ago

New research reveals key to faster and more cost-effective computer simulations

Optimization Techniques
Grid Computing
Reconfigurable Computing
1 view
Theme background image
Engineering
8 years ago

New facility revolutionizes instrument design and verification for scientists and engineers.

Fault Diagnosis
Theme background image
Computer Science
8 years ago

Revolutionizing Real Time Software Systems for Enhanced User Experience!

Real-Time Scheduling
Real-Time Simulation
Fault Diagnosis

The article discusses how tools are used to automatically generate source code for NASA systems, saving time and allowing non-experts to create software. However, this generated code is not thoroughly tested, which can impact system reliability. By applying traditional and new testing techniques to this code, the reliability of these critical systems can be improved.