Reliability enhanced processing system and method for optimizing

A method of enhancing reliability of a processing system comprised of a plurality of processes, each process accepting input data and providing output data, the method comprising the steps of:

• adding, for each of the separated processes, a pre-condition check, each pre-condition check verifying that the input data meets an input criteria for the associated process;
• adding for each of the separated processes, a post-condition check each post-condition check verifying that the output data meets an output criteria for the associated process;
• eliminating logically redundant ones of the pre and post-condition checks;
• eliminating mathematically demonstrated redundant ones of the pre and post-condition checks;
• and
• implementing the separated processes and remaining ones of the pre and post-condition checks in an architecture having separation between each of the processes, pre-condition checks and post-condition checks.

A processing system for processing system input data and providing system output data, the system comprised of:

• a plurality of separated processes, each separated process accepting process input data and providing process output data;
• independent pre-condition checks associated with each of the separated processes, each independent pre-condition check for verifying that the process input data meets an input criteria defined for the associated process;
• independent post-condition checks associated with each of the separated processes, each independent post-condition check for verifying that the process output data meets an output criteria defined for the associated separated process,
• the independent pre-condition checks and independent post-condition checks not including logically redundant and mathematically demonstrated redundant checks;
• and
• the separated processes and the independent pre-condition and post-condition checks are implemented in a separation architecture, the separation architecture having isolation between each of the separated process, and having isolation between each of the independent pre-condition checks, and each of the independent post-condition checks.

A method of processing data in a processing system, the method comprising the steps of:

• processing process input data and providing process output data in plurality of separated processes;
• verifying the process input data meet an input criteria for the associated process, the verifying the process input data step performing independent pre-condition checks for each of the processes;
• and
• verifying the process output data meet an output criteria for the associated separated process, the verifying the process output data step performing independent pre-condition checks for each of the separated processes,
• wherein the independent pre-condition checks and the independent post-condition checks do not including logically redundant and mathematically demonstrated redundant checks;
• the steps of the system accepting system input data and providing system output data, the system input data being process input data for one of the separated processes, the system output data being process output data for another of the separated processes;
• and
• the processing step, and the verifying steps are performed in a separation architecture, the separation architecture having isolation between each of the separated process, and providing isolation between each of the independent pre-condition checks, and each of the independent post-condition checks.