【摘 要】
：
该课题在分析Ada任务行为的基础上,用Petri网模型模拟Ada任务的动态行为,探讨 简化网分析复杂度的方法、结合网络模型与逻辑模型以实现安全性的表示和验证.该课题从Ada任务着
论文部分内容阅读
该课题在分析Ada任务行为的基础上,用Petri网模型模拟Ada任务的动态行为,探讨 简化网分析复杂度的方法、结合网络模型与逻辑模型以实现安全性的表示和验证.该课题从Ada任务着手,分析任务行为和影响任务安全性的因素;系统地描述了Petri网的模型和Petri网的行为语义;设计了把Ada任务的动态行为转化Petri网和算法,从而把验证Ada任务安全性的问题转化与验证网安全性的问题,转化后的Petri网称为"Ada网",从Petri网的偏序 语义、网的结构、Ada语义三个方面提出了降低网分析复杂度的方法,应用分析表明这些方 法可减少网的状态数,加快网安全性的验证速度;利用Petri网的转移系统和Kripke结构给 出了线性时序和分支时序逻辑模和分支时序逻辑的一种语义解释,从而实现了网络模型与逻辑模型的结合,并用该模型验证了Ada任务的安全性.实验表明,该方法是有效性的,验证 了分支时序逻辑模型检查(Model-Checking)的复杂度是P问题.作为实时Ada的建模研究,该文从一般时间网派生一种简单时间网,探讨了时间网的弱时间语义和强时间语义,并建模了Ada的实时结构,从而更加准确地刻画了Ada任务的行为语义,并扩展了Petri 网在Ada中的 建模能力.
其他文献
随着电子信息技术发展以及大数据时代的来临.各式各类新型的软件充斥在电子信息技术产业中.优秀的软件能够提升系统使用的舒适度,而对于软件产业发展来说,发展软件技术是重中
在房建施工中,模板施工是一项非常重要的工作,这行工作开展的合理性,会影响到项目的各个方面.现浇梁板模板施工技术在我国当前的建筑项目开展中比较常见,这项技术的有效落实,
目前我国基础设施建设得到了一定的发展,其中水利水电工程占据着较为重要地位.水利水电施工中会应用多诸多技术,高边坡加固技术是其中重要的构成部分,本文从其重要性出发,论
近年来,随着我国工业化的快速发展,出现了一大批的先进机械设备,推动了中国社会生产力水平的进一步提高.与此同时,对专业技术人员的需求也在不断增加.机械教学是一门高度实用
随着我国的经济实力和科学技术水平的发展,人们的生活水平有了很大的提升,对建筑工程整体质量的要求也越来越高,而建筑工程整体结构的稳定性对建筑工程的整体质量有较大的影
计算机电话集成指计算机电话应用中计算机系统和电话系统的连接.该文在总结了典型的计算机电话应用系统的基础上,建立了计算机电话应用的模型,并通过对模型中诸要素的分析,研
随着计算机网络的大规模应用,计算机安全问题日益重要,密码技术是确保计算机安全的必不可少的措施.计算机密码体制分为传统密码体制和公开密码体制两种,公开密码体制由于它的
An integrated method for identifying the propagation of multi-loop process oscillations and their source location is proposed in this paper. Oscillatory process
随着科学技术的日新月异,新信息化技术深刻影响到社会的方方面面.社会深刻变革的新时代,急需培养具备建筑信息化应用能力的土建行业新型人才,培育新时代需要的高层次的建设者