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

实时并发系统的形式化建模方法研究

燕飞  唐涛  
【摘要】:随着计算机技术在列车运行控制系统中的应用,安全问题显得越发的重要和复杂,传统的安全系统设计、分析和测试方法难以满足以计算机技术为基础的安全系统的需要。近年来,基于离散数学和形式逻辑理论的形式化方法发展迅速,为解决安全计算机系统设计开发的正确性问题提供了一条可能的途径。针对实时并发系统,提出一种基于时间自动机网络模型的形式化建模方法,以列车超速防护系统为例说明方法的可行性。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 刘润杰;申金媛;穆维新;;形式化开发非递归Koch曲线算法[J];计算机科学;2011年09期
2 陈兰香;;一种基于会话的安全Web文件服务模型[J];计算机工程;2011年18期
3 聂锡宁;蔡国永;;Petri网的重写逻辑模型及其属性验证[J];桂林电子科技大学学报;2011年03期
4 曹凤雪;;多Agent系统中组织适应的形式化方法[J];江苏技术师范学院学报;2011年06期
5 邹晓辉;邹顺鹏;;间接计算模型和间接形式化方法[J];软件;2011年05期
6 李鸿;;基于范畴论的粒合成形式化方法[J];计算机工程;2011年14期
7 李均涛;唐郑熠;李祥;;基于行为时序逻辑的入侵取证研究[J];计算机应用研究;2011年07期
8 刘江;;软件开发方法需要理论[J];程序员;2010年10期
9 陈振庆;罗兰花;;基于OWL本体的UML类图推理[J];计算机应用与软件;2011年08期
10 陈振庆;;基于描述逻辑的带依赖属性UML类图[J];计算机工程;2011年15期
11 陈彬;邱晓刚;郭刚;;多范式人工社会建模与多智能体仿真平台框架[J];系统仿真学报;2011年08期
12 齐军;张月菊;王涛;;工作流集成中基于代数表达式的语义匹配机制[J];计算机应用;2011年08期
13 李辉;;软件工程开发方法的现状与展望[J];福建广播电视大学学报;2011年03期
14 毛瑞雪;;基于Pi演算的Web服务组合过程框架[J];计算机与数字工程;2011年07期
15 刘辉;李蕊;焦铬;;软件故障检测技术及其发展探讨[J];电脑知识与技术;2011年15期
16 董宇欣;印桂生;谢新强;马志强;;网构软件信任机制的形式化研究[J];哈尔滨工程大学学报;2011年06期
17 王苏滨;张泽焕;汪红宇;;显示控制群中大规模控制的形式方法[J];控制理论与应用;2011年06期
18 于立兴;陈中育;高毅;;消息序列图的范畴论语义描述[J];计算机工程;2011年14期
19 何锋;;一种顺序图的形式化描述与推理过程[J];计算机系统应用;2011年06期
20 陈尧妃;;ADOX在SQL Server数据库技能测评中的应用[J];计算机系统应用;2011年06期
中国重要会议论文全文数据库 前10条
1 燕飞;唐涛;;实时并发系统的形式化建模方法研究[A];2009系统仿真技术及其应用学术会议论文集[C];2009年
2 杨晓婕;缪祥华;仇细平;;Yahalom协议的改进及安全性分析[A];2009年研究生学术交流会通信与信息技术论文集[C];2009年
3 吴允曾;;关于形式化的几个问题[A];金岳霖学术思想研究——金岳霖学术思想研讨会论文集[C];1985年
4 王绍棣;孙知信;王汝传;;形式化方法在CAD中的应用研究[A];中国图象图形学会第十届全国图像图形学术会议(CIG’2001)和第一届全国虚拟现实技术研讨会(CVR’2001)论文集[C];2001年
5 燕飞;唐涛;;形式化方法在基于通信的列车运行控制系统(CBTC)中的应用研究[A];可持续发展的中国交通——2005全国博士生学术论坛(交通运输工程学科)论文集(下册)[C];2005年
6 李樱;王永滨;冯爽;;基于LOTOS的PIM-SM协议形式化分析[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(上)[C];2006年
7 解云峰;李之棠;石曙东;;基于串空间模型的安全协议形式化分析方法研究[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
8 王永滨;郭云飞;陆娜;;CADP与PIM-SM协议分析[A];2006年全国开放式分布与并行计算机学术会议论文集(三)[C];2006年
9 李峭;熊华钢;黄臻;丁凡;;AFDX网络中的准时制消息调度方法[A];大型飞机关键技术高层论坛暨中国航空学会2007年学术年会论文集[C];2007年
10 郭华;庄雷;;电子商务协议的形式化验证方法及FR验证实例[A];2005年全国理论计算机科学学术年会论文集[C];2005年
中国博士学位论文全文数据库 前10条
1 燕飞;轨道交通列车运行控制系统的形式化建模和模型检验方法研究[D];北京交通大学;2006年
2 龙慧云;基于进程代数的Web服务数据和组合的形式化方法研究[D];贵州大学;2009年
3 江敏;多视点需求工程中不一致性的检测与处理[D];武汉大学;2007年
4 席琳;形式化方法在构件组装实时系统中的应用研究[D];郑州大学;2012年
5 曹源;高速铁路列车运行控制系统的形式化建模与验证方法研究[D];北京交通大学;2011年
6 王英龙;Ad Hoc网络路由协议安全性分析方法研究[D];山东大学;2005年
7 陈怡海;面向对象软件规格说明的构造及确认技术研究[D];上海大学;2007年
8 金仙力;实时服务构件的语义特征和行为组装形式化技术研究[D];北京邮电大学;2008年
9 廖军;面向服务的计算(SOC)中服务组合的研究[D];电子科技大学;2006年
10 胡俊;高安全级别可信操作系统实现研究[D];中国科学院研究生院(电子学研究所);2008年
中国硕士学位论文全文数据库 前10条
1 唐芳芳;哥德尔定理的意义[D];清华大学;2005年
2 李晔;基于构件的形式化需求分析方法研究与实现[D];西安理工大学;2003年
3 王永宝;密码协议的代数模型和安全分析算法研究[D];北京邮电大学;2006年
4 王天舟;早期需求工程中的形式化建模与模型检验应用研究[D];浙江工业大学;2006年
5 张卫;实时系统的形式化设计与辅助代码生成研究[D];华中科技大学;2006年
6 陈岳;基于形式化方法构建领域模型及其实现的探讨[D];华东师范大学;2008年
7 赵琳;安全协议形式化分析方法的比较和研究[D];郑州大学;2007年
8 彭珊珊;安全的电子投票方案及其匿名性的研究[D];上海交通大学;2008年
9 陈广明;Z语言的实时扩展及应用[D];广东工业大学;2004年
10 王森;基于PAR方法开发算法程序的研究[D];江西师范大学;2004年
中国重要报纸全文数据库 前10条
1 上海交通大学APEX数据和知识管理实验室 王昊奋俞勇;语义Web推动下一代搜索[N];计算机世界;2007年
2 黎敬波;可拓方法与中医思维[N];中国中医药报;2005年
3 尹霞;我说的话 你能听懂吗?[N];计算机世界;2001年
4 张岂之;关于环境哲学研究的几点思考[N];光明日报;2007年
5 天津市第一中级人民法院 李宝明;法官的职业思维探析[N];人民法院报;2008年
6 北京化工大学文法学院教授 马长英;潜移默化背后的创新潜力[N];光明日报;2011年
7 本报记者 张蕾;志在促进软件产业跨越式发展[N];光明日报;2006年
8 刘清秀;软件人的福音[N];中国邮政报;2003年
9 中科院数学与系统科学研究院 金芝;没有需求就没有软件[N];计算机世界;2001年
10 正子;贝尔实验室基础研究在中国生根结果[N];通信产业报;2001年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978