skip to main content
department
Free Access

Revving the rover

Published:01 February 2013Publication History
Skip Abstract Section

Abstract

The new Mars rover has attracted plenty of attention for its planetary gymnastics, but the big breakthroughs are under the hood.

References

  1. Sky Crane Video; http://www.youtube.com/ watch?v=N9hXqzkH7YAGoogle ScholarGoogle Scholar
  2. G.J. Holzmann The Spin Model Checker--Primer and Reference Manual, Addison-Wesley, Reading MA, 2004, ISBN 0-321-22862-6. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. Mars Science Laboratory (NASA site) http://www.nasa.gov/mission_pages/msl/index.htmlGoogle ScholarGoogle Scholar
  4. G. Groth Software on Mars, Communications of the ACM 55, 11 (Nov. 2012), 13-15; http://cacm. acm.org/news/156591-software-on-mars/fulltext Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. B. Cichy 2010 Workshop on Spacecraft Flight Software, California Institute of Technology; http://win-dms-ms1.caltech.edu/five/View er/?peid=476727664f1b4d8390d3ab3767 0ababdGoogle ScholarGoogle Scholar

Index Terms

  1. Revving the rover

          Recommendations

          Comments

          Login options

          Check if you have access through your login credentials or your institution to get full access on this article.

          Sign in

          Full Access

          • Published in

            cover image Communications of the ACM
            Communications of the ACM  Volume 56, Issue 2
            February 2013
            95 pages
            ISSN:0001-0782
            EISSN:1557-7317
            DOI:10.1145/2408776
            Issue’s Table of Contents

            Copyright © 2013 ACM

            Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

            Publisher

            Association for Computing Machinery

            New York, NY, United States

            Publication History

            • Published: 1 February 2013

            Permissions

            Request permissions about this article.

            Request Permissions

            Check for updates

            Qualifiers

            • department
            • Popular
            • Un-reviewed
          • Article Metrics

            • Downloads (Last 12 months)22
            • Downloads (Last 6 weeks)14

            Other Metrics

          PDF Format

          View or Download as a PDF file.

          PDF

          eReader

          View online with eReader.

          eReader

          HTML Format

          View this article in HTML Format .

          View HTML Format