MHP‐OSGi convergence: a new model for open residential gateways

Nowadays, we are living in a time of important technological changes that affect our lives at home and our communication with the outside world. Among them, the developments in Interactive Digital TV (IDTV) and the smart home field can be considered as particularly important. Related to the former, the new Set‐Top Boxes (STBs) are not only a decoder for digital television broadcast but also an entry point to the Information Society and a suitable platform to support the execution of interactive applications. With regards to the latter, the Residential Gateways (RGs) combine different network technologies to allow the connection of different electronics devices and appliances at home, not only with each other but also with the Internet. Since there is no widespread consensus about the configurations and functions of the RGs, we propose to coordinate the two aforementioned worlds by extending the functionality of STBs to become a RG. Our proposal consists of merging the Multimedia Home Platform (MHP), one of the main standard frameworks for IDTV, with Open Service Gateway Initiative (OSGi), the most widely used open platform to set up RGs. To overcome the radically different nature of these specifications—the function‐oriented MHP middleware and the service‐oriented OSGi framework—we define a new kind of application, coined as XbundLET. This application is able to bridge the gap between the two frameworks and make their interaction feasible. We also show how this proposal has the potential to enable the production of scenarios that cannot currently be put into practice in a natural way. Copyright © 2006 John Wiley & Sons, Ltd.     

基于OSGI家庭网关的多媒体系统设计

随着家庭网络技术和多媒体技术的飞速发展,如何实现数字家庭中多媒体服务智能化和人性化已成为当今研究的热点。本文介绍一种基于OSGI家庭网关和UPNP AV架构扩展的媒体共享系统设计,实现家庭网络中多媒体设备的互操作,并且可以通过家庭网关上的虚拟服务器访问外部多媒体设备,同时为多媒体内容提供者提供一个强大的工具,使为用户提供多媒体服务更加智能化。多媒体提供者无需增加额外的设备和配置,不需要准备另外一个协议,使用原来的媒体传输协议就可以连接UPNP AV框架。本系统的服务器框架提供远程I/O服务让用户可以通过手持设备远程控制和访问系统中的多媒体资源。     

基于Zigbee协议的OSGi无线家庭网关设计

设计基于OSGi标准和Zigbee无线通信协议的分布式家庭网关.首先提出基于Zigbee家庭网络的无线组网方案。同时提出无线家庭网关的硬件实现方案,并给出基于OSGI标准的软件开发的步骤,最后分析了家庭网关的实际应用。     

基于OSGi家庭网关的UPnP设备远程控制设计与实现

针对数字家庭网络应用环境,研究远程家庭设备控制问题,采用OSGi平台与UPnP技术相结合的方法,提出一种使用方便、费用低廉的基于OSGi家庭网关的UPnP设备远程控制系统架构,描述系统分析、设计过程,并利用Cyberlink SDK进行实现,实验证明该系统能够有效地实现远程控制服务,具有良好的扩展性、易用性.该架构和开发技术可扩展应用于其它数字家庭应用系统中.     

基于中间件的工业机器人软件框架的研究和应用

在国内首次使用中间件技术,面向机车维护工业机器人,设计开发可扩展、升级和移植的软件应用框架。详细介绍了软件框架的设计和实现,包括采用两层结构实现服务器、框架的技术指标、系统CORBA IDL的具体设计和定义。最后规划了今后的研究工作。     

Checking JML specifications using an extensible software model checking framework

The use of assertions to express correctness properties of programs is growing in practice. Assertions provide a form of lightweight checkable specification that can be very effective in finding defects in programs and in guiding developers to the cause of a problem. A wide variety of assertion languages and associated validation techniques have been developed, but run-time monitoring is commonly thought to be the only practical solution. In this paper, we describe how specifications written in the Java Modeling Language (JML), a general purpose behavioral specification and assertional language for Java, can be validated using a customized model checker built on top of the Bogor model checking framework. Our experience illustrates the need for customized state-space representations and reduction strategies in model checking frameworks in order to effectively check the kind of strong behavioral specifications that can be written in JML. We discuss the advantages and tradeoffs of model checking relative to other specification validation techniques and present data that suggest that the cost of model checking strong specifications is practical for several real programs. This is an extended version of the paper Checking Strong Specifications Using An Extensible Model Checking Framework that appeared in Proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2004. This work was supported in part by the U.S. Army Research Office (DAAD190110564), by DARPA/IXO’s PCES program (AFRL Contract F33615-00-C-3044), by NSF (CCR-0306607) by Lockheed Martin, and by Rockwell-Collins.     

ERP software implementation: an integrative framework

ERP implementation is a socio-technical challenge that requires a fundamentally different outlook from technologically-driven innovation, and will depend on a balanced perspective where the organisation as a total system is considered. ERP implementation is considered to rely on behavioural processes and actions. It is a process that involves macro-implementation at the strategic level, and micro-implementation at the operational level. This therefore means that implementation in the context of ERP systems is not possible through an ON/OFF approach whereby deployment of the new systems will necessarily yield the desired and expected results. Understanding the implementation process through a balanced perspective will therefore prevent any unpleasant surprises, and will ensure and guide the change process to be embedded in a painless fashion. The balanced perspective means that socio-technical considerations must be borne in mind; the strategic, tactical and operational steps clearly defined; and the expected benefits evaluated and tracked through creating seamless and solid integration. This paper proposes an integrative framework for ERP implementation based on an extensive review of the factors and the essential elements that contribute to success in the context of ERP implementation.     

Information system development activities and inquiring systems: an integrating framework

This article presents a framework that maps information system development (ISD) activities on systems for the creation of knowledge. This work addresses the relevant and persisting problem of improving the chances of ISD success. The article builds upon previous research on knowledge aspects of ISD, abandoning the idea of a monolithic approach to knowledge and presenting a pluralistic approach based on the idea that different inquiring systems can support micro-level ISD activities. The article is divided into two parts. The first part presents the theoretical development of the framework based on ISD literature and on Churchman's (1971) inquiring systems. The second part presents the use of the framework in an ISD project. The case is used to show the applicability of the framework and to highlight the advantages of this approach. The main theoretical implication is that the framework provides a new way to see the development of a system in terms of the knowledge created in the process. The main practical implication of the framework is that it improves the managers' ability to guide ISD activities as knowledge activities embedded in a knowledge process, a crucial element in development projects.     

MARVIN: a medical research application framework based on open source software

This paper describes the open source framework MARVIN for rapid application development in the field of biomedical and clinical research. MARVIN applications consist of modules that can be plugged together in order to provide the functionality required for a specific experimental scenario. Application modules work on a common patient database that is used to store and organize medical data as well as derived data. MARVIN provides a flexible input/output system with support for many file formats including DICOM, various 2D image formats and surface mesh data. Furthermore, it implements an advanced visualization system and interfaces to a wide range of 3D tracking hardware. Since it uses only highly portable libraries, MARVIN applications run on Unix/Linux, Mac OS X and Microsoft Windows.     

Integration of an energy balance snowmelt model into an open source modeling framework

This paper presents a data model for organizing the inputs and outputs of an energy balance snowmelt model (the Utah Energy Balance Model, UEB) that provides a foundation for its integration into the EPA BASINS modeling framework and enables its coupling with other hydrologic models in this system. Having UEB as a BASINS component has facilitated its coupling with the Geospatial Streamflow Forecast Model (GeoSFM) to compute the melting of glaciers and subsequent streamflow in the Himalayas. The data model uses a combination of structured text and network Common Data Form (netCDF) files to represent parameters, geographical, time series, and gridded space-time data. We describe the design and structure of this data model, integration methodology of UEB and GeoSFM and illustrate the effectiveness of the resulting coupled models for the computation of surface water input and streamflow for a glaciated watershed in Nepal Himalayas.     

一种开放式性能测试框架的研究与应用

分析了一种基于J2EE的开放式性能测试框架Grinder,阐述了它的工作原理,并对该框架做了两点改进：添加动态图形接口和从控制台向客户机发送脚本,最后基于改进的框架实现了TPC-W基准,并用它对国产数据库管理系统DM4进行了性能测试。     

IGSTK: an open source software toolkit for image-guided surgery

Image-guided surgery applies leading-edge technology and clinical practices to provide better quality of life to patients who can benefit from minimally invasive procedures. Reliable software is a critical component of image-guided surgical applications, yet costly expertise and technology infrastructure barriers hamper current research and commercialization efforts in this area. IGSTK applies the open source development and delivery model to this problem. Agile and component-based software engineering principles reduce the costs and risks associated with adopting this new technology, resulting in a safe, inexpensive, robust, shareable, and reusable software infrastructure.     

VERTAF: an application framework for the design and verification of embedded real-time software

The growing complexity of embedded real-time software requirements calls for the design of reusable software components, the synthesis and generation of software code, and the automatic guarantee of nonfunctional properties such as performance, time constraints, reliability, and security. Available application frameworks targeted at the automatic design of embedded real-time software are poor in integrating functional and nonfunctional requirements. To bridge this gap, we reveal the design flow and the internal architecture of a newly proposed framework called verifiable embedded real-time application framework (VERTAF), which integrates software component-based reuse, formal synthesis, and formal verification. A formal UML-based embedded real-time object model is proposed for component reuse. Formal synthesis employs quasistatic and quasidynamic scheduling with automatic generation of multilayer portable efficient code. Formal verification integrates a model checker kernel from SGM, by adapting it for embedded software. The proposed architecture for VERTAF is component-based and allows plug-and-play for the scheduler and the verifier. Using VERTAF to develop application examples significantly reduced design effort and illustrated how high-level reuse of software components combined with automatic synthesis and verification can increase design productivity.     

Daisy: an open soil-crop-atmosphere system model

Daisy is a well tested dynamic model for simulation of water and nitrogen dynamics and crop growth in agro-ecosystems. The model aims at simulating water balance, nitrogen balance and losses, development in soil organic matter and crop growth and production in crop rotations under alternate management strategies. The software, which recently was rewritten, has been carefully designed to facilitate interaction with other models, either by replacing individual Daisy processes or by using Daisy as a part of a larger system, thus making Daisy an open software system.     

Business model metrics: an open repository

Development of successful business models has become a necessity in turbulent business environments, but compared to research on business modeling tools, attention to the role of metrics in designing business models in literature is limited. Building on existing approaches to business models and performance measurement literature, we develop a generic open repository of metrics related to core business model concepts. We validate and assess the practical value of the repository based on four e-Business model cases. The repository can be utilized in designing business models, specifically for networked enterprises. It is neither complete nor universally applicable, but needs adjustment with each design. Ultimately, with this paper, we hope measurement will become an integral part of the business model innovation discussion.     

基于OSGI的家庭网关系统的研究与设计

文章研究了用户远程访问基于OSGI的IPv6家庭网络,提出了一种基于OSGI技术的下一代家庭网关的系统框架模型,并实现了集中控制功能以及控制界面的生成和控制命令的集中转发,完成了家庭网络管理的主要功能,有一定的扩展性,具备很好的应用前景,为IPv6下的OSGI家庭网络中的信息家电进行远程控制提供了一个的解决方案。