NASA developer secures way to the stars
May 1, 2009 —
(Page 1 of 3)
When Gerard Holzmann arrives at work, he passes by assembly facilities for putting spacecraft together. He says hello to scientists working with vacuum chambers, which test mechanical devices that operate in outer space. He takes a peek into the “dark room,” an observation room where all active spacecraft are tracked and monitored. It is easy for him to explore his space at the NASA Jet Propulsion Laboratory in Pasadena, Calif.
“There’s lots of very interesting stuff to be seen here,” Holzmann said. “The perspective on writing software changes very quickly if you imagine, ‘Well, maybe your life is at stake if that software malfunctions,’ like if the software were to go into your car or you have to fly on a mission where the software is in control. Then your perspective changes very quickly, and you really don’t want to cut any corners.”
Holzmann didn’t cut corners on his way to the JPL, either. Born in Amsterdam, the Netherlands, he received an engineer’s degree in electrical engineering from the Delft University of Technology. He has written four books, including “The Spin Model Checker – Primer and Reference Manual” and “The Early History of Data Networks.”
Prior to joining the JPL in 2003, Holzmann worked for over 20 years in the Computing Science Research Center at AT&T’s Bell Labs.
With each mission that NASA carries, more and more software is being used on spacecraft. Any small defect can pose a problem during a mission, and with the long transmission delays while a spacecraft is in flight, fixing defects can be “particularly nasty,” Holzmann noted.
As a result, Holzmann and his team have the unenviable task of catching software defects before they reach mission operations. In May 2003, the JPL Laboratory for Reliable Software was created to try and achieve long-term improvements in the JPL’s software systems. The laboratory develops coding standards and creates defect catchers.
Currently, the Laboratory for Reliable Software has its attention on the Mars Science Laboratory mission. Mars Science Laboratory will put a rover onto the red planet to assess whether or not Mars is an environment that could sustain microbial life. In December 2008, the mission was postponed from 2009 to 2011 as a result of issues with flight system testing and hardware, according to NASA. Holzmann said this mission has a couple million lines of code, more than any previous mission.
Related Search Term(s): security
Share this link: http://sdt.bz/33450
Most Read Latest News Blog Resources
Branching and merging: the heart of version control
Providers hold their own views of the landscape, but the Git SCM system is drawing looks from them all
|
|
Not so fast when it comes to testing in the cloud
Developers face outsourcing, virtual lab management and mobile devices as obstacles
|
|
Microsoft pivots toward business intelligence
The goal is to make business intelligence accessible "to the masses"
|
|
From the Editors: Node.js is unruly, but that’s where the fun is
The time to get involved with Node.js is now; Hadoop is about to break its own barriers
|
Top five apps to manage your workload
Web applications offer new ways to track your “to-do” lists
|
|
Not so fast when it comes to testing in the cloud
Developers face outsourcing, virtual lab management and mobile devices as obstacles
|
|
Xceed releases UX-focused suite for Microsoft’s WPF
"Blendables" helps match user experiences to developer visions
|
|
Microsoft pivots toward business intelligence
The goal is to make business intelligence accessible "to the masses"
|
GitHire: Use Headhunters to Find Your Perfect Programmer
Are you a hiring manager tired of scouring the job boards? Check out this new service that will find 5 people interested in your jobs.
|
|
Facebook claims hacker cred
Facebook's SEC S-1 filing form includes a short essay on the Hacker Way by Mark Zuckerberg himself.
|
|
Ryan Dahl steps down
Ryan Dahl, creator of Node.js, steps back from his position as gatekeeper for the project.
|
|
Bloomberg opens its API
Bloomberg's APIs could lead to a future standard for accessing market data.
|
The Hidden Costs of Software Licensing
Moving beyond paper-based software licensing to more flexible, software-based licensing is a business decision. There is a growing trend tow...
|
|
Case Study: You May Need a Development Mechanic
As a contractor for a major financial player in Germany, SOBEGE, a German-based consultancy specializing in embedded IT and web services, wa...
|
|
Ensuring Software Quality at a Major International Bank
One of the world’s leading international banks has adopted AgitarOne technology for delivering generated unit tests for their Java software...
|
|
Load Testing Adobe Flex Applications
Adobe Flex applications may be different from applications you’ve worked with before. For classic HTML web applications, the server does all...
|