Mars Code: Building Robust Software
Dr. Gerard Holzmann spoke at USENIX Hot Topics in System Dependability mini-conf on 7 Oct 2012 in Hollywood, California. He described how NASA/JPL writes and tests software that survives rigors of interplanetary travel, planetary entry, descent, and landing, and operation in another world. The following methods embody the state of the art in engineering robust software. — Aleksey Tsalolikhin, October 2012 http://www.verticalsysadmin.com/ About Dr. Holzmann Dr. Holzmann is a foremost expert on software reliability. NASA hired Dr. Holzmann out of Bell Labs (after 24 years in that magical birthplace of UNIX) to solve its most difficult challenges in software. Dr. Holzmann heads JPL’s Laboratory for Reliable Software (LARS). ...