Chris W. Johnson

Learn 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)
(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)
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)
Many research teams have developed mobile computing architectures to support the emergency and rescue services in a range of civil contingencies. These proposals are based on innovative technologies and show considerable creativity in the design of their user interfaces. In contrast, this paper presents lessons learned from the 2007 UK floods. Mobile(More)