分享资料个
自适应软件（self-adaptive software）能够在运行时实时监测上下文变化并对自身进行动态调整，以消除或减轻变化带来的不利影响。它能够有效应对运行环境和用户需求的频繁变化，降低软件维护压力，增强自身容错和应对变化的能力，现已成为软件工程领域的热点研究问题。
为提高自适应软件的可靠性，需对自适应软件的动态过程进行形式化建模和分析。基于此，国内外学者针对自适应软件的形式化方法开展了大量研究，能够较好地支持自适应逻辑和自适应行为的刻画和分析，却鲜有研究考虑自适应动态过程的时间约束。然而，实践表明，在时间攸关应用领域，自适应软件系统能否正确运行，不仅依赖于自适应逻辑的正确性，而且要考虑系统自适应过程的时间特性。首先，自适应软件的开发需在原应用逻辑之上构建自适应逻辑，而自适应逻辑的引入势必会给原系统带来时间开销，将自适应逻辑的时间开销降到最低需综合考虑自适应各个子过程（如监控、分析、规划和执行等）的时间约束；其次，自适应软件的很多应用场景具有及时响应性，如课题组前期研究中的自适应火灾应急响应系统，需要系统能够及时捕获险情、及时传递险情并能够及时启动应急设备，要刻面这类具有实时性的自适应场景，时间特性是一个重要方面；最后，软件形式化方法只能分析和验证自适应逻辑的正确性，不能衡量自适应逻辑的响应速度和响应效果，现有研究尚缺乏性能指标和评估方法以全面评估自适应逻辑的性能。
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
全部0条评论
快来发表一下你的评论吧 !
