NOTICE: Use the parameters below to customize your search. Regular expressions and bolean "AND" will to match the search. In the case of "Author name", the search is performed using only for the last name.
Found 1 entries in the Bibliography.
Showing entries from 1 through 1
Solar Probe Plus Spacecraft Flight Software requirements verification test framework
Comprehensive Spacecraft Flight Software requirements verification is essential to the success of deep space missions. NASA s Solar Probe Plus (SPP) Spacecraft Flight Software and requirement verification activities are being implemented by Johns Hopkins University Applied Physics Laboratory (JHU/APL) located in Laurel, MD. JHU/APL s software development process for a critical mission requires an independent verification of all Spacecraft Flight Software requirements. The complexity of SPP s Spacecraft Flight Software and th ...
Jacobs, Samantha; Wortman, Kristin;
Published by: IEEE Aerospace Conference Proceedings Published on:
Flight control systems; Formal verification; Interplanetary flight; NASA; Probes; Program debugging; Requirements engineering; Software design; Spacecraft; Parker Engineering