X hits on this document

Powerpoint document

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

46 views

0 shares

0 downloads

0 comments

8 / 17

20 July, 2004

OSMA Software Assurance Symposium

8

California Institute of Technology

Requirements Decomposition Analysis Relevance to NASA (cont’d)

The study uses requirements of actual NASA spacecraft (cont’d)

Mars Reconnaissance Orbiter

Goals:

Study the history of water on Mars

Become first link in “interplanetary network”

Mission requirements decompose into software requirements for typical on-board functions

Commanding

Data handling

Navigation

Attitude Control

Mars Exploration Rover arbiter (for model checking investigation)

Document info
Document views46
Page views46
Page last viewedTue Jan 17 13:30:05 UTC 2017
Pages17
Paragraphs299
Words1977

Comments