【摘 要】
：
近年来,软件的可信性成为软件质量的焦点,对软件可信性的分析、度量和应用支撑成为热点问题.对软件实施有效的监控是提升软件可信性的一种重要途径.然而目前的研究工作主要集
【机 构】
：
武汉大学软件工程国家重点实验室,国防科学技术大学计算机学院网络与信息安全研究所
【基金项目】
：
国家“八六三”高技术研究发展计划项目基金(2003AA142O1O,2006AA01Z168);国家自然科学基金(60773006)资助
论文部分内容阅读
近年来,软件的可信性成为软件质量的焦点,对软件可信性的分析、度量和应用支撑成为热点问题.对软件实施有效的监控是提升软件可信性的一种重要途径.然而目前的研究工作主要集中在软件编码以及相关技术的实现层,缺乏一套系统的软件体系结构设计方法以指导、支持运行监控的可信软件的分析和设计.通过引入面向侧面的软件体系结构设计方法及其相关概念,文中提出一种支持运行监控的可信软件体系结构设计方法.在支持运行监控的可信软件构造模型TSCM的基础上,利用一种面向侧面的体系结构描述语言AC2-ADL描述具有监控能力的软件体系结构,试图为分析和设计具有监控能力的系统的软件体系结构提供一种有效的解决方案.通过结合网上拍卖系统的案例展示该方法的主要步骤和结果,讨论了研究中存在的问题和进一步的工作.
其他文献
城市交通网由复杂的市政道路组成,通过将无障碍设计理念应用于市政道路设计中,不仅可以完善道路设计方案,解决城市拥堵问题,同时还能够提升居民生活质量.文章对无障碍设计理
随着信息全球化的迅猛发展，人们对电子产品要求具有大的存储空间、较快的写入速度和读取速度、而且耗能还得较低。正如人们所了解的：磁记录的写入比较慢但是读取速度有比较快，而
自从1972年,Fujishima利用TiO2电极光解水以来,TiO2因具有众多的优点在环境污染的治理方面有着广阔的应用前景。但是由于其禁带较宽,只能被紫外光激发,同时光生电子空穴复合
为维护破产企业劳动者的合法权益,新《破产法》赋予劳动债权人一定的民主权利,确立劳动债权的无须申报和区别保护原则,强化劳动债权的优先受偿地位,扩大劳动债权的保护范围等
积极探索职业学校教师专业化成长机制,有利于提升职业学校教师队伍的专业化水平,促进职业教育的科学发展。教师专业化成长过程是教师"内化"和"外推"过程的有机结合。职业学校
为了解冬季流感期间南京市某儿童医院门诊候诊大厅和输液室内的空气状况及其影响因素,采用五点法布置室内采样点,于2018年1月对室内空气中CO2、PM2.5和PM10进行浓度监测,比较
我国稀土功能材料研究起步较晚,高端产品受制于人,材料评价体系不完善。国务院、工信部、发改委、科技部、财政部多次发文,指出要"大力发展稀土新材料及应用产业"、"强化稀土
在现代社会,油气储运具有举足轻重的作用。如何在石油开发和利用的过程中进行安全的储运已经成为如今油气储运中的一个热点问题。因此,本文将对我国的油气储运工程的发展进行
二战后，日本确立起内阁官邸主导外交的决策机制，但由于多重因素影响，这种官邸决策机制功能没有发挥实际效力，通过改革主导权经历从外务省官僚、自民党政治家向首相官过渡的过程。
形态学联想记忆(MAM)是一类极为新颖的人工神经网络.典型的MAM实例对象包括:实域MAM(RMAM)、复域MAM(CMAM)、双向MAM(MBAM)、模糊MAM(FMAM)、增强的FMAM(EFMAM)、模糊MBAM(FM