13465332
Using temporal logic to prototype interactive systems
15495731
The Team-Based Operation of Safety-Critical Programmable Systems in US Commercial Aviation and the UK Maritime Industries
This paper analyzes a range of incidents involving team-based interaction with safety-critical programmable systems. The incidents were submitted to NASA’s Aviation Safety Reporting System (ASRS) and to the UK Marine Accident Investigation Branch (MAIB) between December 2001 and February 2003. Our results show that incidents, which complicated the team-based operation of safety-critical, computer systems in commercial aviation, are now being reported within the UK maritime industry. This reflects the increasing use of programmable navigation and collision avoidance devices both in ferry operations and in commercial fishing. For example, many incidents in both industries now stem from operators making inappropriate assumptions about the likely behavior of co-workers and their programmable systems even though part of their task is to actively monitor those activities. Our results also show that a growing number of incidents are triggered when teams must rapidly reprogram complex, safety-critical systems in response to unpredictable changes in their operational requirements.
18914756
The Impact of Time and Place on the Operation of Mobile Computing Devices
Recent improvements in the quality and reliability of wireless communications has led to the development of a range of mobile computing devices. Many portable computers now offer modem connections through cellular and satellite telephone networks. Taxi services, emergency vehicles, domestic repair teams all now rely upon mobile links to central computing systems. In spite of these advances, a number of technical problems still affect the quality of interaction with mobile applications. Electromagnetic interference blocks radio signals. Obstacles in the line of sight can interrupt microwave and infra-red transmissions. Tracking problems frustrate the use of low-level satellites. Transmission delays affect the service provided by higher, geostationary satellites. From the users’ point of view, these problems manifest themselves as geographical constraints upon the usability of their ‘mobile’ device. This lead to delays in the transmission of critical information. These, in turn, lead to the frustration and error that often complicates the operation of mobile computer systems. In the short term, it seems unlikely that the technical limitations will be resolved. The following pages, therefore, argue that interface designers must consider means of reducing the impact of geographic allocation upon the operation of mobile computing devices.
10158972
On the Problems of Validating DesktopVR
For the last twenty years, human-computer interfaces have been dominated by two-dimensional interaction techniques. Things are changing. Techniques that were previously restricted to specialized CAD/CAM tools and immersive VR systems are now being extended to the mass market. The photo-realistic facilities offered by QuicktimeVR and the model based renderings of VRML (Virtual Reality Mark-up Language) provide sophisticated tools for interface design. As a result, three dimensional visualization techniques are being widely exploited in the financial services industry, airports and even off-shore oil production. In January 1997, there were some 2,000 VRML models on the web. By January 1998, this number had grown to over 20,000. Research in human-computer interaction has, however, lagged behind these developments. Few guidelines can be applied to support the design of desktopVR. This paper, therefore, describes three criteria that can be applied to assess the usability of these interfaces. We then go on to validate these criteria against a number of case studies. Unfortunately, it is concluded that standard measures of task performance, successful navigation and subjective satisfaction cannot easily be applied to assess the utility of 3D systems.
846602
Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems
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 development of safety-cases that can, in turn, be used to inform a formal system model, represented using Petri nets and the ICO formalism. The foundations of the approach are first detailed and then exemplified using a fatal mining accident case study.
9129216
A formal and structured approach to the use of task analysis in accident modelling
Recent work (Telford & Johnson, 1996; Johnson, 1997), 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 verified by formal reasoning. However, there are weaknesses with the formal notations used up until now. Firstly, they have not allowed the representation of all aspects of an accident or incident. For example, human factors have either not been represented or not clearly delineated from system factors. In particular, there has not been an attempt to provide a task analysis of the incident. Secondly, the notations used do not easily facilitate the system engineering concepts of modularity, encapsulation or scalability. In consequence, it is difficult to model different aspects of an accident, compose these different aspects to build up the model or make changes to parts of the model without affecting the rest of the model. The purpose of this paper is to demonstrate how a formal object-oriented specification language can be used to provide the benefits offered by an engineering approach and in particular, by using this approach, how a task analysis model can be constructed. The task analysis incorporates Hollnagel's (1993) classification of erroneous actions, so that scenarios, deriving from human error, can be reasoned about. An air accident investigation report, issued by the UK Civil Aviation Authority, is used as a case study.
8792186
Artificial Immune Systems and the Grand Challenge for Non-classical Computation
The UK Grand Challenges for Computing Research is an initiative to map out certain key areas that could be used to help drive research over the next 10–15 years. One of the identified Grand Challenges is Non-Classical Computation, which examines many of the fundamental assumptions of Computer Science, and asks what would result if they were systematically broken. In this discussion paper, we explain how the sub-discipline of Artificial Immune Systems sits squarely in the province of this particular Grand Challenge, and we identify certain key questions.
17884377
Converse to the Parter-Wiener theorem: The case of non-trees
Through a succession of results, it is known that if the graph of an Hermitian matrix A is a tree and if for some index j, @l@?@s(A)@?@s(A(j)), then there is an index i such that the multiplicity of @l in @s(A(i)) is one more than that in A. We exhibit a converse to this result by showing that it is generally true only for trees. In particular, it is shown that the minimum rank of a positive semidefinite matrix with a given graph G is =
17446260
Genetic Programming with Fitness Based on Model Checking
Model checking is a way of analysing programs and program-like structures to decide whether they satisfy a list of temporal logic statements describing desired behaviour. In this paper we apply this to the fitness checking stage in an evolution strategy for learning finite state machines. We give experimental results consisting of learning the control program for a vending machine.
2495230
Timbre interfaces using adjectives and adverbs
How can we provide interfaces to synthesis algorithms that will allow us to manipulate timbre directly, using the same timbre-words that are used by human musicians to communicate about timbre? This paper describes ongoing work that uses machine learning methods (principally genetic algorithms and neural networks) to learn (1) to recognise timbral characteristics of sound and (2) to adjust timbral characteristics of existing synthesized sounds.
12725153
Computational Engineering and Science Program at the University of Utah
The grand computational challenges in engineering and science require for their resolution a new scientific approach. As one report points out, “The use of modern computers in scientific and engineering research and development over the last three decades has led to the inescapable conclusion that a third branch of scientific methodology has been created. It is now widely acknowledged that, along with traditional experimental and theoretical methodologies, advanced work in all areas of science and technology has come to rely critically on the computational approach.” This methodology represents a new intellectual paradigm for scientific exploration and visualization of scientific phenomena. It permits a new approach to the solution of problems that were previously inaccessible.