Reliability, availability, maintainability and assurance of Safety Critical Software (SCS) greatly depends on the requirements and specification correctness, and the complete specification of exception conditions.;A detailed methodology to develop, verify, validate and test safety critical software specification, is discussed with an example. Object Z is used for this purpose. Extensions to Object Z, such as preconditions, postconditions and hazardous states, are developed to support the methodology. |