Scheduling policies and system software architectures for mixed-criticality computing

Mixed-criticality model of computation is being increasingly adopted in timing-sensitive systems. The model not only ensures that the most critical tasks in a system never fails, but also aims for better systems resource utilization in normal condition. In this report, we describe the widely used mixed-criticality task model and fixed-priority scheduling algorithms for the model in uniprocessors. Because of the necessity by the mixed-criticality task model and scheduling policies, isolation, both temporal and spatial, among tasks is one of the main requirements from the system design point of view. Different virtualization techniques have been used to design system software architecture with the goal of isolation. We discuss such a few system software architectures which are being and can be used for mixed-criticality model of computation

The SATIN component system - a metamodel for engineering adaptable mobile systems

Mobile computing devices, such as personal digital assistants and mobile phones, are becoming increasingly popular, smaller, and more capable. We argue that mobile systems should be able to adapt to changing requirements and execution environments. Adaptation requires the ability-to reconfigure the deployed code base on a mobile device. Such reconfiguration is considerably simplified if mobile applications are component-oriented rather than monolithic blocks of code. We present the SATIN (system adaptation targeting integrated networks) component metamodel, a lightweight local component metamodel that offers the flexible use of logical mobility primitives to reconfigure the software system by dynamically transferring code. The metamodel is implemented in the SATIN middleware system, a component-based mobile computing middleware that uses the mobility primitives defined in the metamodel to reconfigure both itself and applications that it hosts. We demonstrate the suitability of SATIN in terms of lightweightedness, flexibility, and reusability for the creation of adaptable mobile systems by using it to implement, port, and evaluate a number of existing and new applications, including an active network platform developed for satellite communication at the European space agency. These applications exhibit different aspects of adaptation and demonstrate the flexibility of the approach and the advantages gaine

Development of an adaptive window-opening algorithm to predict the thermal comfort, energy use and overheating in buildings

This investigation of the window opening data from extensive field surveys in UK office buildings demonstrates: 1) how people control the indoor environment by opening windows; 2) the cooling potential of opening windows; and 3) the use of an ‘adaptive algorithm’ for predicting window opening behaviour for thermal simulation in ESP-r. It was found that when the window was open the mean indoor and outdoor temperatures were higher than when closed, but show that nonetheless there was a useful cooling effect from opening a window. The adaptive algorithm for window opening behaviour was then used in thermal simulation studies for some typical office designs. The thermal simulation results were in general agreement with the findings of the field surveys. The adaptive algorithm is shown to provide insights not available using non adaptive simulation methods and can assist in achieving more comfortable, lower energy buildings while avoiding overheating

The thermal simulation of an office building implementing a new behavioural algorithm for window opening and the use of ceiling fans

This investigation of the window opening data from extensive field surveys in UK office buildings investigates 1) how people control the indoor environment by opening windows, 2) the cooling potential of opening windows, and 3) the use of an “adaptive algorithm” for predicting window opening behaviour for thermal simulation in ESP-r. We found that the mean indoor and outdoor temperatures when the window was open were higher than when it was closed, but show that nonetheless there was a useful cooling effect from opening a window. The adaptive algorithm for window opening behaviour was then used in thermal simulation studies for some typical office designs. The thermal simulation results were in general agreement with the findings of the field surveys

A window opening algorithm and UK office temperature field results and thermal simulation

This investigation of the window opening data from extensive field surveys in UK office buildings investigates 1) how people control the indoor environment by opening windows, 2) the cooling potential of opening windows, and 3) the use of an “adaptive algorithm” for predicting window opening behaviour for thermal simulation in ESP-r. We found that the mean indoor and outdoor temperatures when the window was open were higher than when it was closed, but show that nonetheless there was a useful cooling effect from opening a window. The adaptive algorithm for window opening behaviour was then used in thermal simulation studies for some typical office designs. The thermal simulation results were in general agreement with the findings of the field surveys

Adaptable Service Oriented Infrastructure Provisioning with Lightweight Containers Virtualization Technology

Modern computing infrastructures should enable realization of converged provisioning and governance operations on virtualized computing, storage and network resources used on behalf of users' workloads. These workloads must have ensured sufficient access to the resources to satisfy required QoS. This requires flexible platforms providing functionality for construction, activation and governance of Runtime Infrastructure which can be realized according to Service Oriented Infrastructure (SOI) paradigm. Implementation of the SOI management framework requires definition of flexible architecture and utilization of advanced software engineering and policy-based techniques. The paper presents an Adaptable SOI Provisioning Platform which supports adaptable SOI provisioning with lightweight virtualization, compliant with the structured process model suitable for construction, activation and governance of IT environments. The requirements, architecture and implementation of the platform are all discussed. Practical usage of the platform is presented on the basis of a complex case study for provisioning JEE middleware on top of the Solaris 10 lightweight virtualization platform

Improving the Scalability of DPWS-Based Networked Infrastructures

The Devices Profile for Web Services (DPWS) specification enables seamless discovery, configuration, and interoperability of networked devices in various settings, ranging from home automation and multimedia to manufacturing equipment and data centers. Unfortunately, the sheer simplicity of event notification mechanisms that makes it fit for resource-constrained devices, makes it hard to scale to large infrastructures with more stringent dependability requirements, ironically, where self-configuration would be most useful. In this report, we address this challenge with a proposal to integrate gossip-based dissemination in DPWS, thus maintaining compatibility with original assumptions of the specification, and avoiding a centralized configuration server or custom black-box middleware components. In detail, we show how our approach provides an evolutionary and non-intrusive solution to the scalability limitations of DPWS and experimentally evaluate it with an implementation based on the the Web Services for Devices (WS4D) Java Multi Edition DPWS Stack (JMEDS).Comment: 28 pages, Technical Repor