自适应软件动态过程时间特性建模与验证方法

来源 :计算机应用 | 被引量 : 0次 | 上传用户:dragonlumeng
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
现有自适应软件建模与验证方法较少考虑时间约束,然而,在时间攸关应用领域,自适应软件能否正确运行,不仅要考虑自适应逻辑的正确性,还要考虑自适应软件动态过程的时间特性。为此,首先显式定义了自适应软件的时间特性(监控周期、延迟触发时间、自适应过程截止时间、自适应调节时间和稳定时间等);然后,构造了一种基于时间自动机网络(TAN)的自适应软件动态过程时间特性建模模板;最后,将自适应软件时间特性描述为定时计算树逻辑(TCTL)的形式,并对时间特性进行了形式化分析和验证。结合具体案例验证了该自适应软件时间特性建模和验
其他文献
性别作为社会上对人类分类的唯一基本标准,其角色使得社会赋予男性和女性不同的期望和约束,同时也赋予了男、女不同的性格、行为等特征。然而随着社会的发展,中学性别教育,已
2006年12月23日,教育部、国家体育总局、共青团中央下发了《关于开展全国亿万学生阳光体育运动的决定》,从2007年开始,结合《国家学生体质健康标准》的全面实施,在全国各级各类学
萧山东片污水处理厂工程于2006年8月竣工验收并正式投产,日处理污水30万m3,采用生物吸附—厌氧水解—好氧处理—澄清池的二级生化处理工艺。随着萧山城市规模的不断扩大,污水组
由于学生的个体差异和各种原因,学科学业成绩欠佳而不能顺利达到课程目标的学生在各级各类学校存在。地理1(高一地理必修1的简称)学业欠佳的问题在我国中学普遍存在。本文根据已
Development of forest tourism in the global low-carbon and environment conservation movement was introduced.Considering the construction of"Forest Chongqing"and
对二硫化碳储存中补水罐(水密封罐)出现溢流液的问题,设计采用磁致伸缩液位计进行检测和报警的防溢液方案,为及时处理溢流液的问题提供了有利条件。分析了储罐防溢液设计方案
激烈的竞争以及快速变化的市场环境使得传统的农业和制造业逐渐转向信息产业和服务业,企业竞争优势的来源也从过去的土地、材料、资金等有形资产转变为以知识为主体的无形资
文化产业是21世纪提升国家竞争软实力的战略性产业。广播电视产业作为文化产业的重要组成部分,兼顾经济效益和社会效益,在促进国民经济社会发展、塑造地域特质形象,调整产业
随着现代计算机网络技术和图像存获取技术的快速发展,互联网上的图像数据急剧增加,出现了图像数据极为丰富但有用图像信息与知识贫乏的现象,这就迫切需要一种用于挖掘图像数
<正>65年前的这一刻,历史永远铭记——1954年9月15日,北京中南海怀仁堂,共和国的缔造者们,同经过普选产生的1200多名全国人大代表一道,召开了第一届全国人民代表大会第一次会