【摘 要】
：
在复杂的实时系统开发中使用构件式设计方法已成为目前软件开发领域中的研究热点,如何有效地验证实时软件的设计是否满足给定的时间需求并降低验证过程的复杂度,是实时计算领
【机 构】
：
上海大学计算机工程与科学学院,上海200072广西财经学院计算机与信息管理系,南宁530003;上海市计算机软件评测重点实验室,上海201114;上海大学计算机工程与科学学院,上海,200072;上海
论文部分内容阅读
在复杂的实时系统开发中使用构件式设计方法已成为目前软件开发领域中的研究热点,如何有效地验证实时软件的设计是否满足给定的时间需求并降低验证过程的复杂度,是实时计算领域中的主要挑战之一.文中对构件接口模型进行时间扩展,提出了时间接口模型,并将其用于构件接口交互行为的形式化建模.在接口自动机理论的的基础上进一步提出了时间接口自动机模型用于描述时间接口交互下构件的行为及组合方法,通过消除错误状态产生组合模型来约减构件时间接口自动机模型的积,并在约减的模型上进行性质检验,降低了分析复杂度,有效地应对状态空间爆炸问题.为了说明论文建议的方法,详细讨论了一个简单的、贯穿整篇论文的示例系统.
其他文献
经济发展的过程中,公路占有极为重要的地位,但是随着经济不断的发展,目前的公路施工技术对于现在建设的要求已经没有办法满足了,所以,就必须对在原有公路的基础上进行改建,那
针对支持成批处理的工作流系统在应用中的活动成批区设定问题,提出一种基于工作流挖掘的活动成批区发现方法.该方法首先利用现有工作流挖掘方法得到初始工作流模型.然后进行
随着我国经济水平的发展,我国各领域均呈现出新的发展趋势,建筑规模及数量与日俱增,对城市化进程起到一定促进作用.市政道路桥梁施工作为建筑工程之一,对人们的出行带来一定
随着人们环境保护意识的不断提升,现代人们加强了对生态环境保护的重视.水土保护是生态环境保护中一项重要内容,在该过程中,需要通过合理的水土保持生态机制提高人们对水土的
随着我国城市化进程的不断推进,交通网络建设进入了新的阶段,铁路工程行业更是呈现出了新特点.铁路桥梁工程项目整体体量较大,需要较为复杂的工艺技术给予支持,其中连续梁挂
网络技术的发展,给我国当代高校英语教学工作的开展带来了深刻的变革力量.本文围绕,校园网络技术环境下高等院校英语教学改革工作中的现存问题以及提升途径展开了简要的探讨,
虽然在中国的承保范围仍然有限，国外的水产保险公司还是热衷于向中国的生产者推销保险，但仍然有很多挑战。
随着城市的不断扩大,城市的道路建设体量也在不断的增加.但是最近几年来,随着夏季雨季的到来,有很多城市都出现了内涝问题,给人们的生活带来了极大的不便,同时也严重的威胁到
随着建筑行业的发展,混凝土应用逐渐增多,然而,受多种因素的影响,混凝土在应用中很容易产生裂缝,这样一来便影响了建筑质量,为减少此类情况的发生,混凝土裂缝控制技术被应用
在水利水电工程中,混凝土防渗墙的使用极其广泛,并且对于水利水电工程也有着重要的作用,所以进行混凝土防渗墙施工的时候,一定要严格依照相关的施工技术以及规范进行,除此之