10.4 系统设计验证