【摘 要】
：
可组合嵌入式软件以构件开发技术为基础,研究嵌入式构件的建模、组合性质、构件间组合机制以及组合验证等理论、方法和技术.从组合理论、建模与验证技术这3个方面对可组合嵌
【机 构】
：
清华大学计算机科学与技术系,清华大学软件学院,MaseehCollegeofElectricalandComputerEngineering
【基金项目】
：
国家自然科学基金(61073003,91218302)
论文部分内容阅读
可组合嵌入式软件以构件开发技术为基础,研究嵌入式构件的建模、组合性质、构件间组合机制以及组合验证等理论、方法和技术.从组合理论、建模与验证技术这3个方面对可组合嵌入式软件的研究现状进行调研分析.组合理论研究给出构件可组合性的乐观定义和悲观定义,从组合操作、组合规则两个方面定义构件间的组合机制.针对嵌入式构件的特点,着重调研了非功能特性和异构构件的建模与组合技术,分析了非功能特性约束、面向多特性的模型等方法.分析了基于契约的验证、基于不变量的验证、基于模型检查的验证等多种嵌入式软件组合验证技术.最后,探讨了需要进一步研究的问题.
其他文献
随着互联网应用的发展,所产生的非结构化文本大多与地理位置相关联,因此,地理信息检索(GIR)成为当前GIS和IR领域研究的热点。文本地理编码是建立文本与地理位置坐标对应关系
通过对社区医院护理质量管理中存在的护理质量管理人员管理素质较低、护理质量管理中缺少合理的考核考评体系、考核过程中忽略了社区居民的重要性和社区护理人员对质量管理疲
<正>2月,美国拉斯维加斯尚存些许寒意。但人们的热情具有穿透寒冷、直击心灵的魔力,一场盛会让这个常年热闹非凡的展览之都突增了来自全球的匆匆脚步。2019年2月19～21日,北美
分析研究了湖北省PET-CT的配置现状及某院PET-CT的运营情况,应用本量利分析方法,分析了PET-CT的经济效益情况,得出了某院PET-CT利用率偏低、经济效益难以显著提高及国内PET-C
语义Web模糊知识的表示和应用常常涉及模糊隶属度比较,但现有描述逻辑的模糊扩展缺乏描述模糊隶属度比较的能力.提出支持模糊隶属度比较和描述逻辑ALCN(attributive concept
生产光亮银粉的方法，是在室温下采用AgNO3／kg：NaOH／kg：甲醛溶液／ml：分散剂／ml＝1：0．5：350：210的比例得到的银粉，经洗涤、烘干和研磨后，可产出松装密度较原工艺低的2．13～2．18光亮银粉．并讨论了影响
中国经济在改革开放的三十多年里经历了高速增长,但高消耗、高污染的经济增长模式导致了资源的过度消耗和温室气体的过量排放,中国的经济呈现出十分明显的“高碳”特征。目前
以乙醇为萃取剂对樱桃核中活性类黄酮进行抽提,并对所得类黄酮粗提物提取率进行了比较,以便选择最佳操作参数。采用正交试验对樱桃核类黄酮提取参数进行优化。结果显示,类黄
<正>21世纪最重要的课题,是呼吸。近日太多朋友皆在谈健康,谈养生,谈保持快乐心情,也谈气功。在这里不妨谈谈最浅近的气功,便是每人每日甚至每一刻皆在做的,呼吸。
随着国内经济建设的持续发展,城市化进程的推进,公路交通越来越呈现出多样性、复杂化的特点,交通问题不断涌现。对公路进行城市化改造已成为解决城市化后交通问题的主要途径