A Type System For Safe SN Resource Allocation

snBench is a platform on which novice users compose and deploy distributed Sense and Respond programs for simultaneous execution on a shared, distributed infrastructure. It is a natural imperative that we have the ability to (1) verify the safety/correctness of newly submitted tasks and (2) derive the resource requirements for these tasks such that correct allocation may occur. To achieve these goals we have established a multi-dimensional sized type system for our functional-style Domain Specific Language (DSL) called Sensor Task Execution Plan (STEP). In such a type system data types are annotated with a vector of size attributes (e.g., upper and lower size bounds). Tracking multiple size aspects proves essential in a system in which Images are manipulated as a first class data type, as image manipulation functions may have specific minimum and/or maximum resolution restrictions on the input they can correctly process. Through static analysis of STEP instances we not only verify basic type safety and establish upper computational resource bounds (i.e., time and space), but we also derive and solve data and resource sizing constraints (e.g., Image resolution, camera capabilities) from the implicit constraints embedded in program instances. In fact, the static methods presented here have benefit beyond their application to Image data, and may be extended to other data types that require tracking multiple dimensions (e.g., image "quality", video frame-rate or aspect ratio, audio sampling rate). In this paper we present the syntax and semantics of our functional language, our type system that builds costs and resource/data constraints, and (through both formalism and specific details of our implementation) provide concrete examples of how the constraints and sizing information are used in practice.

A miniaturised arrow ballistic measurement system

A novel miniaturised system for measurement of the in-flight characteristics of an arrow is introduced in this paper. The system allows the user to measure in-flight parameters such as the arrow’s speed, kinetic energy and momentum, arrow drag and vibrations of the arrow shaft. The system consists of electronics, namely a three axis accelerometer, shock switch, microcontroller and EEPROM memory embedded in the arrow tip. The system also includes a docking station for download and processing of in-flight ballistic data from the tip to provide the measured values. With this system, a user can evaluate and optimize their archery equipment setup based on measured ballistic values. Recent test results taken at NIST show the accuracy of the launch velocities to be within +/- 0.59%, when compared with NIST’s most accurate ballistic chronograph.

A smart wireless inertial measurement unit system: simplifying & encouraging usage of WIMU technology

Wireless Inertial Measurement Units (WIMUs) combine motion sensing, processing & communications functionsin a single device. Data gathered using these sensors has the potential to be converted into high quality motion data. By outfitting a subject with multiple WIMUs full motion data can begathered. With a potential cost of ownership several orders of magnitude less than traditional camera based motion capture, WIMU systems have potential to be crucially important in supplementing or replacing traditional motion capture and opening up entirely new application areas and potential markets particularly in the rehabilitative, sports & at-home healthcarespaces. Currently WIMUs are underutilized in these areas. A major barrier to adoption is perceived complexity. Sample rates, sensor types & dynamic sensor ranges may need to be adjusted on multiple axes for each device depending on the scenario. As such we present an advanced WIMU in conjunction with a Smart WIMU system to simplify this aspect with 3 usage modes: Manual, Intelligent and Autonomous. Attendees will be able to compare the 3 different modes and see the effects of good andbad set-ups on the quality of data gathered in real time.

Cryptographic coprocessors for embedded systems

In the field of embedded systems design, coprocessors play an important role as a component to increase performance. Many embedded systems are built around a small General Purpose Processor (GPP). If the GPP cannot meet the performance requirements for a certain operation, a coprocessor can be included in the design. The GPP can then offload the computationally intensive operation to the coprocessor; thus increasing the performance of the overall system. A common application of coprocessors is the acceleration of cryptographic algorithms. The work presented in this thesis discusses coprocessor architectures for various cryptographic algorithms that are found in many cryptographic protocols. Their performance is then analysed on a Field Programmable Gate Array (FPGA) platform. Firstly, the acceleration of Elliptic Curve Cryptography (ECC) algorithms is investigated through the use of instruction set extension of a GPP. The performance of these algorithms in a full hardware implementation is then investigated, and an architecture for the acceleration the ECC based digital signature algorithm is developed. Hash functions are also an important component of a cryptographic system. The FPGA implementation of recent hash function designs from the SHA-3 competition are discussed and a fair comparison methodology for hash functions presented. Many cryptographic protocols involve the generation of random data, for keys or nonces. This requires a True Random Number Generator (TRNG) to be present in the system. Various TRNG designs are discussed and a secure implementation, including post-processing and failure detection, is introduced. Finally, a coprocessor for the acceleration of operations at the protocol level will be discussed, where, a novel aspect of the design is the secure method in which private-key data is handled

Design and Evaluation of a Retrofittable Electric Snow Melting System for Pavements

Gemstone Team SnowMelt

"System in package technology" - design for manufacture challenges

Purpose – To present key challenges associated with the evolution of system-in-package technologies and present technical work in reliability modeling and embedded test that contributes to these challenges. Design/methodology/approach – Key challenges have been identified from the electronics and integrated MEMS industrial sectors. Solutions to optimising the reliability of a typical assembly process and reducing the cost of production test have been studied through simulation and modelling studies based on technology data released by NXP and in collaboration with EDA tool vendors Coventor and Flomerics. Findings – Characterised models that deliver special and material dependent reliability data that can be used to optimize robustness of SiP assemblies together with results that indicate relative contributions of various structural variables. An initial analytical model for solder ball reliability and a solution for embedding a low cost test for a capacitive RF-MEMS switch identified as an SiP component presenting a key test challenge. Research limitations/implications – Results will contribute to the further development of NXP wafer level system-in-package technology. Limitations are that feedback on the implementation of recommendations and the physical characterisation of the embedded test solution. Originality/value – Both the methodology and associated studies on the structural reliability of an industrial SiP technology are unique. The analytical model for solder ball life is new as is the embedded test solution for the RF-MEMS switch.

Towards policy-based self-configuration of embedded systems

This paper describes work towards the deployment of flexible self-management into real-time embedded systems. A challenging project which focuses specifically on the development of a dynamic, adaptive automotive middleware is described, and the specific self-management requirements of this project are discussed. These requirements have been identified through the refinement of a wide-ranging set of use cases requiring context-sensitive behaviours. A sample of these use-cases is presented to illustrate the extent of the demands for self-management. The strategy that has been adopted to achieve self-management, based on the use of policies is presented. The embedded and real-time nature of the target system brings the constraints that dynamic adaptation capabilities must not require changes to the run-time code (except during hot update of complete binary modules), adaptation decisions must have low latency, and because the target platforms are resource-constrained the self-management mechanism have low resource requirements (especially in terms of processing and memory). Policy-based computing is thus and ideal candidate for achieving the self-management because the policy itself is loaded at run-time and can be replaced or changed in the future in the same way that a data file is loaded. Policies represent a relatively low complexity and low risk means of achieving self-management, with low run-time costs. Policies can be stored internally in ROM (such as default policies) as well as externally to the system. The architecture of a designed-for-purpose powerful yet lightweight policy library is described. A suitable evaluation platform, supporting the whole life-cycle of feasibility analysis, concept evaluation, development, rigorous testing and behavioural validation has been devised and is described.

Embedding dynamic behaviour into a self-configuring software system

This paper describes a methodology for embedding dynamic behaviour into software components. The implications and system architecture requirements to support this adaptivity are discussed. This work is part of a European Commission funded and industry supported project to produce a reconfigurable middleware for use in automotive systems. Such systems must be trustable against illegal internal behaviour and activity with external origins, additional devices for example. Policy-based computing is used here as an example of embedded logic. A key contribution of this work is the way in which static and dynamic aspects of the system are interfaced, such that the behaviour can be changed very flexibly (even during run-time), without modification, recompilation or redeployment of the embedded application code. An implementation of these concepts is presented, focussing on achieving trust in the use of dynamic behaviour.

An architectural approach to autonomics and self-management of automotive embedded electronic systems

Embedded electronic systems in vehicles are of rapidly increasing commercial importance for the automotive industry. While current vehicular embedded systems are extremely limited and static, a more dynamic configurable system would greatly simplify the integration work and increase quality of vehicular systems. This brings in features like separation of concerns, customised software configuration for individual vehicles, seamless connectivity, and plug-and-play capability. Furthermore, such a system can also contribute to increased dependability and resource optimization due to its inherent ability to adjust itself dynamically to changes in software, hardware resources, and environment condition. This paper describes the architectural approach to achieving the goals of dynamically self-configuring automotive embedded electronic systems by the EU research project DySCAS. The architecture solution outlined in this paper captures the application and operational contexts, expected features, middleware services, functions and behaviours, as well as the basic mechanisms and technologies. The paper also covers the architecture conceptualization by presenting the rationale, concerning the architecture structuring, control principles, and deployment concept. In this paper, we also present the adopted architecture V&V strategy and discuss some open issues in regards to the industrial acceptance.

Surface alloying and mixing at the Mn/Fe(001) interface: Real-time photoelectron spectroscopy and modified embedded atom simulations

Structural and magnetic properties of thin Mn films on the Fe(001) surface have been investigated by a combination of photoelectron spectroscopy and computer simulation in the temperature range 300 Kless than or equal toTless than or equal to750 K. Room-temperature as deposited Mn overlayers are found to be ferromagnetic up to 2.5-monolayer (ML) coverage, with a magnetic moment parallel to that of the iron substrate. The Mn atomic moment decreases with increasing coverage, and thicker samples (4-ML and 4.5-ML coverage) are antiferromagnetic. Photoemission measurements performed while the system temperature is rising at constant rate (dT/dtsimilar to0.5 K/s) detect the first signs of Mn-Fe interdiffusion at T=450 K, and reveal a broad temperature range (610 Kless than or equal toTless than or equal to680 K) in which the interface appears to be stable. Interdiffusion resumes at Tgreater than or equal to680 K. Molecular dynamics and Monte Carlo simulations allow us to attribute the stability plateau at 610 Kless than or equal toTless than or equal to680 K to the formation of a single-layer MnFe surface alloy with a 2x2 unit cell and a checkerboard distribution of Mn and Fe atoms. X-ray-absorption spectroscopy and analysis of the dichroic signal show that the alloy has a ferromagnetic spin structure, collinear with that of the substrate. The magnetic moments of Mn and Fe atoms in the alloy are estimated to be 0.8mu(B) and 1.1mu(B), respectively.

Kinetic Monte Carlo study of electrochemical growth in a heteroepitaxial system

Structural and kinetic aspects of 2-D irreversible metal deposition under potentiostatic conditions are analyzed by means of dynamic Monte Carlo simulations employing embedded atom potentials for a model system. Three limiting models, all considering adatom diffusion, were employed to describe adatom deposition. The first model (A) considers adatom deposition on any free substrate site on the surface at the same rate. The second model (B) considers adatom deposition only on substrate sites which exhibit no neighboring sites occupied by adatoms. The third model (C) allows deposition at higher rates on sites presenting neighboring sites occupied by adatoms. Under the proper conditions, the coverage (theta) versus time (t) relationship for the three cases can be heuristically fitted to the functional form theta = 1 - exp(-betat(alpha)), where alpha and beta are parameters. We suggest that the value of the parameter alpha can be employed to distinguish experimentally between the three cases. While model A trivially delivers a = 1, models B and C are characterized by alpha 1, respectively.

Theoretical considerations of electrochemical phase formation for an ideal Frank-van der Merwe system - Ag on Au(111) and Au(100)

: Static calculation and preliminary kinetic Monte Carlo simulation studies are undertaken for the nucleation and growth on a model system which follows a Frank-van der Merwe mechanism. In the present case, we consider the deposition of Ag on Au(100) and Au(111) surfaces. The interactions were calculated using the embedded atom model. The kinetics of formation and growth of 2D Ag structures on Au(100) and Au(111) is investigated and the influence of surface steps on this phenomenon is studied. Very different time scales are predicted for Ag diffusion on Au(100) and Au(111), thus rendering very different regimes for the nucleation and growth of the related 2D phases. These observations are drawn from the application of a model free of any adjustable parameter.

The mouse and human IGSF6 (DORA) genes map to the inflammatory bowel disease 1 locus and are embedded in an intron of a gene of unknown function.

We have previously characterized IGSF6 (DORA), a novel member of the immunoglobulin superfamily (IGSF) from human and rat expressed in dendritic and myeloid cells. Using a probe from the open reading frame of the rat cDNA, we isolated a cosmid which contains the entire mouse gene. By comparative analysis and reverse transcriptase polymerase chain reaction, we defined the intron/exon structure and the mRNA of the mouse gene and, with respect to human BAC clones, the human gene. The genes span 10 kb (mouse) and 12 kb (human), with six exons arranged in a manner similar to other members of the IGSF. All intron/exon boundaries follow the GT-AG rule. Expression of the mouse Igsf6 gene is restricted to cells of the immune system, particularly macrophages. Northern blot revealed a single mRNA of 2.5 kb, in contrast to the human gene which is expressed as two mRNAs of 1 and 2.5 kb. The human and mouse genes were localized to a locus associated with inflammatory bowel disease. Analysis of the flanking regions of the Igsf6 gene revealed the presence of an unrelated gene, transcribed from the opposite strand of the DNA and oriented such that the Igsf6 gene is encoded entirely within an intron. An identical organization is seen in human. This gene of unknown function is transcribed and processed, contains homologues in Caenorhabditis elegans and prokaryotes, and is expressed in most organs in the mouse.

TRARESA: a tissue microarray-based hospital system for biomarker validation and discovery

Formalin fixed and paraffin embedded tissue (FFPE) collections in pathology departments are the largest resource for retrospective biomedical research studies. Based on the literature analysis of FFPE related research, as well as our own technical validation, we present the Translational Research Arrays (TRARESA), a tissue microarray centred, hospital based, translational research conceptual framework for both validation and/or discovery of novel biomarkers. TRARESA incorporates the analysis of protein, DNA and RNA in the same samples, correlating with clinical and pathological parameters from each case, and allowing (a) the confirmation of new biomarkers, disease hypotheses and drug targets, and (b) the postulation of novel hypotheses on disease mechanisms and drug targets based on known biomarkers. While presenting TRARESA, we illustrate the use of such a comprehensive approach. The conceptualisation of the role of FFPE-based studies in translational research allows the utilisation of this commodity, and adds to the hypothesis-generating armamentarium of existing high-throughput technologies.

Fibre-optic strain sensor system with temperature compensation for arch bridge condition monitoring

This paper presents an innovative sensor system, created specifically for new civil engineering structural monitoring applications, allowing specially packaged fiber grating-based sensors to be used in harsh, in-the-field measurement conditions for accurate strain measurement with full temperature compensation. The sensor consists of two fiber Bragg gratings that are protected within a polypropylene package, with one of the fiber gratings isolated from the influence of strain and thus responding only to temperature variations, while the other is sensitive to both strain and temperature. To achieve this, the temperature-monitoring fiber grating is slightly bent and enclosed in a metal envelope to isolate it effectively from the strain. Through an appropriate calibration process, both the strain and temperature coefficients of each individual grating component when incorporated in the sensor system can be thus obtained. By using these calibrated coefficients in the operation of the sensor, both strain and temperature can be accurately determined. The specific application for which these sensors have been designed is seen when installed on an innovative small-scale flexi-arch bridge where they are used for real-time strain measurements during the critical installation stage (lifting) and loading. These sensors have demonstrated enhanced resilience when embedded in or surface-mounted on such concrete structures, providing accurate and consistent strain measurements not only during installation but subsequently during use. This offers an inexpensive and highly effective monitoring system tailored for the new, rapid method of the installation of small-scale bridges for a variety of civil engineering applications.