Posts on Aleksey Tsalolikhinhttp://tsalolikhin.com/posts/Recent content in Posts on Aleksey TsalolikhinHugo -- 0.153.4en-usMon, 15 Oct 2012 00:00:00 +0000Mars Code: Building Robust Softwarehttp://tsalolikhin.com/posts/mars-code/Mon, 15 Oct 2012 00:00:00 +0000http://tsalolikhin.com/posts/mars-code/<p>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.</p> <p>The following methods embody the state of the art in engineering robust software.</p> <p>— Aleksey Tsalolikhin, October 2012 <a href="http://www.verticalsysadmin.com/">http://www.verticalsysadmin.com/</a></p> <h2 id="about-dr-holzmann">About Dr. Holzmann</h2> <p>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&rsquo;s Laboratory for Reliable Software (LARS).</p>