Information technology. Programming languages. Guide for the use of the Ada Ravenscar Profile in high integrity systems Ingestion-build-73935 Quality Assurance and Hazard Analysis

Quality Assurance and Hazard Analysis and Critical Control Point (HACCP) for use in

BS EN IEC 62960 on dependability reviews during the life cycle is useful for:

Testing of the suitability of a refrigerating system for a specific use

z value determination

5 Confectionery and snack machines that are not refrigerated

Information technology. Programming languages. Guide for the use of the Ada Ravenscar Profile in high integrity systems Ingestion-build-73935 Quality Assurance and Hazard Analysis1 Scope This Technical Report provides a description of the motivations behind the Ravenscar Profile, to show how Ada programs using the profile can be analysed, and gives examples of usage.