典型文献
可信系统性质的分类和形式化研究综述
文献摘要：
计算机系统被应用于各种重要领域,这些系统的失效可能会带来重大灾难.不同应用领域的系统对于可信性具有不同的要求,如何建立高质量的可信计算机系统,是这些领域共同面临的巨大挑战.近年来,具有严格数学基础的形式化方法已经被公认为开发高可靠软硬件系统的有效方法.目标是对形式化方法在不同系统的应用进行不同维度的分类,以更好地支撑可信软硬件系统的设计.首先从系统的特征出发,考虑6种系统特征:顺序系统、反应式系统、并发与通信系统、实时系统、概率随机系统以及混成系统.同时,这些系统又运行在众多应用场景,分别具有各自的需求.考虑4种应用场景:硬件系统、通信协议、信息流以及人工智能系统.对于以上的每个类别,介绍和总结其形式建模、性质描述以及验证方法与工具.这将允许形式化方法的使用者对不同的系统和应用场景,能够更准确地选择恰当的建模、验证技术与工具,帮助设计人员开发更加可靠的系统.
文献关键词：
可信系统;形式化方法;性质分类;验证方法和工具
中图分类号：
作者姓名：
王淑灵;詹博华;盛欢欢;吴昊;易士程;王令泰;金翔宇;薛白;李静辉;向霜晴;向展;毛碧飞
作者机构：
计算机科学国家重点实验室(中国科学院 软件研究所), 北京 100190;中国科学院大学, 北京 100049;华为技术有限公司 可信理论研究室, 广东 深圳 518129
文献出处：
引用格式：
[1]王淑灵;詹博华;盛欢欢;吴昊;易士程;王令泰;金翔宇;薛白;李静辉;向霜晴;向展;毛碧飞-.可信系统性质的分类和形式化研究综述)[J].软件学报,2022(07):2367-2410
A类：
验证方法和工具
B类：
可信系统,计算机系统,大灾难,可信性,可信计算,形式化方法,高可靠,硬件系统,同系,不同维度,地支,种系,系统特征,反应式,通信系统,实时系统,随机系统,混成系统,多应用场景,别具,通信协议,信息流,人工智能系统,验证技术,设计人员,人员开发,性质分类
AB值：
0.382196
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
