The environment is the part of the system that is assumed to be present. The environment contract defines the temporal constraints (deadlines), throughput requirements, availability, reliability, maintainability, security, safety, location, and quality of service.