4 ms·
What's this about the space shuttle? I'm intrigued. I thought that the paris metro was the posterchild of formal verification methods.
by andbberger 7y ago
What's this about the space shuttle? I'm intrigued.
I thought that the paris metro was the posterchild of formal verification methods.
- salawat 7y agoThe software that went into the Space Shuttle was coded to CMM level 5; this is a level of Quality Assurance that would make even the most Iron Fisted, detail oriented QA begin to sweat at the pile of paperwork and pressure ahead of them. It's a completely different experience that likely only a handful of modern testers would even contemplate nowadays, but has always been a shining example of something to aspire to be part of one day for me. It isn't at all easy, and basically requires the discipline to understand, document, and justify every single line of code within the context of the overarching system. No business wants to deal with it, and it is no surprise that only publically funded projects tend to get anywhere close. https://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/20110014946.pdf https://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/201100... https://developers.slashdot.org/story/00/05/19/050258/space-shuttle-software-not-for-hacks https://developers.slashdot.org/story/00/05/19/050258/space-...