Tool support for generating passive C++ test oracles from object-z specifications

A test oracle provides a means for determining whether an implementation behaves according to its specification. A passive test oracle checks that the correct behaviour has been implemented, but does not implement the behaviour itself. In previous work, we have presented a method that allows us to derive passive C++ test oracles from formal specifications written in Object-Z. We describe the "Warlock" prototype tool that supports the method. Warlock is built on top of an existing Object-Z type checker and generates oracle code for a substantial subset of the Object-Z language. We describe the architecture of Warlock and its application to a number of Object-Z specifications. We also discuss its current limitations.

Passive nonlinear pulse shaping in normally dispersive fiber

We propose a simple method for passive nonlinear optical pulse shaping that utilizes pulse prechirping and nonlinear propagation in a normally dispersive nonlinear fiber to generate various temporal waveforms of practical interest from conventional laser pulses.

Passive nonlinear pulse shaping in normally dispersive fiber systems

We propose a novel approach to characterize the parabolically-shaped pulses that can be generated from more conventional pulses via nonlinear propagation in cascaded sections of commercially available normally dispersive (ND) fibers. The impact of the initial pulse chirp on the passive pulse reshaping is examined. We furthermore demonstrate that the combination of pulse pre-chirping and propagation in a single ND fiber yields a simple, passive method for generating various temporal waveforms of practical interest.

Do ‘passive’ medical titanium surfaces deteriorate in service in the absence of wear?

Globally, more than 1000 tonnes of titanium (Ti) is implanted into patients in the form of biomedical devices on an annual basis. Ti is perceived to be ‘biocompatible’ owing to the presence of a robust passive oxide film (approx. 4 nm thick) at the metal surface. However, surface deterioration can lead to the release of Ti ions, and particles can arise as the result of wear and/or corrosion processes. This surface deterioration can result in peri-implant inflammation, leading to the premature loss of the implanted device or the requirement for surgical revision. Soft tissues surrounding commercially pure cranial anchorage devices (bone-anchored hearing aid) were investigated using synchrotron X-ray micro-fluorescence spectroscopy and X-ray absorption near edge structure. Here, we present the first experimental evidence that minimal load-bearing Ti implants, which are not subjected to macroscopic wear processes, can release Ti debris into the surrounding soft tissue. As such debris has been shown to be pro-inflammatory, we propose that such distributions of Ti are likely to effect to the service life of the device.