NASA NTRS · 20060043389
The HiVy tool set
Abstract
Our aim is to validate mission-specific components of spacecraft flight software designs that are specified using state-charts and translated automatically to the final flight code for the mission. We established an automatic translation tool set from state-charts to SPIN for the validation of such mission-specific components.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
Pingree, Paula J., Mikk, Erich. 2004-07-01. The HiVy tool set. https://ntrs.nasa.gov/citations/20060043389
Cite the original work for its findings. Save a collection to share your selection of sources.