【摘 要】
：
针对现有方法难以对含多个子系统的并发武器装备软件进行安全性分析的难题,提出了基于多维的时间Petri网软件安全性建模分析方法(k(0,1)-TPN).该方法在时间Petri网的基础上,
【机 构】
：
中国兵器工业软件工程与评测中心,北京,100089
论文部分内容阅读
针对现有方法难以对含多个子系统的并发武器装备软件进行安全性分析的难题,提出了基于多维的时间Petri网软件安全性建模分析方法(k(0,1)-TPN).该方法在时间Petri网的基础上,基于动态运行规则,采用同步合成和共享合成技术建立起软件安全分析模型,通过对运行时序、状态转移等的分析,可得出软件系统潜在的危险状态.利用该方法建立的模型对三防系统软件进行了安全性分析,结果表明:相比其它分析方法,应用该模型可发现多处潜在的软件致命错误,是一种简单实用的有效方法.
其他文献
随着沿海经济的迅猛发展，海洋工程越来越多的开展，近海海域遭到越来越严重的污染，使海域环境质量明显下降，生态环境日趋恶化，并对生物资源和人体健康产生有害影响。为了开发海洋中
“中国制造”一词可能会在很多人尤其那些对本国纺织工人抱有同情之心的人的脑海里引起有关产品质量的质疑.rn然而在艺术领域, “中国制造”有着全新的含义,它使人联想到一幅
摘要：当前地方台电视新闻故事化十分盛行，但在体现人文关怀方面或多或少有所缺失，影响了其传播效果。为了增强地方台电视新闻故事化的传播影响力，要规避人文关怀缺失的现象，在选题上要体现人文观照，在采制时要有平民视角，在报道中要体现人文关怀，从而推动地方和谐社会的构建。 关键词：地方电视台 电视新闻故事化 人文关怀 “人文关怀”是从西方引进的一个概念，它强调人的价值、人格的尊严和人生的意义。人文关
以学生为中心,重视课程建设,从“如何教”转向“如何学”是近年来高等教育领域教学改革的核心.究竟如何以学生为中心、怎样实现这一转变?这是大家关注的焦点问题.本期遴选的
1前言随着近几年来安防领域科学技术的不断发展以及平安城市视频监控工程的推广,高清视频监控系统的产品日趋完善,并被大量地应用到安防视频监控系统工程中,高清视频监控这个
图表作为一种视觉语言传达方式,属于图形的一种,是将大量的文字、数据等信息抽象化、概括化、视觉化,塑造出简洁、直观、易于理解的视觉方式。是在社会信息大量冲击下产生的
本文论述了一种基于计算机视觉测量的刀具预调及刀形检测系统，分析了系统结构和测量原理，以及视觉系统硬件软件的结构及实现方法，并给出了相关的测量实验数据。系统的研制实现了
人们为媒介的发展感到欣喜,因为它确实解决、改善了人类社会的诸多难题,但媒介同时也带来了太多困境。媒介对商业利益的追逐,打造了一个充满诱惑的文化工业,内容的平庸、低俗
根据1940年的《投资基金法》,美国对系列基金(Series Companies)的定义如下:一个“系列基金”是一个这样的基金,其股份被区分为不同的系列或层次,每一份代表一个具有不同投