Comment Safety-Critical Systems programming (Score 1) 267
Can anyone point me to something legible on the subject? We'd like to start moving in the direction of provably correct systems and software, but I haven't been able to find much out there on the subject. Agile certainly isn't it, and every time I mention it, I get accused of "trying to go back to the failed software model, waterfall".
NASA does it, the aircraft industry does it - why can't we write systems that are robust? There was a similar article about "1,000 programmers furiously writing commands in 1/2 day to send to the Curiosity Rover", but finding details about how this process is done and managed is about as hard as finding out the truth about a political candidate. Where can one find this sort of stuff?