Risk driven Smart Home resource management using cloud services

In order to fully exploit the concept of Smart Home, challenges associated with multiple device management in consumer facing applications have to be addressed. Specific to this is the management of resource usage in the home via the improved utilization of devices, this is achieved by integration with the wider environment they operate in. The traditional model of the isolated device no longer applies, the future home will be connected with services provided by third parties ranging from supermarkets to domestic appliance manufacturers. In order to achieve this risk based integrated device management and contextualization is explored in this paper based on the cloud computing model. We produce an architecture and evaluate risk models to assist in this management of devices from a security, privacy and resource management perspective. We later propose an expansion on the risk based approach to wider data sharing between the home and external services using the key indicators of TREC (Trust, Risk, Eco-efficiency and Cost). The paper contributes to Smart Home research by defining how Cloud service management principles of risk and contextualization for virtual machines can produce solutions to emerging challenges facing a new generation of Smart Home devices.     

智慧家庭服务系统过程建模与设计

智慧家庭服务系统是现代服务计算和云计算环境下服务系统的新形态和新应用,对智慧家庭服务业务过程的分析、建模与设计问题进行了研究。介绍了智慧家庭的新理念,提出了智慧家庭服务系统的体系结构。在详细分析家庭服务业务过程基础上,提出了基于BPMN建模语言的智慧家庭服务过程建模方法。最后以具有典型性的采购服务为例,建立了服务过程模型,并给出了设计与实现方案。     

以太网智能家居控制器的设计

本文依据智能家居发展现状,提出了一种基于8位单片机的以太网智能家居控制器的设计方案。该方案集本地红外控制和以精简TCP/IP协议为核心的以太网远程控制于一体,使用户可以通过该控制器对家居中的设备和环境进行实时控制和监测。     

User-configurable semantic home automation

The ideas of smart home and home automation have been proposed for many years. However, when discussing homes of the future, related studies have usually focused on deploying various smart appliances (or devices) within a home environment and employing those appliances automatically by pre-defined procedures. The difficulties of supporting user-configurable automation are due to the complexity of various dynamic home environments. Moreover, within their home domains, users usually think semantically; for example, “I want to turn off all the lights on the second floor”. This paper proposes a semantic home automation system, USHAS (User-configurable Semantic Home Automation System), which adopts Web Service and WSBPEL for executing automated process; OWL and OWL-S for defining home environments and service ontology; and a self-defined markup language, SHPL (Semantic Home Process Language), for describing semantic processes.     

局域网上支持组播的网络仿真环境的构建方法与实现

网络仿真是设计、验证、分析和评测网络协议及网络应用程序的重要方法,NS是目前网络协议研究领域广泛使用的网络模拟和仿真软件,具有良好的开放性和可扩展性。文章分析了NS的仿真实现-NSE采用的网络仿真方法及其不支持组播仿真的局限;给出了一种在局域网内构建支持组播的网络仿真环境的方法,通过该方法可以在局域网上构造易配置、仿真精度较高、并且支持组播的仿真环境;最后给出对该组播仿真方法的测试及评价。     

新型单片机芯片实现家居智能控制的单元设计

通过当前家居智能控制进行较深入的研究,可以看出今后家居智能控制是基于计算机智能控制,而计算机由不同的类型,作用大小不一,基于物尽其用的原则,笔者提出新型单片机芯片实现家居智能控制的单元设计的思想,并通过设计举例进行了阐述与分析,实践证明:新型单片机芯片功能强大,外围电路简单,完全可以作为家电智能控制的单元。同时笔者也提出对居智能控制的一些建议,这些研究相信对研究家居智能控制的技术提供一些借鉴。     

新型单片机芯片实现家居智能控制的单元设计

通过当前家居智能控制进行较深入的研究,可以看出今后家居智能控制是基于计算机智能控制,而计算机由不同的类型．作用大小不一,基于物尽其用的原则,笔者提出新型单片机芯片实现家居智能控制的单元设计的思想,并通过设计举例进行了阐述与分析,实践证明：新型单片机芯片功能强大,外围电路简单,完全可以作为家电智能控制的单元。同时笔者也提出对居智能控制的一些建议,这些研究相信对研究家居智能控制的技术提供一些借鉴。     

嵌入式无线家庭网关的设计与实现

智能家居的概念逐渐深入人心,人们越来越渴望更智能、更舒适的数字家居生活.在智能家居系统中,各个智能模块完成一定的功能,并通过家庭网关的控制而形成系统,家庭网关将在很大程度上决定系统的性能.本文就无线家庭网关的工作原理和设计方案作一个详细的介绍.     

Metamodeling of Smart Environments: from design to implementation

A smart environment is a physical environment enriched with sensing, actuation, communication and computation capabilities aiming at acquiring and exploiting knowledge about the environment so as to adapt itself to its inhabitants’ preferences and requirements. In this domain, there is the need of tools supporting the design and analysis of applications. In this paper, the Smart Environment Metamodel (SEM) framework is proposed. The framework allows to model applications by exploiting concepts specific to the smart environment domain. SEM approaches the modeling from two different points of view, namely the functional and data perspectives. The application of the framework is supported by a set of general guidelines to drive the analysis, the design and the implementation of smart environments. The effectiveness of the framework is shown by applying it to the modeling of a real smart office scenario that has been developed, deployed and analyzed.     

Probing user values in the home environment within a technology driven Smart Home project

Smart Home technology looks set to become an increasingly common feature of domestic life. However commercial desire for technical innovation rather than explicit user needs are often the driving force behind the development of Smart Home products and services. This study adapts the Cultural Probe approach developed by Gaver et al. [2] to collect primarily visual data about what people value within their home environment. Whereas Cultural Probes are predominantly used to build empathy with users when designing product concepts, this approach attempted to provide similarly fun and engaging prompts for data collection when the design process and project context required more structured consideration of user needs. This paper presents the method developed, project findings and recommendations on how the method should be applied.     

多核处理器事务级模型多视图协同验证环境

随着集成电路工艺持续高速发展,片上处理器核数目呈现指数增长规律,设计复杂程度不断增长,对处理器验证提出了严峻的挑战,至今仍缺乏有效的工具手段。提出了一种多核处理器事务级模型的多视图协同验证方法,将模拟验证、形式验证、应用验证三种不同验证视图,采用统一平台集成为一体化验证环境。从而可在一体化验证环境中,充分发挥多种验证方法综合应用的优势,协同高效完成多核处理器事务级模型验证任务。基于SoCLib事务级建模仿真平台实现了一个具有良好可扩展性的多视图协同验证环境MVIE。初步应用实验结果表明,多视图协同验证和传统单一视图验证方法相比,在模型验证的方便性、完备性、高效性以及模型数据一致性维护等方面,具有明显的优势。     

Model checking response times in Networked Automation Systems using jitter bounds

Response time (RT) of Networked Automation Systems (NAS) is affected by timing imperfections induced due to the network, computing and hardware components. Guaranteeing RT in the presence of such timing imperfections is essential for building dependable NAS, and to avoid costly upgrades after deployment in industries.This investigation proposes a methodology and work-flow that combines modelling, simulation, verification, experiments, and software tools to verify the RT of the NAS during the design, rather than after deployment. The RT evaluation work-flow has three phases: model building, modelling and verification. During the model building phase component reaction times are specified and their timing performance is measured by combining experiments with simulation. During the modelling phase, component based mathematical models that capture the network architecture and inter-connection are proposed. Composition of the component models gives the NAS model required for studying the RT performance on system level. Finally, in the verification step, the NAS formal models are abstracted as UPPAAL timed automata with their timing interfaces. To model timing interfaces, the action patterns, and their timing wrapper are proposed. The formal model of high level of abstraction is used to verify the total response time of the NAS where the reactions to be verified are specified using a subset of timed computation tree logic (TCTL) in UPPAAL model checker. The proposed approach is illustrated on an industrial steam boiler deployment.     

智能家居系统中的短信收发程序设计

针对智能家居系统中安防报警信息实时收发及家电远程控制的需求,提出使用3G模块收发短信的方法,并设计了实现短信同时收发功能的软件架构。实验结果表明,该方法简单实用,能够满足智能家居系统的要求。     

Simulating simulation-agnostic SysML models for enterprise information systems via DEVS

Systems Modeling Language (SysML) is used as the modeling infrastructure in systems engineering, especially for complex systems design, independently of the system domain. Simulation is a common method to perform system model verification, during the systems development process. However, simulation code generation and execution is not integrated within the system design activity, as it is facilitated by SysML. It is either conducted as an external activity, after system design, or it affects the system design environment and practices, according to specific simulators requirements.This paper presents how existing, simulation-agnostic SysML models from the domain of Enterprise Information System (EISs), can be transformed to executable simulation code and in addition how the simulation results can be incorporated into the source SysML model through the exploitation of Model Driven Architecture (MDA) principles and techniques. To this end, several tools and technologies are utilized, while the verification process is triggered and finalized via the system modeling environment. Adoption of MDA provides a solid, high-level infrastructure and tool availability to the proposed approach.     

多方式接入智能家居系统的研究与实现

为了解决目前智能家居系统的接入与控制方式单一化现状,此文提出了一个多方式接入的智能家居系统的设计方案。采用ARM平台及GPRS、GPS、摄像头、传感器、蓝牙、语音识别等硬件模块组成智能家居系统的硬件平台,并使用QT进行程序开发,通过多种方式对家中情况进行本地和远程监视与控制,实践结果证明本文所设计的智能家居系统具有较强的实用性。     

基于神经网络专家系统的智能家居的研究

智能家居是人工智能在信息家电控制领域里的研究热点。从专家控制的角度,分析了传统智能家居中缺乏智能性的缺陷,设计了一种基于神经网络专家系统的智能家居系统。该系统综合了专家系统的推理和神经网络的自学习能力,与信息家电智能协作,解决了传统智能家居系统中智能性差的问题,通过实验分析,该系统能够充分发挥智能家居的优越性,增强人们与家电间的互动,能够给人们提供一个舒适的居家环境。     

面向处理器的系统级模拟、仿真及调试技术——基于软硬件协同设计的新方法

基于软硬件协同设计技术提出了基于系统的模拟仿真和调试方法（SSED）,其基本思想是：在模拟和仿真时建立真实的运行环境;利用可重定目标编译器和汇编器生成将C应用程序转换成汇编语言、执行代码及模拟和仿真的输入向量;利用时间模型进行汇编级调试;对运行结果进行分析。利用该方法设计Jbcore16的过程说明,该方法可进一步加速处理器的逻辑验证,方便对处理器设计的调试。     

面向体系对抗仿真的模型测试方法研究

模型的有效性评估一直是建模与仿真领域研究的重要课题.针对传统校核与验证方法难以确定模型被确认为无效的原因以及传统建模过程中模型开发与实现紧耦合的特点,通过对武器装备体系对抗仿真与模型测试的需求分析,以层次化建模为基础提出了面向武器装备体系对抗仿真的模型测试方法论,从纵向和横向两个层次论述了概念模型和仿真模型的测试方法,给出了层次化模型测试环境的参考实现.该方法不仅为武器装备体系对抗的仿真模型开发提供质量控制手段,同时也为其它仿真应用的模型校核、验证与确认提供有效的方法支撑.     

基于模型的嵌入式开发环境——LambdaMDE

面向嵌入式软件的开发工具目前正在从基于代码的传统开发环境向基于模型的开发环境发展。为此,研究了一个基于模型的嵌入式开发环境LambdaMDE,在LambdaPro的基础上集成OSATE和Simulink模型开发工具以及其他相关工具,包含了建模、仿真验证、代码生成和测试等嵌入式软件开发的全过程。符合嵌入式软件开发工具发展趋势,具备了相应的理论、技术和产品基础。     

Mobile home automation: merging mobile value added services and home automation technologies

In this paper we study mobile home automation, a field that emerges from an integration of mobile application platforms and home automation technologies. We motivate our research and provide a conceptual introduction, which illustrates the need for such applications by a two-dimensional conceptual model of mobility. As a first steps towards a solution we take the user’s perspective and discuss different options of how he might access a mobile home automation service and the controlled devices. Subsequently, we suggest a general system architecture for mobile home automation services and discuss related design decision. This design has been implemented in a research prototype, which we named Remotile. This helps us to discuss typical components, such as modules that integrate various home automation devices. A previous version of this paper was presented at the Sixth International Conference on Mobile Business, 2007. “Andreas Rosendahl, J. Felix Hampe, and Goetz Botterweck, Mobile Home Automation, Merging Mobile Value Added Services and Home Automation Technologies, Proceedings, Sixth International Conference on Mobile Business, 8–11 July 2007, IEEE Computer Society, ISBN 0-7695-2803-1”.