【摘 要】
：
受制于系统状态组合爆炸,并发系统的组合状态验证一直是困扰模型检验的难题.图形转换技术广泛应用于各类模型的组合、重构和动态演化的建模分析.基于H.Ehrig提出的图形转换的
【出 处】
：
第八届中国可信计算与信息安全学术会议
论文部分内容阅读
受制于系统状态组合爆炸,并发系统的组合状态验证一直是困扰模型检验的难题.图形转换技术广泛应用于各类模型的组合、重构和动态演化的建模分析.基于H.Ehrig提出的图形转换的组合框架,研究该框架的组合状态安全性验证技术.采用Petri网模型构造系统组合框架,分析出组合系统可达状态空间与部件可达状态空间的包含关联关系,提出组合状态危害等级分类模型,设计出组合状态可达性分析方法和层次化多级安全性验证算法,并实例应用于轨道交通列车控制系统的功能安全性验证.
其他文献
智能技术是一种新型控制技术,属于计算机科学发展的衍生产物,依托其独特性及优越性,得到了众多行业的青睐和应用,未来发展空间极为广阔.电子工程自动化控制作为关键领域,其对
目的 讨论中重度牙周病伴错颌畸形患者中施以固定正畸结合牙周组织再生术(GTR)治疗的临床效果.方法 择2019年11月-2020年11月我院中重度牙周病伴错颌畸形患者80例,随机划为2
Information monitoring system in the greenhouse will often deploy multiple redundant collection nodes in the same region in order to gather environmental pa
琯溪蜜柚原产福建省平和县小溪镇，具有果形美观、果大、皮薄、核少，果肉白色如玉、清甜微酸、化渣等特点，已列入世界名柚行列。为推广这一优良品种，改善西双版纳的柚类品种结构，西
软件老化现象常常出现在长期运行的软件系统中,其常常表现为系统性能下降、服务暂停、甚至是系统失效.为了阻止软件老化和失效,一种称为软件抗衰技术被提出:停止软件服务,清
我区地处北亚热带南缘，中亚热带北缘，对照全 国柑桔生态区划指标，我区属柑桔栽培次适宜区。 柑桔是我区果树主栽树种之一。多年来，我们在生 产实践中不断探索和研究北缘地区柑桔
The network security requirements based on virtual network technologies in IaaS platforms and corresponding solutions were reviewed A dvnamic network securi
目的 对肺栓塞患者进行病情分析,探究被误诊为心内科疾病的原因.方法 本次参与研究的患者人数为34位,所选患者检查时间在2018.9月～2020.5月中,其中存在胸闷气症状的患者有18位
目的 探究彩色多普勒超声在脑梗死颈动脉粥样硬化斑块疾病诊断中的应用价值.方法 2019年1月份-2020年11月份我院收治的脑梗死颈动脉粥样硬化斑块患者共60例,纳入到对照组,选
民间美术生长于民间,是与“民间”这一生活生态环境相适应的。它本来没有好与坏的分别,只是一些受艺术史教育的人在整理民间美术时靠自己的视觉经验和文化感受才对其进行了好