防黑客编程

• 作者: 冯新宇 艾斯特·沙因 赵永望
• 来源期刊: 中国计算机学会通讯
• 关键词: 软件验证 规约
• 年，卷（期）: 2017,（10）
• 所属期刊栏目: 译文
• 页码范围: 86-89
• 页数: 4页
• 语种: 中文

摘要

在华盛顿大学的医学中心内,放射治疗系统将高能辐射光束射入到病人头中,以治疗患者舌头和食道内的肿瘤.系统中的任何软件都不允许出现错误,任何错误都将是致命的,因此,医学中心的工程师和科学家们进行合作,以确保系统不会失效.一旦规定的配置超出允许范围,高能辐射光束将被立即关闭.