【摘 要】
：
虽然构件技术在软件开发过程中得到了越来越广泛的应用,但是实时系统是一类设计、实现和验证工作都相当复杂的系统,其构件化远比普通软件复杂,组装仍有许多困难。分析了常见
【机 构】
：
郑州大学信息工程学院,信息工程大学电子技术学院
【基金项目】
：
国家高技术研究发展计划（863）项目（2007AA010408）资助
论文部分内容阅读
虽然构件技术在软件开发过程中得到了越来越广泛的应用,但是实时系统是一类设计、实现和验证工作都相当复杂的系统,其构件化远比普通软件复杂,组装仍有许多困难。分析了常见的组装相容性错误,提出了一种实时系统的构件组装行为相容性测试用例产生方法。首先对时间自动机进行扩展,给出了描述实时构件的模型;然后定义了相容性覆盖标准,并把构件行为相容性测试用例生成转化为可被模型检验支持的可达性分析,同时给出了算法;最后用一个实例展示了该方法的具体使用。
其他文献
针对LEACH协议簇间通信能耗和控制开销过大,以及簇首数量波动大、簇首分布不均匀等问题,提出一种基于能量均衡的固定分区路由算法。结合多跳算法进行非均匀分簇,在降低簇间通
阅读,然后学以致用,这是我的学习习惯。阅读《三重专注力》一书,我同样遵循这一习惯。“呼吸的小伙伴”这一游戏,是《三重专注力》中提出的一个训练学生专注力的有效方法。我
目的:分析不同家庭环境对学龄期儿童社交焦虑与心理孤独感的影响。方法:采用整群随机抽样,在宁夏某县5所小学随机选择3~6年级共990名学生进行一般情况、儿童社会交往焦虑测评
爆破振动对充填体影响的研究对于爆破参数的优化和安全回采具有现实意义。湖北三鑫金铜股份有限公司拟在某铜矿-370 m中段对残留顶柱进行回采,为确保安全,很有必要找到复杂
目的:评估在疫情期间,基层医务人员的个人心理状况并对基层医务人员心理状况进行分析。方法:2020年2—4月以上海市浦东新区上钢社区卫生服务中心为调查点,选取30名参与疫情防
目的获取钝锥外形飞行器再入飞行力热环境参数,建立更为准确的环境预测模型,开展基于无控火箭的模型飞行试验设计。方法根据转捩区、湍流区时间提出了无控惯性飞行弹道的落速
长期以来,单精度似乎与科学计算无缘,然而从体系结构看,混合精度计算可以充分发挥向量部件、GPGPU设备的单精度性能,提供更高的效能,如降低通讯带宽要求、提高数据传输和通讯
XBRL是基于XML用于财务信息交换的一种应用。与传统的财务报告相比,XBRL财务报告拓宽了审计对象和编制审计报告的范围,提高了审计重要性水平,使审计评价更加准确,促进了网络