A design environment for deadlock-free concurrent software

Using current software engineering technology, the robustness required for safety critical software is not assurable. However, different approaches are possible which can help to assure software robustness to some extent. For achieving high reliability software, methods should be adopted which avoid introducing faults (fault avoidance); then testing should be carried out to identify any faults which persist (error removal). Finally, techniques should be used which allow any undetected faults to be tolerated (fault tolerance). The verification of correctness in system design specification and performance analysis of the model, are the basic issues in concurrent systems. In this context, modeling distributed concurrent software is one of the most important activities in the software life cycle, and communication analysis is a primary consideration to achieve reliability and safety. By and large fault avoidance requires human analysis which is error prone; by reducing human involvement in the tedious aspect of modelling and analysis of the software it is hoped that fewer faults will persist into its implementation in the real-time environment. The Occam language supports concurrent programming and is a language where interprocess interaction takes place by communications. This may lead to deadlock due to communication failure. Proper systematic methods must be adopted in the design of concurrent software for distributed computing systems if the communication structure is to be free of pathologies, such as deadlock. The objective of this thesis is to provide a design environment which ensures that processes are free from deadlock. A software tool was designed and used to facilitate the production of fault-tolerant software for distributed concurrent systems. Where Occam is used as a design language then state space methods, such as Petri-nets, can be used in analysis and simulation to determine the dynamic behaviour of the software, and to identify structures which may be prone to deadlock so that they may be eliminated from the design before the program is ever run. This design software tool consists of two parts. One takes an input program and translates it into a mathematical model (Petri-net), which is used for modeling and analysis of the concurrent software. The second part is the Petri-net simulator that takes the translated program as its input and starts simulation to generate the reachability tree. The tree identifies `deadlock potential' which the user can explore further. Finally, the software tool has been applied to a number of Occam programs. Two examples were taken to show how the tool works in the early design phase for fault prevention before the program is ever run.

Ultra-long mode-locked Er-droped fibre lasers

The development of ultra-long (UL) cavity (hundreds of meters to several kilometres) mode-locked fibre lasers for the generation of high-energy light pulses with relatively low (sub-megahertz) repetition rates has emerged as a new rapidly advancing area of laser physics. The first demonstration of high pulse energy laser of this type was followed by a number of publications from many research groups on long-cavity Ytterbium and Erbium lasers featuring a variety of configurations with rather different mode-locked operations. The substantial interest to this new approach is stimulated both by non-trivial underlying physics and by the potential of high pulse energy laser sources with unique parameters for a range of applications in industry, bio-medicine, metrology and telecommunications. It is well known, that pulse generation regimes in mode-locked fibre lasers are determined by the intra-cavity balance between the effects of dispersion and non-linearity, and the processes of energy attenuation and amplification. The highest per-pulse energy has been achieved in normal-dispersion UL fibre lasers mode-locked through nonlinear polarization evolution (NPE) for self-modelocking operation. In such lasers are generated the so-called dissipative optical solitons. The uncompensated net normal dispersion in long-cavity resonatorsusually leads to very high chirp and, consequently, to a relatively long duration of generated pulses. This thesis presents the results of research Er-doped ultra-long (more than 1 km cavity length) fibre lasers mode-locked based on NPE. The self-mode-locked erbium-based 3.5-km-long all-fiber laser with the 1.7 µJ pulse energy at a wavelength of 1.55 µm was developed as a part of this research. It has resulted in direct generation of short laser pulses with an ultralow repetition rate of 35.1 kHz. The laser cavity has net normal-dispersion and has been fabricated from commercially-available telecom fibers and optical-fiber elements. Its unconventional linear-ring design with compensation for polarization instability ensures high reliability of the self-mode-locking operation, despite the use of a non polarization-maintaining fibers. The single pulse generation regime in all-fibre erbium mode-locking laser based on NPE with a record cavity length of 25 km was demonstrated. Modelocked lasers with such a long cavity have never been studied before. Our result shows a feasibility of stable mode-locked operation even for an ultra-long cavity length. A new design of fibre laser cavity – “y-configuration”, that offers a range of new functionalities for optimization and stabilization of mode-locked lasing regimes was proposed. This novel cavity configuration has been successfully implemented into a long-cavity normal-dispersion self-mode-locked Er-fibre laser. In particular, it features compensation for polarization instability, suppression of ASE, reduction of pulse duration, prevention of in-cavity wave breaking, and stabilization of the lasing wavelength. This laser along with a specially designed double-pass EDFA have allowed us to demonstrate anenvironmentally stable all-fibre laser system able to deliver sub-nanosecond high-energy pulses with low level of ASE noise.

Ensuring efficiency and robustness in MANET

This paper introduces a joint load balancing and hotspot mitigation protocol for mobile ad-hoc network (MANET) termed by us as 'load_energy balance + hotspot mitigation protocol (LEB+HM)'. We argue that although ad-hoc wireless networks have limited network resources - bandwidth and power, prone to frequent link/node failures and have high security risk; existing ad hoc routing protocols do not put emphasis on maintaining robust link/node, efficient use of network resources and on maintaining the security of the network. Typical route selection metrics used by existing ad hoc routing protocols are shortest hop, shortest delay, and loop avoidance. These routing philosophy have the tendency to cause traffic concentration on certain regions or nodes, leading to heavy contention, congestion and resource exhaustion which in turn may result in increased end-to-end delay, packet loss and faster battery power depletion, degrading the overall performance of the network. Also in most existing on-demand ad hoc routing protocols intermediate nodes are allowed to send route reply RREP to source in response to a route request RREQ. In such situation a malicious node can send a false optimal route to the source so that data packets sent will be directed to or through it, and tamper with them as wish. It is therefore desirable to adopt routing schemes which can dynamically disperse traffic load, able to detect and remove any possible bottlenecks and provide some form of security to the network. In this paper we propose a combine adaptive load_energy balancing and hotspot mitigation scheme that aims at evenly distributing network traffic load and energy, mitigate against any possible occurrence of hotspot and provide some form of security to the network. This combine approach is expected to yield high reliability, availability and robustness, that best suits any dynamic and scalable ad hoc network environment. Dynamic source routing (DSR) was use as our underlying protocol for the implementation of our algorithm. Simulation comparison of our protocol to that of original DSR shows that our protocol has reduced node/link failure, even distribution of battery energy, and better network service efficiency.

Medical emergency alarm dissemination in urban environments

During medical emergencies, the ability to communicate the state and position of injured individuals is essential. In critical situations or crowd aggregations, this may result difficult or even impossible due to the inaccuracy of verbal communication, the lack of precise localization for the medical events, and/or the failure/congestion of infrastructure-based communication networks. In such a scenario, a temporary (ad hoc) wireless network for disseminating medical alarms to the closest hospital, or medical field personnel, can be usefully employed to overcome the mentioned limitations. This is particularly true if the ad hoc network relies on the mobile phones that people normally carry, since they are automatically distributed where the communication needs are. Nevertheless, the feasibility and possible implications of such a network for medical alarm dissemination need to be analysed. To this aim, this paper presents a study on the feasibility of medical alarm dissemination through mobile phones in an urban environment, based on realistic people mobility. The results showed the dependence between the medical alarm delivery rates and both people and hospitals density. With reference to the considered urban scenario, the time needed to delivery medical alarms to the neighbour hospital with high reliability is in the order of minutes, thus revealing the practicability of the reported network for medical alarm dissemination. © 2013 Elsevier Ltd. All rights reserved.

A new sensorless speed control scheme for doubly-fed reluctance generators

This paper presents the development and experimental validation of a novel angular velocity observer-based field-oriented control algorithm for a promising low-cost brushless doubly fed reluctance generator (BDFRG) in wind power applications. The BDFRG has been receiving increasing attention because of the use of partially rated power electronics, the high reliability of brushless design, and competitive performance to its popular slip-ring counterpart, the doubly fed induction generator. The controller viability has been demonstrated on a BDFRG laboratory test facility for emulation of variable speed and loading conditions of wind turbines or pump drives.

Drying kinetic analysis of municipal solid waste using modified page model and pattern search method

This work studied the drying kinetics of the organic fractions of municipal solid waste (MSW) samples with different initial moisture contents and presented a new method for determination of drying kinetic parameters. A series of drying experiments at different temperatures were performed by using a thermogravimetric technique. Based on the modified Page drying model and the general pattern search method, a new drying kinetic method was developed using multiple isothermal drying curves simultaneously. The new method fitted the experimental data more accurately than the traditional method. Drying kinetic behaviors under extrapolated conditions were also predicted and validated. The new method indicated that the drying activation energies for the samples with initial moisture contents of 31.1 and 17.2 % on wet basis were 25.97 and 24.73 kJ mol−1. These results are useful for drying process simulation and industrial dryer design. This new method can be also applied to determine the drying parameters of other materials with high reliability.

A comparison of the spectral properties of high temperature annealed long period gratings inscribed by fs laser, UV and fusion-arc

Long period gratings have been inscribed in standard single mode fibre using a fs laser system, a fusion arc and a UV laser and a comparative study carried out of their thermal behaviour. The fs laser induced gratings can survive temperatures in excess of 800°C, however the inscription process can induce considerable birefringence within the device. Annealing studies have been carried out showing that below 600°C, all three grating types show a blue shift in their room temperature resonance wavelengths following cyclic heating, while above 600°C, the UV and arc induced LPGs exhibit a red shift, with the fs LPG showing an even stronger blue shift. High temperature annealing is also shown to considerably reduce the birefringence induced by the fs inscription process.

Annealing and temperature coefficient study of type IA fibre Bragg gratings inscribed under strain and no strain - Implications to optical fibre component reliability

The annealing properties of Type IA Bragg gratings are investigated and compared with Type I and Type IIA Bragg gratings. The transmission properties (mean and modulated wavelength components) of gratings held at predetermined temperatures are recorded from which decay characteristics are inferred. Our data show critical results concerning the high temperature stability of Type IA gratings, as they undergo a drastic initial decay at 100°C, with a consequent mean index change that is severely reduced at this temperature However, the modulated index change of IA gratings remains stable at lower annealing temperatures of 80°C, and the mean index change decays at a comparable rate to Type I gratings at 80°C. Extending this work to include the thermal decay of Type IA gratings inscribed under strain shows that the application of strain quite dramatically transforms the temperature characteristics of the Type IA grating, modifying the temperature coefficient and annealing curves, with the grating showing a remarkable improvement in high temperature stability, leading to a robust grating that can survive temperatures exceeding 180°C. Under conditions of inscription under strain it is found that the temperature coefficient increases, but is maintained at a value considerably different to the Type I grating. Therefore, the combination of Type I and IA (strained) gratings make it possible to decouple temperature and strain over larger temperature excursions.

Implications of high power losses in IR femtosecond laser inscribed fibre Bragg gratings

We report on high power issues related to the reliability of fibre Bragg gratings inscribed with an infrared femtosecond laser using the point-by-point writing method. Conventionally, fibre Bragg gratings have usually been written in fibres using ultraviolet light, either holographically or using a phase mask. Since the coating is highly absorbing in the UV, this process normally requires that the protective polymer coating is stripped prior to inscription, with the fibre then being recoated. This results in a time consuming fabrication process that, unless great care is taken, can lead to fibre strength degradation, due to the presence of surface damage. The recent development of FBG inscription using NIR femtosecond lasers has eliminated the requirement for the stripping of the coating. At the same time the ability to write gratings point-by-point offers the potential for great flexibility in the grating design. There is, however, a requirement for reliability testing of these gratings, particularly for use in telecommunications systems where high powers are increasingly being used in long-haul transmission systems making use of Raman amplification. We report on a study of such gratings which has revealed the presence of broad spectrum power losses. When high powers are used, even at wavelengths far removed from the Bragg condition, these losses produce an increase in the fibre temperature due to absorption in the coating. We have monitored this temperature rise using the wavelength shift in the grating itself. At power levels of a few watts, various temperature increases were experienced ranging from a few degrees up to the point where the buffer completely melts off the fibre at the grating site. Further investigations are currently under way to study the optical loss mechanisms in order to optimise the inscription mechanism and minimise such losses.

Reliability estimation of second life battery system power electronic topologies for grid frequency response applications

This paper is part of a project which aims to research the opportunities for the re-use of batteries after their primary use in low and ultra low carbon vehicles on the electricity grid system. One potential revenue stream is to provide primary/secondary/high frequency response to National Grid through market mechanisms via DNO's or Energy service providers. Some commercial battery energy storage systems (BESS) already exist on the grid system, but these tend to use costly new or high performance batteries. Second life batteries should be available at lower cost than new batteries but reliability becomes an important issue as individual batteries may suffer from degraded performance or failure. Therefore converter topology design could be used to influence the overall system reliability. A detailed reliability calculation of different single phase battery-to-grid converter interfacing schemes is presented. A suitable converter topology for robust and reliable BESS is recommended.

High-power widely tunable Raman fiber laser

Tunable Raman fiber lasers have attracted great interest owing to their high efficiency and reliability important for applications, such as optical fiber communications and sensing, spectroscopy, and instrument testing. Their tuning range is defined by the Raman gain bandwidth amounting to about 40 nm in telecom spectral range (∼1550 nm) for conventional silica single mode fibers (SMF). To increase the range, highly nonlinear fibers which broaden pump spectrum may be incorporated in the cavity of Raman fiber lasers, see e.g. [1]. Another approach is to involve Rayleigh scattering forming random distributed feedback in a relatively long fiber resulting in prominent flattening of the tuning curve [2]. In this paper we report on combination of these two techniques in tunable Raman fiber lasers thus providing great improvement of their output characteristics. © 2013 IEEE.

Reliability-based calibration for a mechanics-based fatigue cracking design procedure

Most pavement design procedures incorporate reliability to account for design inputs-associated uncertainty and variability effect on predicted performance. The load and resistance factor design (LRFD) procedure, which delivers economical section while considering design inputs variability separately, has been recognised as an effective tool to incorporate reliability into design procedures. This paper presents a new reliability-based calibration in LRFD format for a mechanics-based fatigue cracking analysis framework. This paper employs a two-component reliability analysis methodology that utilises a central composite design-based response surface approach and a first-order reliability method. The reliability calibration was achieved based on a number of field pavement sections that have well-documented performance history and high-quality field and laboratory data. The effectiveness of the developed LRFD procedure was evaluated by performing pavement designs of various target reliabilities and design conditions. The result shows an excellent agreement between the target and actual reliabilities. Furthermore, it is clear from the results that more design features need to be included in the reliability calibration to minimise the deviation of the actual reliability from the target reliability.

The effect of high optical power on modern fibre at 1.5 μm

Here we study the impact of high optical power, within the C-band, on the reliability of modern single mode fibre. Our experiments show that modern fibre demonstrates >10 dB higher power handling performance beyond what has previously been reported.