This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Landing a Spacecraft on Mars
March-April 2013 (vol. 30 no. 2)
pp. 83-86
ASCII Text
x 
 
Gerard J. Holzmann, "Landing a Spacecraft on Mars," IEEE Software, vol. 30, no. 2, pp. 83-86, March-April, 2013.
 
 
BibTex
x
 
@article{ 10.1109/MS.2013.32,
author = {Gerard J. Holzmann},
title = {Landing a Spacecraft on Mars},
journal ={IEEE Software},
volume = {30},
number = {2},
issn = {0740-7459},
year = {2013},
pages = {83-86},
doi = {http://doi.ieeecomputersociety.org/10.1109/MS.2013.32},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - MGZN
JO - IEEE Software
TI - Landing a Spacecraft on Mars
IS - 2
SN - 0740-7459
SP83
EP86
EPD - 83-86
A1 - Gerard J. Holzmann,
PY - 2013
KW - impact
KW - spacecraft
KW - software
VL - 30
JA - IEEE Software
ER -
 
How much software does it take to land a spacecraft safely on Mars, and how do you make all that code reliable? This column describes such a software development process. The first Web extra at http://mars.jpl.nasa.gov/multimedia/videos/movies/miam20121218/miam20121218-1280.mov is a 60-second video from NASA's Jet Propulsion Laboratory that shows how NASA's Mars rover drivers operate the vehicles from millions of miles away. The second Web extra at http://mars.jpl.nasa.gov/multimedia/videos/movies/msl20120827_curiositycommunicates/msl20120827_curiositycommunicates-1280.mov is an animated video showing how NASA's Curiosity rover communicates with Earth via two of NASA's Mars orbiters, Mars Reconnaissance Orbiter (MRO) and Odyssey, and the European Space Agency's Mars Express. The third Web extra at http://mars.jpl.nasa.gov/multimedia/videos/movies/CoM20121207/CoM20121207-1280.mov is a video discussing the scientific study by NASA's Curiosity Mars rover at Rocknest.
Index Terms:
impact,spacecraft,software
Citation:
Gerard J. Holzmann, "Landing a Spacecraft on Mars," IEEE Software, vol. 30, no. 2, pp. 83-86, March-April 2013, doi:10.1109/MS.2013.32
Usage of this product signifies your acceptance of the Terms of Use.