If your safety-critical system possesses some authenticated test cases, here are two questions :..............

Q1/ have your simulators been authenticated with those test cases ?





Q2/ does you system itself generate those test cases ?








If you can't answer yes,


how do you know your software hasn't been doctored ?If your safety-critical system possesses some authenticated test cases, here are two questions :..............
Q1 %26amp; Q2 are yes referring to Metasploit Framework.





You can got a free download from http://metasploit3.com





It is commonly used for computing system but it can be applicable to safety-critical system. You only need to divide the criteria into performance and security.





Of course, if you need a good standard for your application, you should check with CIA who has just solved the power-grid problems.