【摘 要】
：
运行时验证一般采用时态逻辑来描述要验证的需求规约,并根据需求规约构造监控器.这对于那些没有形式化经验的软件工程师而言,是一件非常困难的事情,同时,这类方法通常缺少时
【机 构】
：
华中师范大学计算机学院,武汉,430079国防科技大学计算机学院,长沙,410073;
论文部分内容阅读
运行时验证一般采用时态逻辑来描述要验证的需求规约,并根据需求规约构造监控器.这对于那些没有形式化经验的软件工程师而言,是一件非常困难的事情,同时,这类方法通常缺少时间机制支撑,因此难以满足实时系统运行时验证中的要求.序列图得到了广泛使用,研究基于序列图来自动生成监控器就显得十分有意义.提出基于UML2.0时间属性序列图的监控器的自动生成方法,其具体思想是使用时间属性序列图来描述要验证的需求规约,然后将整个序列图转换为时间自动机网络,构造出监控器.实验表明,该方法方便缺少形式化经验的软件工程师使用,所产生的监控器运行开销较小,能满足验证对实时性的要求,且有效缓解了监控器生成过程中的组合爆炸.
其他文献
从现阶段来看,大多数结构设计师在建筑工程结构设计工作开展时表现出了结构优化意识不够强,只是一味追求规范要求等问题,其主要归咎于对结构概念认识的不清晰.在这一背景下,
客观环境下,针对一次采样观察数据构建的BBA(基本信念分配)可能存在的瞬时异常问题,提出与稳态环境和置信度两个要素相关的客观置信BBA。定义一致分布规则,判定同源BBA间是否一致,给出利用其对一组同源周期采样BBA进行一致划分的5个相关性质。依据一致分布规则,获取一组同源周期采样BBA中的最大一致子集,基于此子集构建量化的客观置信BBA,并分析其合理性。将客观置信BBA应用于无人机作战仿真系统,与
随着数字技术广泛地进入人类生产和生活的各个领域，数字生存已经成为人类社会的一种重要存在，并随之产生了网络欺凌、数字侵权、网络安全等诸多社会问题。为了维护网络世界的和
对于人类社会的智能技术的提升,主要来源于我们对智能的需求,更进一步讲就是基于我们自身的智能水平,通过分析人类的各种能力来增强我们人工智能的发展,进一步应用在电子工程
近年来,冶金设备、工程机械中广泛应用液压系统,液压系统采用模块体系、中控技术、新材料科技,实现了飞速发展,不但大大提升了液压系统的功能性,还扩大了液压系统的应用范围.
力法是计算超静定结构的最基本的方法,其思路为把超静定结构的计算问题转化为静定结构的计算问题,利用静定结构来达到计算超静定结构的目的.在这一过程中,通过位移协调条件列
目前螃蟹养殖中水瘪子问题受到普遍关注,水瘪子会影响螃蟹的产量以及规格.螃蟹吃料差,很有可能就是水瘪子早期症状.临近螃蟹蜕壳的高峰期吃料差,是属于正常的,蜕壳之后吃料会