收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

可信系统性质的分类和形式化研究综述

王淑灵  詹博华  盛欢欢  吴昊  易士程  王令泰  金翔宇  薛白  李静辉  向霜晴  向展  毛碧飞  
【摘要】:计算机系统被应用于各种重要领域,这些系统的失效可能会带来重大灾难.不同应用领域的系统对于可信性具有不同的要求,如何建立高质量的可信计算机系统,是这些领域共同面临的巨大挑战.近年来,具有严格数学基础的形式化方法已经被公认为开发高可靠软硬件系统的有效方法.目标是对形式化方法在不同系统的应用进行不同维度的分类,以更好地支撑可信软硬件系统的设计.首先从系统的特征出发,考虑6种系统特征:顺序系统、反应式系统、并发与通信系统、实时系统、概率随机系统以及混成系统.同时,这些系统又运行在众多应用场景,分别具有各自的需求.考虑4种应用场景:硬件系统、通信协议、信息流以及人工智能系统.对于以上的每个类别,介绍和总结其形式建模、性质描述以及验证方法与工具.这将允许形式化方法的使用者对不同的系统和应用场景,能够更准确地选择恰当的建模、验证技术与工具,帮助设计人员开发更加可靠的系统.

知网文化
【相似文献】
中国期刊全文数据库 前12条
1 柴振荣;形式化检验的简化[J];管理科学文摘;1999年05期
2 张冠华,张连华,白英彩;反应式嵌入式系统形式化性能模型的研究[J];小型微型计算机系统;2005年11期
3 龚俭,顾冠群;ODP系统企业观点的形式化描述[J];计算机学报;1996年09期
4 张鹏飞;;RTL数字系统的形式化描述[J];安徽科技学院学报;2014年06期
5 张文君,缪栋,王毓政;多媒体命令分析器的形式化描述[J];微型电脑应用;2000年05期
6 杨建新;彭海军;钱玉莹;;1553B总线物理连接的形式化描述[J];航空计算技术;2018年02期
7 郑建华;李迪;肖舒华;苏兆港;;实时嵌入式系统形式化自动验证的研究与应用[J];制造业自动化;2007年09期
8 高英;郭荷清;邹智敏;;分布式环境下基于形式化领域本体的查询处理[J];华南理工大学学报(自然科学版);2007年01期
9 成正修;;网络语言——规则和价值[J];科学时代;2003年15期
10 郝瑞兵,吴建平;一种形式化的协议互操作性测试方法[J];计算机学报;1997年04期
11 刘振科;施智平;关永;金声震;张杰;叶世伟;李晓娟;;函数矩阵理论在HOL4中的形式化[J];小型微型计算机系统;2013年03期
12 于露;;有界模型检验综述[J];电脑知识与技术;2017年35期
中国博士学位论文全文数据库 前1条
1 李广元;LTLC:面向实时与混成系统的连续时序逻辑[D];中国科学院软件研究所;2001年
中国硕士学位论文全文数据库 前2条
1 周文嘉;普适计算中动态更新及其形式化研究[D];上海交通大学;2011年
2 刘丹军;机群环境下多层次复杂商业应用管理的关键技术研究[D];中国科学院研究生院(计算技术研究所);2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978