Accession Number:

ADA516732

Title:

Specification and Validation of Space System Behaviors

Descriptive Note:

Technical rept. Jan-Dec 2009

Corporate Author:

NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE

Personal Author(s):

• Drusinsky, Doron
• Raque, Steven

Report Date:

2010-02-02

Pagination or Media Count:

30.0

Abstract:

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.

Descriptors:

• *VERIFICATION
• *VALIDATION
• *SPACE SYSTEMS
• *NATURAL LANGUAGE
• SPECIFICATIONS
• REQUIREMENTS
• SCENARIOS
• COMPUTER PROGRAMS

Subject Categories:

• Linguistics
• Astronautics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE