CACM logo

This Article

BLOG@CACM

Developing Software for the Outer Space

[article image]

Ajith Ranabahu

October 28, 2009

Making good software is hard.  Making software that has to work without defects on a different planet is extremely hard. Today Gerard Holzmann explained how NASA does it during his keynote at OOPSLA.

User Comments

 (2)

I think Gerard said they only use Spin on a very small part of the codebase whereas a portfolio of commercial tools like Coverity and GrammaTech in particular along with Gerard's own Uno and a battery of shell scripts are run on everything every night.

   — Ronald Woan, October 29, 2009

Thanks Ron for pointing that out. I've modified the blog to indicate that SPIN is not the only tool.

   — Ajith Ranabahu, November 1, 2009

sign in to comment

If you are an ACM member, Communications subscriber, Digital Library subscriber, or use your institution's subscription, please set up a web account to access comments, premium content and additional site features.

If you are a SIG member or member of the general public, you may set up a web account to comment on free articles and sign up for email alerts.

Tools For Readers

Bookmark and Share
Default Font Size Large Font Size X-Large Font Size Text Size

Related ACM Resources

Conferences:

Books:

Courses:

  • Windows XP Professional: An Introduction - In this course, you will examine the Windows XP Professional environment, observe how to organize files and folders, and discover how to manage and customize …
More About ACM Resources

In The Digital Library

About Communications | Join ACM External Link | Renew External Link | Subscribe External Link | Sign In | For Authors | For Advertisers External Link | Privacy | Site Map | Help | Contact Us

Copyright © 2009 by the ACM. All rights reserved.

Back to Top