Landing a Spacecraft on Mars

被引：24

作者：

Holzmann, Gerard J. ^{[1
]}

机构：

[1] CALTECH, NASA, Jet Prop Lab, Pasadena, CA 91125 USA

来源：

IEEE SOFTWARE | 2013年 / 30卷 / 02期

关键词：

impact; software; spacecraft;

D O I：

10.1109/MS.2013.32

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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. © 1984-2012 IEEE.

引用

页码：83 / 86

页数：4