6 ms·
A lot of work has gone into making that software especially robust, including some custom tooling for facilitating peer review. Dr. Holzmann (formerly of Bell
by atsaloli 13y ago
A lot of work has gone into making that software especially robust, including some custom tooling for facilitating peer review. Dr. Holzmann (formerly of Bell Labs, birthplace of Unix) heads JPL's Laboratory for Reliable Software to lead this work.
If you'd like to learn more, I written about the LARS methodology after hearing Dr. Holzmann at USENIX Hot Topics in Dependable Software:
http://www.verticalsysadmin.com/making_robust_software/ http://www.verticalsysadmin.com/making_robust_software/
- noir_lord 13y agoFascinating, this type of programming has always interested me (as I was a desktop developer who moved to the web) but not something I think I'd want to do (the stress alone must be horrific when you work on any mission critical/safety critical software).
- noselasd 13y agoThough what you describe covers only the code. The design is just as big a part of the picture and is just as much involved in the verification, revising, reviewing and testing.
- atsaloli 13y agoExcellent point, thank you.
- mturmon 13y agoAnd here is some more on Gerard's setup: http://gerard.holzmann.usesthis.com http://gerard.holzmann.usesthis.com
- cpeterso 13y agoThanks for your article. It was very interesting to read about the development of such "serious" software. :)
- atsaloli 13y agoYou are very welcome!