Chris W. Johnson

Learn More
involving the application of formal notations to analyse accident reports has shown that the quality of these accident reports is poor, so much so that their conclusions can be misleading. The proposed solution has been to use formal notations in combination with traditional analysis to produce a report, the conclusions of which can be veriied by formal(More)
(2013) A probabilistic model checking approach to analysing reliability, availability, and maintainability of a single satellite system. A copy can be downloaded for personal non-commercial research or study, without prior permission or charge Content must not be changed in any way or reproduced in any format or medium without the formal permission of the(More)
Mishap investigations provide important information about adverse events and are intended to help avoid any recurrence of previous failures. However, the complexity of many safety critical systems poses new challenges for mishap analysis. Similarly, the recognition that many failures have complex, systemic causes has helped to widen the scope of many mishap(More)
The quality of the design of an interactive safety-critical system can be enhanced by embedding data and knowledge from past experiences. Traditionally, this involves applying scenarios, usability analysis, or the use of metrics for risk analysis. In this paper, we present an approach that uses the information from incident investigations to inform the(More)
Many safety-critical applications rely upon complex interaction between computer systems and their users. When accidents occur , regulatory bodies are called upon to investigate the causes of userèrror' and system`failure'. Reports are drawn up so that the designers and operators of future systems will not repeat pre-vious`mistakes'. These documents present(More)