Comment Software engineering, not design patterns (Score 1) 690
Lots of people will try to work around your requirement for C++, but I'll assume your reasons are solid and let it stand.
What your are looking for are not design patters but software engineering practices. Specifically, you're interested in what would be called critical systems (think things like air-traffic control where failures can cost lives). These sorts of systems exist, and are written in all sorts of languages, but writing them is not a small undertaking. To get an idea of what you're undertaking, have a look at how reliability (RELY) affects things in the COCOMO II model.
http://sunset.usc.edu/research/COCOMOII/expert_coc omo/drivers.html
The next step is to look at some of the literature. I'd suggest starting with Somerville's 'Software Engineering', where you'll find part 4 dedicated to critical systems and part 5 dedicated to verification and validation. The chapter on critical systems validation is probably the meat of what you need, but the rest is likely needed for a solid background. Suffice to say that those saying 'test driven development' are on the way to enlightenment, but are missing a large part of the story.
http://www.amazon.com/gp/product/0321210263/102-91 00997-2271304
Best of luck though. It sounds like you'll be in for an interesting project.
What your are looking for are not design patters but software engineering practices. Specifically, you're interested in what would be called critical systems (think things like air-traffic control where failures can cost lives). These sorts of systems exist, and are written in all sorts of languages, but writing them is not a small undertaking. To get an idea of what you're undertaking, have a look at how reliability (RELY) affects things in the COCOMO II model.
http://sunset.usc.edu/research/COCOMOII/expert_co
The next step is to look at some of the literature. I'd suggest starting with Somerville's 'Software Engineering', where you'll find part 4 dedicated to critical systems and part 5 dedicated to verification and validation. The chapter on critical systems validation is probably the meat of what you need, but the rest is likely needed for a solid background. Suffice to say that those saying 'test driven development' are on the way to enlightenment, but are missing a large part of the story.
http://www.amazon.com/gp/product/0321210263/102-9
Best of luck though. It sounds like you'll be in for an interesting project.
