操作系统的设计目标包括：正确性、高效性、维护性和____。