论文部分内容阅读
随着普适计算的不断发展,智慧空间在多个领域得到广泛的应用。智慧空间是信息、物理和社会空间高度融合的结果。它涉及计算、通信、人机交互、安全等多方面的技术集成,这使得智慧空间的设计面临巨大的挑战。系统级设计方法通过逐步求精的方法将上层的设计说明转换成底层的设计实现,它为智慧空间的设计提供了新的思路。本文主要围绕智慧空间的设计问题包括智慧空间对象位置摆放设计、架构设计、人机交互和安全设计等,使用系统级设计方法来研究设计的描述、建模和优化。本文的主要工作包括:1)提出了智慧空间的系统级设计框架。它是一种自上而下的设计,可以将上层定义的设计规格说明通过逐层的求精转化成底层的架构实现。设计过程可以看作是在给定架构平台和设计约束条件下,在平台库中搜索与综合生成设计方案的过程。2)提出了智慧空间设计中间表示模型。它能将上层的设计规格说明转换成中间表示,用于对设计的性能做系统级估计。该模型基于时延Petri网来描述智慧空间中对象之间的控制流,同时其对应的物理流、信息流和用户流分别用来描述物理空间和信息空间、信息空间内部以及信息空间与社会空间之间的对象交互。3)将智慧空间的设计流分为三个部分:对象的位置摆放、系统综合和偏好综合。其中对象的位置摆放的目标是将上层设计说明中定义的对象分配到物理空间之中,保证最大的用户位置满意度。系统综合和偏好综合负责分配计算资源、通信资源和人机接口来满足设计的需求,同时保证设计花费、设计总功耗最小,用户偏好度最大。然后通过家庭医疗保健应用验证了所提方法的适用性和有效性。4)对提出的设计框架做进一步的改进,使其适用于多用户社交场景下的设计建模。提出基于分层Petri网的模型来改进中间表示模型中的控制流,同时加入社交流用于对智慧空间下多用户的社交进行建模。最后通过智慧办公室的应用验证了改进模型和方法的有效性。5)在安全性设计方面,对设计框架做了进一步的扩展,提出了通用的安全模型用于保护智慧空间的任务消息通信不受未授权用户的攻击,并且考虑使用DVFS技术降低系统的总能耗。同时为了缓解DVFS给系统可靠性带来的负面影响,将系统的可靠性作为约束纳入设计考虑。论文将安全设计问题形式化为三目标组合优化问题来求解,最后通过智慧办公室案例验证了所提优化方法的高效性。