This paper examines an inconsistency in generic ’top-down’ design methods and standards employed in the implementation of reliable software. Many design approaches adopt top-down ordering when defining the structure, interfaces, and processing of a system. However, strict adherence to a top-down sequencing does not permit accurate description of a system’s error handling functions. The design o...
