to NASA Capability Needs Template Slides Template Slides Map Research to Technology Candidate New Technology Candidate Intermediate Milestones for Technology New Capability Description Data needed for Research ID: 626278
Download Presentation The PPT/PDF document "Mapping Formal Methods" is the property of its rightful owner. Permission is granted to download and print the materials on this web site for personal, non-commercial use only, and to display it on your personal computer provided you do not modify the materials and that you retain all copyright notices contained in the materials. By downloading content from our website, you accept the terms of this agreement.
Slide1
Mapping Formal Methodsto NASA Capability Needs
Template SlidesSlide2
Template Slides
Map Research to Technology Candidate
New Technology Candidate
Intermediate Milestones for Technology
New Capability Description
Data needed for ResearchSlide3
Map Research To Technology Candidate
Capability Name
Technology Candidate (existing or new)
Research Program, project, or paper with reference
•
Short Description
How it contributes to capability
Metric contribution (qualitative or quantitative)
Needed follow-on work and time frameSlide4
Intermediate Milestones
Capability Name
End Goal and Time Frame
Intermediate
Milestone(s
)
Description
Time FrameSlide5
New Technology Candidate
Capability name
Technology description
State of the Art (metric)
End Goal for achieving capabilitySlide6
New Capability
Capability name and description
Missions that are enabled or enhanced
Rationale
Time frame (date needed)
State of the ArtSlide7
Data Needed for Research
Artifact description (architecture, software/system design, software code, test results, telemetry).
Benefit of having NASA artifact versus surrogate.