Fibre components and systems for mid-IR applications

Fibre-optic components and systems are used in a wide variety of industrial, medical and communication applications and can be found in use everywhere in the modern world, from the bottom of the ocean to satellites in orbit. The field of fibre optics has seen rapid growth in the past few decades to become an essential enabling technology. However, much more work is needed to develop components and systems that can work at wavelengths in the short-wavelength infrared (SWIR) / mid-IR part of the spectrum (defined in this work as 1.5 – 4.5.

Probabilistic verification of satellite systems for mission critical applications

In this thesis, we present a quantitative approach using probabilistic verification techniques for the analysis of reliability, availability, maintainability, and safety (RAMS) properties of satellite systems. The subject of our research is satellites used in mission critical industrial applications. A strong case for using probabilistic model checking to support RAMS analysis of satellite systems is made by our verification results. This study is intended to build a foundation to help reliability engineers with a basic background in model checking to apply probabilistic model checking to small satellite systems. We make two major contributions. One of these is the approach of RAMS analysis to satellite systems. In the past, RAMS analysis has been extensively applied to the field of electrical and electronics engineering. It allows system designers and reliability engineers to predict the likelihood of failures from the indication of historical or current operational data. There is a high potential for the application of RAMS analysis in the field of space science and engineering. However, there is a lack of standardisation and suitable procedures for the correct study of RAMS characteristics for satellite systems. This thesis considers the promising application of RAMS analysis to the case of satellite design, use, and maintenance, focusing on its system segments. Data collection and verification procedures are discussed, and a number of considerations are also presented on how to predict the probability of failure. Our second contribution is leveraging the power of probabilistic model checking to analyse satellite systems. We present techniques for analysing satellite systems that differ from the more common quantitative approaches based on traditional simulation and testing. These techniques have not been applied in this context before. We present the use of probabilistic techniques via a suite of detailed examples, together with their analysis. Our presentation is done in an incremental manner: in terms of complexity of application domains and system models, and a detailed PRISM model of each scenario. We also provide results from practical work together with a discussion about future improvements.

Convergent evolution of PICIs-mediated phage interference

Staphylococcal pathogenicity islands (SaPIs), the prototype members of the family of phage inducible chromosomal islands (PICIs), are extremely mobile phage satellites, which are transferred between bacterial hosts after their induction by a helper phage. The intimate relationship between SaPIs and their helper phages is one of the most studied examples of virus satellite interactions in prokaryotic cells. SaPIs encode and disseminate virulence and fitness factors, representing a driving force for bacterial adaptation and pathogenesis. Many SaPIs encode a conserved morphogenetic operon, including a core set of genes whose function allows them to parasitize and exploit the phage life cycle. One of the central mechanisms of this molecular piracy is the specific packaging of the SaPI genomes into reduced sized capsid structures derived from phage proteins. Pac phages were classically thought to be the only phages involved in the mobilisation of phage-mediated virulence genes, including the transfer of SaPIs within related and non-related bacteria. This study presents the involvement of S. aureus cos phages in the intra- and intergeneric transfer of cos SaPIs for the first time. A novel example of molecular parasitism is shown, by which this newly characterised group of cos SaPIs uses two distinct and complementary mechanisms to take over the helper phage packaging machinery for their own reproduction. SaPIbov5, the prototype of the cos SaPIs, does not encode the characteristic morphogenetic operon found in pac SaPIs. However, cos SaPIs features both pac and cos phage cleavage sequences in their genome, ensuring SaPI packaging in small- and full-sized phage particles, depending on the helper phage. Moreover, cos-site packaging in S. aureus was shown to require the activity of a phage HNH nuclease. The HNH protein functions together with the large terminase subunit, triggering cleavage and melting of the cos-site sequence. In addition, a novel piracy strategy, severely interfering with the helper phage reproduction, was identified in cos SaPIs and characterised. This mechanism of piracy depends on the cos SaPI-encoded ccm gene, which encodes a capsid protein involved in the formation of small phage particles, modifying the assembling process via a scaffolding mechanism. This strategy resembles the ones described for pac SaPIs and represents a remarkable example of convergent evolution. A further convergent mechanism of capsid size-reduction was identified and characterised for the Enterococcus faecalis EfCIV583 pathogenicity island, another member of the PICI family. In this case, the self-encoded CpmE conducts this molecular piracy through a putative scaffolding function. Similar to cos SaPIs, EfCIV583 carries the helper phage cleavage sequence in its genome enabling its mobilisation by the phage terminase complex. The results presented in this thesis show how two examples of non-related members of the PICI family follow the same evolutionary convergent strategy to interfere with their helper phage. These findings could indicate that the described strategies might be widespread among PICIs and implicate a significant impact of PICIs mediated-virulence gene transfer in bacterial evolution and the emergence of pathogenic bacteria.