X hits on this document

Powerpoint document

Requirements Decomposition Analysis, Model Based Testing of Sequential Code Properties - page 7 / 17

54 views

0 shares

0 downloads

0 comments

7 / 17

20 July, 2004

OSMA Software Assurance Symposium

7

California Institute of Technology

Requirements Decomposition Analysis Relevance to NASA

The study uses requirements of actual NASA spacecraft

The New Millennium Program ST6 Autonomous Rendezvous eXperiment (ARX)

Purpose: demonstrate autonomous rendezvous between the spacecraft and a passive in-orbit payload

Key technology demonstration in preparation for the Mars Sample Return mission

Mission requirements decompose into software requirements which must control the laser rangefinder, the on-board calculation of trajectory maneuvers, the commanding of the propulsion system, and the orchestration of data downlinks to report the mission's results to Earth.

Document info
Document views54
Page views54
Page last viewedSun Jan 22 08:16:17 UTC 2017
Pages17
Paragraphs299
Words1977

Comments