Matt Nicholson

Learn More
— This paper summarises the experience gained from application of Hazard and Operability Studies (HAZOP) and related techniques to four computer-based systems. Emphasis is placed on working practices and the integration of HAZOP-style analysis into a safety-oriented li-fecycle. Two of the case studies are described in some detail. An industrial study is(More)
Point-to-point architectures have a number of advantages over other forms of distribution: there is no shared communication media to schedule and they re-scale with the minimum of disturbance. An example of a point-to-point network is the DIA (Data Interaction Architecture). This platform has been designed specifically to support real-time applications. In(More)
Glucose is the principal energy substrate for the brain and studies have shown that the brain is able to increase glucose availability in the face of glucose starvation (neuroglycopaenia). The mechanisms, believed to be hypothalamic, that may be involved in a brain/blood glucose control system have not yet been identified. We have used novel techniques for(More)
An open distributed system is a network of computer modules upon which one or more computer applications can run and inter-communicate. Recently there has been a move to use an open distributed system, known as Integrated Modular Avionics (IMA), aboard aircraft. To fully utilise the benefits of IMA, such as incremental upgrade, a change is needed to the(More)
This paper addresses the issues of scheduling and allocation/configuration of a point-to-point parallel system, for safety-critical hard real-time systems. Three specific topics are considered: an analysable computational model that has sufficient expressive power whilst retaining flexibility for allocation; a scheduling approach that allows the worst case(More)
System safety research has a weakness in terms of evaluation. In particular, the field has a poor track record for applying appropriate research methods to the questions we wish to answer, and for evaluating the answers in a convincing way. Given changes in government and public attitudes to research funding, this will be an increasing concern in the near(More)
"They are in you and in me; they created us, body and mind; and their procreation is the ultimate rationale for our existence... they go by the name of genes, and we are their universal machine." ABSTRACT This paper addresses the issues of analysis and design synthesis of safety-critical hard real-time systems. A design emergence model is produced that(More)
Glucose release from the liver is mediated by hypothalamic norepinephrine (NE) neuronal activity, but glucose itself (or a metabolite of it) exerts negative feedback effects on central NE activity. The aim of the present study was to investigate a possible role for insulin in these central glucose homeostatic mechanisms. Computerized gas chromatography-mass(More)