Integrating hardware and software information flow analyses

Security-critical communications devices must be evaluated to the highest possible standards before they can be deployed. This process includes tracing potential information flow through the device's electronic circuitry, for each of the device's operating modes. Increasingly, however, security functionality is being entrusted to embedded software running on microprocessors within such devices, so new strategies are needed for integrating information flow analyses of embedded program code with hardware analyses. Here we show how standard compiler principles can augment high-integrity security evaluations to allow seamless tracing of information flow through both the hardware and software of embedded systems. This is done by unifying input/output statements in embedded program execution paths with the hardware pins they access, and by associating significant software states with corresponding operating modes of the surrounding electronic circuitry.

Biomechanical force displacement analysis of strength of fixation of tracker holding devices to bone in computer aided joint replacement

Computer aided joint replacement surgery has become very popular during recent years and is being done in increasing numbers all over the world. The accuracy of the system depends to a major extent, on accurate registration and immobility of the tracker attachment devices to the bone. This study was designed to asses the forces needed to displace the tracker attachment devices in the bone simulators. Bone simulators were used to maintain the uniformity of the bone structure during the study. The fixation devices tested were 3mm diameter self drilling, self tapping threaded pin, 4mm diameter self tapping cortical threaded pin, 5mm diameter self tapping cancellous threaded pin and a triplanar fixation device ‘ortholock’ used with three 3mm pins. All the devices were tested for pull out, translational and rotational forces in unicortical and bicortical fixation modes. Also tested was the normal bang strength and forces generated by leaning on the devices. The forces required to produce translation increased with the increasing diameter of the pins. These were 105N, 185N, and 225N for the unicortical fixations and 130N, 200N, 225N for the bicortical fixations for 3mm, 4mm and 5mm diameter pins respectively. The forces required to pull out the pins were 1475N, 1650N, 2050N for the unicortical, 1020N, 3044N and 3042N for the bicortical fixated 3mm, 4mm and 5mm diameter pins. The ortholock translational and pull out strength was tested to 900N and 920N respectively and still it did not fail. Rotatory forces required to displace the tracker on pins was to the magnitude of 30N before failure. The ortholock device had rotational forces applied up to 135N and still did not fail. The manual leaning forces and the sudden bang forces generated were of the magnitude of 210N and 150N respectively. The strength of the fixation pins increases with increasing diameter from three to five mm for the translational forces. There is no significant difference in pull out forces of four mm and five mm diameter pins though it is more that the three mm diameter pins. This is because of the failure of material at that stage rather than the fixation device. The rotatory forces required to displace the tracker are very small and much less that that can be produced by the surgeon or assistants in single pins. Although the ortholock device was tested to 135N in rotation without failing, one has to be very careful not to put any forces during the operation on the tracker devices to ensure the accuracy of the procedure.

Small animal bone healing models : standards, tips, and pitfalls results of a consensus meeting

Small animal fracture models have gained increasing interest in fracture healing studies. To achieve standardized and defined study conditions, various variables must be carefully controlled when designing fracture healing experiments in mice or rats. The strain, age and sex of the animals may influence the process of fracture healing. Furthermore, the choice of the fracture fixation technique depends on the questions addressed, whereby intra- and extramedullary implants as well as open and closed surgical approaches may be considered. During the last few years, a variety of different, highly sophisticated implants for fracture fixation in small animals have been developed. Rigid fixation with locking plates or external fixators results in predominantly intramembranous healing in both mice and rats. Locking plates, external fixators, intramedullary screws, the locking nail and the pin-clip device allow different degrees of stability resulting in various amounts of endochondral and intramembranous healing. The use of common pins that do not provide rotational and axial stability during fracture stabilization should be discouraged in the future. Analyses should include at least biomechanical and histological evaluations, even if the focus of the study is directed towards the elucidation of molecular mechanisms of fracture healing using the largely available spectrum of antibodies and gene-targeted animals to study molecular mechanisms of fracture healing. This review discusses distinct requirements for the experimental setups as well as the advantages and pitfalls of the different fixation techniques in rats and mice.

BabelFuse data fusion unit with precision wireless clock synchronisation

A significant issue encountered when fusing data received from multiple sensors is the accuracy of the timestamp associated with each piece of data. This is particularly important in applications such as Simultaneous Localisation and Mapping (SLAM) where vehicle velocity forms an important part of the mapping algorithms; on fastmoving vehicles, even millisecond inconsistencies in data timestamping can produce errors which need to be compensated for. The timestamping problem is compounded in a robot swarm environment due to the use of non-deterministic readily-available hardware (such as 802.11-based wireless) and inaccurate clock synchronisation protocols (such as Network Time Protocol (NTP)). As a result, the synchronisation of the clocks between robots can be out by tens-to-hundreds of milliseconds making correlation of data difficult and preventing the possibility of the units performing synchronised actions such as triggering cameras or intricate swarm manoeuvres. In this thesis, a complete data fusion unit is designed, implemented and tested. The unit, named BabelFuse, is able to accept sensor data from a number of low-speed communication buses (such as RS232, RS485 and CAN Bus) and also timestamp events that occur on General Purpose Input/Output (GPIO) pins referencing a submillisecondaccurate wirelessly-distributed "global" clock signal. In addition to its timestamping capabilities, it can also be used to trigger an attached camera at a predefined start time and frame rate. This functionality enables the creation of a wirelessly-synchronised distributed image acquisition system over a large geographic area; a real world application for this functionality is the creation of a platform to facilitate wirelessly-distributed 3D stereoscopic vision. A ‘best-practice’ design methodology is adopted within the project to ensure the final system operates according to its requirements. Initially, requirements are generated from which a high-level architecture is distilled. This architecture is then converted into a hardware specification and low-level design, which is then manufactured. The manufactured hardware is then verified to ensure it operates as designed and firmware and Linux Operating System (OS) drivers are written to provide the features and connectivity required of the system. Finally, integration testing is performed to ensure the unit functions as per its requirements. The BabelFuse System comprises of a single Grand Master unit which is responsible for maintaining the absolute value of the "global" clock. Slave nodes then determine their local clock o.set from that of the Grand Master via synchronisation events which occur multiple times per-second. The mechanism used for synchronising the clocks between the boards wirelessly makes use of specific hardware and a firmware protocol based on elements of the IEEE-1588 Precision Time Protocol (PTP). With the key requirement of the system being submillisecond-accurate clock synchronisation (as a basis for timestamping and camera triggering), automated testing is carried out to monitor the o.sets between each Slave and the Grand Master over time. A common strobe pulse is also sent to each unit for timestamping; the correlation between the timestamps of the di.erent units is used to validate the clock o.set results. Analysis of the automated test results show that the BabelFuse units are almost threemagnitudes more accurate than their requirement; clocks of the Slave and Grand Master units do not di.er by more than three microseconds over a running time of six hours and the mean clock o.set of Slaves to the Grand Master is less-than one microsecond. The common strobe pulse used to verify the clock o.set data yields a positive result with a maximum variation between units of less-than two microseconds and a mean value of less-than one microsecond. The camera triggering functionality is verified by connecting the trigger pulse output of each board to a four-channel digital oscilloscope and setting each unit to output a 100Hz periodic pulse with a common start time. The resulting waveform shows a maximum variation between the rising-edges of the pulses of approximately 39¥ìs, well below its target of 1ms.

Design, characterisation and in vivo testing of a new, adjustable stiffness, external fixator for the rat femur

Very little is known about the infl uence of the mechanical environment on the healing of large segmental defects. This partly reflects the lack of standardised, well characterised technologies to enable such studies. Here we report the design, construction and characterisation of a novel external fixator for use in conjunction with rat femoral defects. This device not only imposes a predetermined axial stiffness on the lesion, but also enables the stiffness to be changed during the healing process. The main frame of the fi xator consists of polyethylethylketone with titanium alloy mounting pins. The stiffness of the fi xator is determined by interchangeable connection elements of different thicknesses. Fixators were shown to stabilise 5 mm femoral defects in rats in vivo for at least 8 weeks during unrestricted cage activity. No distortion or infections, including pin infections, were noted. The healing process was simulated in vitro by inserting into a 5 mm femoral defect, materials whose Young’s moduli approximated those of the different tissues present in regenerating bone. These studies confirmed that, although the external fixator is the major determinant of axial stiffness during the early phase of healing, the regenerate within the lesion subsequently dominates this property. There is much clinical interest in altering the mechanics of the defect to enhance bone healing. Our data suggest that, if alteration of the mechanical environment is to be used to modulate the healing of large segmental defects, this needs to be performed before the tissue properties become dominant.

Design of a tangible data visualization (extended)

In this paper we describe the design of DNA Jewelry, which is a wearable tangible data representation of personal DNA profile data. An iterative design process was followed to develop a 3D form-language that could be mapped to standard DNA profile data, with the aim of retaining readability of data while also producing an aesthetically pleasing and unique result in the area of personalised design. The work explores design issues with the production of data tangibles, contributes to a growing body of research exploring tangible representations of data and highlights the importance of approaches that move between technology, art and design.

Commercial friendships between gay sales associates and straight female customers in luxury settings: A proposed theoretical framework

This study investigates friendships between gay sales associates and heterosexual female customers in luxury retail settings. By employing grounded theory methodology, the study integrates theories and findings from diverse literature streams into an original conceptual framework to illustrate the resources gay sales associates and straight female customers receive from and provide to each other during retail exchanges. The study explains why gay male–straight female friendships are uniquely suited for luxury consumption settings. Female customers characterize their friendships with gay sales associates as providing honesty, security, trust, and comfort, which stems from the absence of sexual interest and a lack of inter-female competition. Gay sales associates receive acceptance for who they are and for their displays of unconventional masculinity in retail settings. They also obtain a temporary rite from their female customers, a so-called mandate of privacy, which permits both parties to ignore the bounds of modesty and accept a degree of intimacy. Such intimacy facilitates transactions that require both personalization and customer–employee closeness, such as the selling of high-end apparel, accessories, and jewelry.

Effect Of Directionality Of Grinding Marks On Friction And Formation Of Transfer Layer

Surface texture influences friction and transfer layer formation during sliding. In the present investigation, basic studies were conducted using inclined pin-on-plate sliding tester to understand the effect of directionality of surface grinding marks of hard material on friction and transfer layer formation during sliding against soft materials. 080 M40 steel plates were ground to attain different surface roughness with unidirectional grinding marks. Then pins made of soft materials such as pure Al, pure Mg and Al-Mg alloy were slid against the prepared steel plates. Grinding angle (i.e., the angle between direction of sliding and grinding marks) was varied between 0 degrees and 90 degrees in the tests. Experiments were conducted under both dry and lubricated conditions on each plate in ambient environment. It was observed that the transfer layer formation and the coefficient of friction, which has two components adhesion and plowing - depend primarily on the directionality of grinding marks of the harder mating surface, and independent of surface roughness of the harder mating surface. For the case of pure Mg, stick-slip phenomenon was observed under dry condition for all grinding angles and it was absent upto 20 degrees grinding angles under lubricated condition. However, for the case of Al, it was observed only under lubricated conditions for angles exceeding 20 degrees. As regards the alloy, namely, Al-Mg alloy, it, was absent in both conditions. For the case of pure Mg and Al, it was observed that the amplitude of stick-slip motion primarily depends on plowing component of friction. The grinding angle effect on coefficient of friction was attributed to the variation of plowing component of friction with grinding angle.

Studies On Friction And Formation Of Transfer Layer In Hcp Metals

Surface texture plays an important role in the frictional behavior and transfer layer formation of contacting surfaces. In the present investigation, basic experiments were conducted using an inclined pin-on-plate sliding apparatus to better understand the role of surface texture on the coefficient of friction and the formation of a transfer layer. In the experiments, soft HCP materials such as pure Mg and pure Zn were used for the pins and a hardened 080 M40 steel was used for the plate. Two surface parameters of the steel plates—roughness and texture—were varied in tests that were conducted at a sliding speed of 2 mm/s in ambient conditions under both dry and lubricated conditions. The morphologies of the worn surfaces of the pins and the formation of the transfer layer on the counter surfaces were observed using a scanning electron microscope. In the experiments, the occurrence of stick-slip motion, the formation of a transfer layer, and the value of friction were recorded. With respect to the friction, both adhesion and plowing components were analyzed. Based on the experimental results, the effect of surface texture on the friction was attributed to differences in the amount of plowing. Both the plowing component of friction and the amplitude of stick-slip motion were determined to increase surface textures that promote plane strain conditions and decrease the textures that favor plane stress conditions.

Correlating The Features Of Topography To Friction By Sliding Experiments

Friction can influence the quality of the finished product to a large extent in certain manufacturing processes. Sheet metal forming is a particular case, where the friction between the hard-die and the relatively soft work-piece can be extremely important. Under such conditions, topography of the harder surface can influence the resistance to traction at the interface. This paper discusses about the correlation between certain features of the surface; topography and coefficient of friction based on experiments involving sliding of a few soft metal pins against a harder material. A brief description of the experimental procedure and the analysis are presented. A hybrid parameter which encapsulates both the amplitude features as well as the relative packing of peaks is shown to correlate well with the coefficient of friction.

Analysis of a finite composite plate with smooth rigid pin

A continuum method of analysis is presented in this paper for the problem of a smooth rigid pin in a finite composite plate subjected to uniaxial loading. The pin could be of interference, push or clearance fit. The plate is idealized to an orthotropic sheet. As the load on the plate is progressively increased, the contact along the pin-hole interface is partial above certain load levels in all three types of fit. In misfit pins (interference or clearance), such situations result in mixed boundary value problems with moving boundaries and in all of them the arc of contact and the stress and displacement fields vary nonlinearly with the applied load. In infinite domains similar problems were analysed earlier by ‘inverse formulation’ and, now, the same approach is selected for finite plates. Finite outer domains introduce analytical complexities in the satisfaction of boundary conditions. These problems are circumvented by adopting a method in which the successive integrals of boundary error functions are equated to zero. Numerical results are presented which bring out the effects of the rectangular geometry and the orthotropic property of the plate. The present solutions are the first step towards the development of special finite elements for fastener joints.

Scanning electron microscopy study of worn Al-Si alloy surfaces

A pin-on-disc machine was used to wear Al-Si alloy pins under dry conditions. Unmodified and modified binary alloys and commercial multi-component alloys were tested. The surfaces of the worn alloys were examined by scanning electron microscopy to identify distinct topographical features to aid elucidation of the mechanisms of wear.

Pin-Loaded Holes in Large Orthotropic Plates

Pin-loaded holes commonly occur in engineering structures. However, accurate analysis of such holes presents formidable difficulties because of the load-dependent contact of the pin with the plate. Significant progress has recently been achieved in the analysis of holes in isotropic plates. This paper develops a simple and accurate method for the partial contact analysis of pin-loaded holes in composites. The method is based on an inverse formulation that seeks to determine loads in a given contact-separation configuration. A unified approach for all types of fit was used. Continuum solutions were obtained for infinitely large plates of various typical orthotropic properties with holes loaded by smooth rigid pins. These solutions were then compared with those for isotropic plates. The effects of orthotropy and the type of fit were studied through load-contact relationships, distribution of stresses and displacements, and their variation with load. The results are of direct relevance to the analysis and design of pin joints in composite plates.

A large orthotropic plate with misfit pin under arbitrarily oriented biaxial loading

The problem of misfit (interference or clearance) pin in a large orthotropic plate was solved earlier by the authors for biaxial loading in the principal directions of orthotropy. Here, a more general case of arbitrarily oriented loading is considered. The most important aspect of the problem studied is the partial contact at the pin-hole interface. The solution is obtained by extending the use of ‘inverse technique’ which was successfully applied earlier by the authors to problems of pins in isotropic and orthotropic domains. The loss of symmetry because of the arbitrary orientation of loading makes the problem more complex. Additional parameters are then involved in the inversion of the problem for the solution. Numerical results are presented primarily for a smooth interference fit pin in a typical orthotropic plate.