Sensor function virtualization to support distributed intelligence in the internet of things

It is estimated that-by 2020-billion devices will be connected to the Internet. This number not only includes TVs, PCs, tablets and smartphones, but also billions of embedded sensors that will make up the "Internet of Things" and enable a whole new range of intelligent services in domains such as manufacturing, health, smart homes, logistics, etc. To some extent, intelligence such as data processing or access control can be placed on the devices themselves. Alternatively, functionalities can be outsourced to the cloud. In reality, there is no single solution that fits all needs. Cooperation between devices, intermediate infrastructures (local networks, access networks, global networks) and/or cloud systems is needed in order to optimally support IoT communication and IoT applications. Through distributed intelligence the right communication and processing functionality will be available at the right place. The first part of this paper motivates the need for such distributed intelligence based on shortcomings in typical IoT systems. The second part focuses on the concept of sensor function virtualization, a potential enabler for distributed intelligence, and presents solutions on how to realize it

Leveraging Semantic Web Technologies for Managing Resources in a Multi-Domain Infrastructure-as-a-Service Environment

This paper reports on experience with using semantically-enabled network resource models to construct an operational multi-domain networked infrastructure-as-a-service (NIaaS) testbed called ExoGENI, recently funded through NSF's GENI project. A defining property of NIaaS is the deep integration of network provisioning functions alongside the more common storage and computation provisioning functions. Resource provider topologies and user requests can be described using network resource models with common base classes for fundamental cyber-resources (links, nodes, interfaces) specialized via virtualization and adaptations between networking layers to specific technologies. This problem space gives rise to a number of application areas where semantic web technologies become highly useful - common information models and resource class hierarchies simplify resource descriptions from multiple providers, pathfinding and topology embedding algorithms rely on query abstractions as building blocks. The paper describes how the semantic resource description models enable ExoGENI to autonomously instantiate on-demand virtual topologies of virtual machines provisioned from cloud providers and are linked by on-demand virtual connections acquired from multiple autonomous network providers to serve a variety of applications ranging from distributed system experiments to high-performance computing

Lessons learned from the design of a mobile multimedia system in the Moby Dick project

Recent advances in wireless networking technology and the exponential development of semiconductor technology have engendered a new paradigm of computing, called personal mobile computing or ubiquitous computing. This offers a vision of the future with a much richer and more exciting set of architecture research challenges than extrapolations of the current desktop architectures. In particular, these devices will have limited battery resources, will handle diverse data types, and will operate in environments that are insecure, dynamic and which vary significantly in time and location. The research performed in the MOBY DICK project is about designing such a mobile multimedia system. This paper discusses the approach made in the MOBY DICK project to solve some of these problems, discusses its contributions, and accesses what was learned from the project

Process Evaluation of the Realising Ambition Programme

Launched in May 2012 by the Big Lottery Fund (hereafter 'the Fund'), the Realising Ambition programme aims to help more young people aged 8-14 fulfil their potential and avoid pathways into offending. It does this by supporting 25 organisations to replicate proven youth interventions at new sites across the UK. The Realising Ambition process evaluation covered the first three, of five, years of the programme (2012-2015). The process evaluation had two key objectives:* To gain an understanding of the practical issues associated with replication, including issues emerging for organisations involved in replication themselves.* To explore what does and doesn't work when supporting organisations to replicate proven models, and the resources required to support different approaches to replication

Exploring the practical knowledge of eccentric resistance training in high-performance strength and conditioning practitioners

Habitual use of eccentric exercise has been recognised to increase strength and power; however, the current body of knowledge has limited potential to understand the application of such resistance training in athletic populations. In order to develop appropriate applied research, that relates to elite athletic populations, it is vital to appreciate the practical knowledge of strength and conditioning practitioners operating in high-performance environments. This study summarised the questionnaire responses from 100 strength and conditioning practitioners operating in performance sport relating to questions such as the training effects to various eccentric resistance training regimes, the rationale for the use of these techniques and the knowledge supporting its application. The combination of closed and open-ended questions enabled a thematic analysis to be conducted. There was evidence that practitioners employed a variety of eccentric training methodologies; however, there was interest in gaining greater understanding of the training dose to bring about the optimal adaptive changes, and importantly how this might translate to sport-specific performance. In addition, practitioners would welcome recommendations associated with eccentric training, whilst concurrently minimising the issues of excessive fatigue, muscle damage and soreness. The training effects of interest included neural, architectural and morphological adaptations and, importantly, translation to performance of sports-specific skills. Collectively, these responses called for more practically relevant research to be conducted within the high-performance environment, alongside more opportunities for professional development through learning and knowledge-sharing opportunities. The outcomes summarised in this work should inform future applied research projects and educational content relating to eccentric training

Quantitative Verification: Formal Guarantees for Timeliness, Reliability and Performance

Computerised systems appear in almost all aspects of our daily lives, often in safety-critical scenarios such as embedded control systems in cars and aircraft or medical devices such as pacemakers and sensors. We are thus increasingly reliant on these systems working correctly, despite often operating in unpredictable or unreliable environments. Designers of such devices need ways to guarantee that they will operate in a reliable and efficient manner. Quantitative verification is a technique for analysing quantitative aspects of a system's design, such as timeliness, reliability or performance. It applies formal methods, based on a rigorous analysis of a mathematical model of the system, to automatically prove certain precisely specified properties, e.g. ``the airbag will always deploy within 20 milliseconds after a crash'' or ``the probability of both sensors failing simultaneously is less than 0.001''. The ability to formally guarantee quantitative properties of this kind is beneficial across a wide range of application domains. For example, in safety-critical systems, it may be essential to establish credible bounds on the probability with which certain failures or combinations of failures can occur. In embedded control systems, it is often important to comply with strict constraints on timing or resources. More generally, being able to derive guarantees on precisely specified levels of performance or efficiency is a valuable tool in the design of, for example, wireless networking protocols, robotic systems or power management algorithms, to name but a few. This report gives a short introduction to quantitative verification, focusing in particular on a widely used technique called model checking, and its generalisation to the analysis of quantitative aspects of a system such as timing, probabilistic behaviour or resource usage. The intended audience is industrial designers and developers of systems such as those highlighted above who could benefit from the application of quantitative verification,but lack expertise in formal verification or modelling

Specifying sickle cell disease interventions: A study protocol of the Sickle Cell Disease Implementation Consortium (SCDIC)

Abstract Background Sickle cell disease (SCD) is an inherited blood disorder that results in a lifetime of anemia, severe pain, and end-organ damage that can lead to premature mortality. While the SCD field has made major medical advances, much needs to be done to improve the quality of care for people with SCD. This study capitalizes on the Sickle Cell Disease Implementation Consortium (SCDIC), a consortium of eight academic sites aiming to test implementation strategies that could lead to more accelerated application of the NHLBI guidelines for treating SCD. This report documents the process to support the consortium by specifying the interventions being developed. Methods This study consists of three steps. The Principal Investigator of each site and two site representatives who are knowledgeable of the intervention (e.g., study coordinator or the person delivering the intervention) will answer an online survey aiming to capture components of the interventions. This survey will be completed by the site representatives three times during the study: during the development of the interventions, after one year of the interventions being implemented, and at the end of this study (after 2 years). A site visit and semi-structured interview (Step 2) in the first year of the process will capture the context of the sites. Step 3 comprises of the development of a framework with the details of the multi-component SCDIC interventions at the sites. Discussion The outcome of this study, a framework of the SCDIC, will enable accurate replication and extension of published research, facilitating the translation of SCD studies to diverse populations and settings and allowing for theory testing of the effects of the intervention components across studies in different contexts and for different populations. Trial registration ClinicalTrial.Gov (#NCT03380351). Registered December 21, 2017