Information technology. Programming languages. Guide for the use of the Ada Ravenscar Profile in high integrity systems Ingestion-build-73935 5 Confectionery and snack machines

5 Confectionery and snack machines that are not refrigerated

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

land use) are not developed in this part of ISO 15686

z value determination

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

Information technology. Programming languages. Guide for the use of the Ada Ravenscar Profile in high integrity systems Ingestion-build-73935 5 Confectionery and snack machines1 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.