Put it another way: what code have you written that cannot fail. I'm interested in hearing from those who have worked on projects dealing with heart monitors, water testing, economic fundamentals, missile trajectories, or the O2 concentration on the space shuttle. How did you prepare for writing this sort of code: methodologically, int...
Beyond some valid reasons not to use a new tool such as support of legacy code, no in-house SPARKAda knowledge base, why hasn't SPARKAda caught on? It seems like a very sound tool for many projects requiring high reliability, so I don't understand why its not so common. I would be more comfortable knowing that the avionics software that ...
We take text/csv like data over long periods (~days) from costly experiments and so file corruption is to be avoided at all costs. Recently, a file was copied from the Explorer in XP whilst the experiment was in progress and the data was partially lost, presumably due to multiple access conflict. What are some good techniques to avoid...
Are there systems or is there software out there that is developed with a proof of correctness to back it up? Or are all critical systems developed merely with an aggressive code review and test cycle? ...
I'm writing a program that will continuously process files placed into a hot folder. This program should have 100% uptime with no admin intervention. In other words it should not fail on "stupid" errors. i.e. Someone deletes the output directory it should simply recreate it and move on. What I'm thinking about doing is to code the ent...
I need to build in some resilience in a web service client application. Are any of these two scenarios supported by the standard dot.net web service generated client (classic or 3.0)? Specifying a list of server addresses so that the clien can fall back automatically if one server goes down. Configuring the client so it looks up the DN...
Can a C++ compiler produce a not so good binary? You can think here of the output's robustness and performance. Is there such a thing as the "best" C++ compiler to use? If not, what are the strong points, and of course, the not-so-strong (known Bugs and Issues) points, of the well-known compilers (g++, Intel C++ Compiler, Visual C++, etc...
I was wondering... There are people out there who code stuff going to mars, satellite control systems, nuclear facilities. What kind of training did they do ? What is their career path ? ...