位置：立项数据库 > 立项详情页
面向复合可信属性的软件可信性监控与优化
  • 项目名称：面向复合可信属性的软件可信性监控与优化
  • 项目类别：重大研究计划
  • 批准号：90718033
  • 申请代码：F0208
  • 项目来源：国家自然科学基金
  • 研究期限：2008-01-01-2010-12-01
  • 项目负责人：黄涛
  • 负责人职称：研究员
  • 依托单位：中国科学院软件研究所
  • 批准年度：2007
中文摘要：

随着软件应用领域的扩展与运行环境的日趋复杂，软件使用者关注的软件可信属性的范围逐渐扩大，而与此同时可信属性对应的软件行为与资源的相互交织也更加复杂，我们将这种可信需求称为复合可信属性。复合可信属性要求软件行为和资源的协同与处理更加复杂，传统的软件可信性研究方法并不能满足这种需求，因此急需开展针对软件复合可信属性的研究工作。本项目针对上述的需求，从软件复合可信属性描述入手，重点研究软件的可信优化目

中文主题词： 软件可信性；复合可信属性；可信性监控与优化
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 15
  • 12
  • 0
  • 2
  • 0
期刊论文
收益驱动的复合服务恢复策略选择方法
基于方面模板的分布式组件系统性能预测方法
OnceRMF:一种效用驱动的中间件资源管理框架
Bench4Q：一种面向服务质量的电子商务测试基准设计与实现
Runtime Monitoring Composite Web Services through Stateful Aspect Extension
一种资源敏感的Web应用性能诊断方法
基于组件模型分析的组件容器产品线体系结构
一种基于速率的发布/订阅系统的准入控制机制
一种构件级动态集群管理系统的设计与实现
基于服务时间标记的多层Web应用性能异常侦测方法：
基于节点分组的异构集群负载均衡算法
基于XACML安全策略的J2EE应用服务器安全授权框架
会议论文
Detecting Data Inconsistency Failure of Composite Web Services through Parametric Stateful Aspect
An Aspect-Oriented Modeling Approach to Predict Performance of JCA-based Systems
Middleware Support for Internetware: A Service Perspective
Impacts Separation Framework for Performance Prediction of E-Business Systems
Component Monitoring of OSGi-based Software
Static Detection of Unsafe Use of Variables in Java Program
Towards self-healing web services composition
A Two-Phase Approach to Subscription Subsumption Checking for Content-Based publish/Subscribe System
An Adaptive Fine-grained Performance Modeling Approach for Internetware
ETL Workflow Analysis and Verfication Using Backwards Constraint Propagation
Towards PaaS Using Service－Oriented Component Model
Implementing Service-correlation Aware Service Selection
获奖
网络软件基础架构平台（网驰ONCE）技术和系统
网络软件基础架构平台（网驰ONCE）技术和系统
相关项目
基于模式的程序代码可信性度量方法研究
期刊论文 6 会议论文 15
可信软件测试和可信性评估研究
期刊论文 69 会议论文 11 获奖 3
基于失信因子的软件系统可信性分析
期刊论文 6 会议论文 9
旋转机械气动力学数值模拟软件的可信性研究
期刊论文 47
面向C4KISR重大应用领域软件可信性需求分析方法与攻击性实验验证环境研究
期刊论文 50 会议论文 19 获奖 6 著作 5
基于软件网络的可信性度量体系研究及其分析工具的实现
期刊论文 37
可信软件的基础理论、方法和技术研究
期刊论文 23 会议论文 61
基于定理证明的可信嵌入式软件建模与验证平台研究
期刊论文 16 会议论文 24 著作 1
基于网络环境的软件可信性建模与度量研究
期刊论文 19 会议论文 7 著作 2
黄涛的项目
云应用迁移配置和在线运行管理关键技术研究
期刊论文 3
面向多承租的弹性缓存服务关键技术研究
期刊论文 15 会议论文 4
自主服务保障的中间件研究模型及关键技术
期刊论文 24 会议论文 3