项目简介
项目名称
面向移动普适环境的高可靠软件的自适应构建与动态验证
项目批准号
61073148
学科分类
F0208
信息科学部
_计算机科学
_计算机网络
资助类型
信息科学
负责人
唐飞龙
依托单位
上海交通大学
批准年份
2010
起止时间
201101-201312
批准金额
33.00万元
摘要
"以人为本"的普适软件需要以自适应的方式为用户提供透明的可靠性服务。但是，普适设备的资源有限性、高度移动性以及普适情境的复杂多变性对现有的软件构造与验证理论带来了严峻的挑战。本项目以高可靠普适软件为研究目标，以自适应为主线，以情境敏感的普适事务服务为基本构件，系统研究高可靠普适软件的自适应构建与动态验证的基础理论和关键技术。主要研究内容包括：(1) 情境敏感的普适移动事务模型与自适应的普适事务服务。(2) 自裁剪、高可靠普适软件构造模型与情境驱动的编程模板；高可靠普适软件自适应生成机制与复合软件自组织方法，形成新型高可靠普适软件自适应构建的理论与方法；(3) 情境敏感的语义Petri网与高可靠普适软件的动态验证理论与算法。本课题的研究成功, 将形成全新的面向大规模移动环境的高可靠普适软件自适应构建与动态验证的若干基础理论与关键技术，取得系统的创新成果，为普适软件走向实际应用形成有效的支持。
评论区 (0)
#插入话题
