DID YOU KNOW? DTIC has over 3.5 million final reports on DoD funded research, development, test, and evaluation activities available to our registered users. Click HERE
to register or log in.
Specification and Validation of Space System Behaviors
Technical rept. Jan-Dec 2009
NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
Pagination or Media Count:
The NASA Independent Verification and Validation IVV Facility is using formal specification techniques for the IVV of the flight software for several upcoming missions. Such formal specifications are typically created on the basis of natural-language NL requirement specifications that are formalized at a later stage. This paper describes a technique for the discovery of NL requirements by systematic analysis of UML Activity Diagrams and Sequence Diagrams that represent critical mission operational scenarios and sequences. Our technique demonstrates a pattern oriented approach where patterns of NL requirements are mined out of the UML models based on predetermined categories of assertions, including Bounded Eventualities, Loops, Reentrance, and Order and Precedence.
APPROVED FOR PUBLIC RELEASE