Hazard and early warning analysis based on domain specific modeling technologies

An aim of proactive risk management strategies is the timely identification of safety related risks. One way to achieve this is by deploying early warning systems. Early warning systems aim to provide useful information on the presence of potential threats to the system, the level of vulnerability of a system, or both of these, in a timely manner. This information can then be used to take proactive safety measures. The United Nation’s has recommended that any early warning system need to have four essential elements, which are the risk knowledge element, a monitoring and warning service, dissemination and communication and a response capability. This research deals with the risk knowledge element of an early warning system. The risk knowledge element of an early warning system contains models of possible accident scenarios. These accident scenarios are created by using hazard analysis techniques, which are categorised as traditional and contemporary. The assumption in traditional hazard analysis techniques is that accidents are occurred due to a sequence of events, whereas, the assumption of contemporary hazard analysis techniques is that safety is an emergent property of complex systems. The problem is that there is no availability of a software editor which can be used by analysts to create models of accident scenarios based on contemporary hazard analysis techniques and generate computer code that represent the models at the same time. This research aims to enhance the process of generating computer code based on graphical models that associate early warning signs and causal factors to a hazard, based on contemporary hazard analyses techniques. For this purpose, the thesis investigates the use of Domain Specific Modeling (DSM) technologies. The contributions of this thesis is the design and development of a set of three graphical Domain Specific Modeling languages (DSML)s, that when combined together, provide all of the necessary constructs that will enable safety experts and practitioners to conduct hazard and early warning analysis based on a contemporary hazard analysis approach. The languages represent those elements and relations necessary to define accident scenarios and their associated early warning signs. The three DSMLs were incorporated in to a prototype software editor that enables safety scientists and practitioners to create and edit hazard and early warning analysis models in a usable manner and as a result to generate executable code automatically. This research proves that the DSM technologies can be used to develop a set of three DSMLs which can allow user to conduct hazard and early warning analysis in more usable manner. Furthermore, the three DSMLs and their dedicated editor, which are presented in this thesis, may provide a significant enhancement to the process of creating the risk knowledge element of computer based early warning systems.

Modular average case analysis: Language implementation and extension

Motivated by accurate average-case analysis, MOdular Quantitative Analysis (MOQA) is developed at the Centre for Efficiency Oriented Languages (CEOL). In essence, MOQA allows the programmer to determine the average running time of a broad class of programmes directly from the code in a (semi-)automated way. The MOQA approach has the property of randomness preservation which means that applying any operation to a random structure, results in an output isomorphic to one or more random structures, which is key to systematic timing. Based on original MOQA research, we discuss the design and implementation of a new domain specific scripting language based on randomness preserving operations and random structures. It is designed to facilitate compositional timing by systematically tracking the distributions of inputs and outputs. The notion of a labelled partial order (LPO) is the basic data type in the language. The programmer uses built-in MOQA operations together with restricted control flow statements to design MOQA programs. This MOQA language is formally specified both syntactically and semantically in this thesis. A practical language interpreter implementation is provided and discussed. By analysing new algorithms and data restructuring operations, we demonstrate the wide applicability of the MOQA approach. Also we extend MOQA theory to a number of other domains besides average-case analysis. We show the strong connection between MOQA and parallel computing, reversible computing and data entropy analysis.

Practical programming for static average-case analysis: the MOQA investigation

This work considers the static calculation of a program’s average-case time. The number of systems that currently tackle this research problem is quite small due to the difficulties inherent in average-case analysis. While each of these systems make a pertinent contribution, and are individually discussed in this work, only one of them forms the basis of this research. That particular system is known as MOQA. The MOQA system consists of the MOQA language and the MOQA static analysis tool. Its technique for statically determining average-case behaviour centres on maintaining strict control over both the data structure type and the labeling distribution. This research develops and evaluates the MOQA language implementation, and adds to the functions already available in this language. Furthermore, the theory that backs MOQA is generalised and the range of data structures for which the MOQA static analysis tool can determine average-case behaviour is increased. Also, some of the MOQA applications and extensions suggested in other works are logically examined here. For example, the accuracy of classifying the MOQA language as reversible is investigated, along with the feasibility of incorporating duplicate labels into the MOQA theory. Finally, the analyses that take place during the course of this research reveal some of the MOQA strengths and weaknesses. This thesis aims to be pragmatic when evaluating the current MOQA theory, the advancements set forth in the following work and the benefits of MOQA when compared to similar systems. Succinctly, this work’s significant expansion of the MOQA theory is accompanied by a realistic assessment of MOQA’s accomplishments and a serious deliberation of the opportunities available to MOQA in the future.

The expression and regulation of pregnancy-specific glycoproteins in the mouse

Pregnancy-Specific Glycoproteins (PSG) are the most abundant fetally expressed proteins in the maternal bloodstream at term. This multigene family are immunoglobulin superfamily members and are predominantly expressed in the syncytiotrophoblast of human placenta and in giant cells and spongiotrophoblast of rodent placenta. PSGs are encoded by seventeen genes in the mouse and ten genes in the human. Little is known about the function of this gene family, although they have been implicated in immune modulation and angiogenesis through the induction of cytokines such as IL-10 and TGFβ1 in monocytes, and more recently, have been shown to inhibit the platelet-fibrinogen interaction. I provide new information concerning the evolution of the murine Psg genomic locus structure and organisation, through the discovery of a recent gene inversion event of Psg22 within the major murine Psg cluster. In addition to this, I have performed an examination of the expression patterns of individual Psg genes in placental and non-placental tissues. This study centres on Psg22, which is the most abundant murine Psg transcript detected in the first half of pregnancy. A novel alternative splice variant transcript of Psg22 lacking the protein N1-domain was discovered, and similar to the full length isoform induces TGFβ1 in macrophage and monocytic cell lines. The identification of a bidirectional antisense long non-coding RNA transcript directly adjacent to Psg22 and its associated active local chromatin conformation, suggests an interesting epigenetic gene-specific regulatory mechanism that may be responsible for the high level of Psg22 expression relative to the other Psg family members upon trophoblast giant cell differentiation

Pregnancy-specific glycoprotein function, conservation and receptor investigation

Pregnancy-specific glycoproteins (PSGs) are highly glycosylated secreted proteins encoded by multi-gene families in some placental mammals. They are carcinoembryonic antigen (CEA) family and immunoglobulin (Ig) superfamily members. PSGs are immunomodulatory, and have been demonstrated to possess antiplatelet and pro-angiogenic properties. Low serum levels of these proteins have been correlated with adverse pregnancy outcomes. Objectives: Main research goals of this thesis were: 1). To attempt to replicate previously reported cytokine responses to PSG-treatment of immune cells and subsequently to investigate functionally important amino acids within PSG1. 2). To determine whether candidate receptor, integrin αvβ3, was a binding partner for PSG1 and to investigate whether PSG1 possessed functionality in a leukocyte-endothelial interaction assay. 3). To determine whether proteins generated from recently identified putative PSG genes in the horse shared functional properties with PSGs from other species. Outcomes: 1). Sequential domain deletion of PSG1 as well as mutation of conserved residues within the PSG1 Ndomain did not affect PSG1-induced TGF-β1. The investigated response was subsequently found to be the result of latent TGF-β1 contaminating the recombinant protein. Protein further purified by SEC to remove this showed no induction of TGF-β1. The most N-terminal glycosylation site was demonstrated to have an important role in PSG N domain secretion. PSG1 attenuated LPS-induced IL-6 and TNF-α. Investigations into signalling underpinning this proved inconclusive. 2). Integrin αvβ3 was identified as a novel PSG1 receptor mediating an as yet unknown function. Preliminary investigations into a role for PSGs as inhibitors of leukocyte endothelial interactions showed no effect by PSG1. 3). Horse PSG protein, CEACAM49, was shown to be similarly contaminated by latent TGF-β1 particle and once removed did not demonstrate TGF-β1 release. Interestingly horse PSG did show anti-platelet properties through inhibition of the plateletfibrinogen interaction as previously published for mouse and human PSGs.