X hits on this document

Powerpoint document

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

36 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 views36
Page views36
Page last viewedTue Dec 06 20:51:43 UTC 2016
Pages17
Paragraphs299
Words1977

Comments