Decision sight distance for highway design and traffic control requirements. Final report.

Federal Highway Administration, Office of Research, Washington, D.C.

Preliminary human factors guidelines for automated highway system designers. Volume I: guidelines for AHS designers.

Federal Highway Administration, Washington, D.C.

Human factors requirements for real-time motorist information displays. Volume 6: questionnaire survey of motorist route selection criteria. Final report.

Federal Highway Administration, Office of Research, Washington, D.C.

Human factors/medical factors related to highway safety; a bibliography.

Mode of access: Internet.

Human factors of driver-vehicle interaction in the IVHS environment. Final report.

National Highway Traffic Safety Administration, Washington, D.C.

Human factors analysis of automotive adaptive equipment for disabled drivers. Final report.

National Highway Traffic Safety Administration, Washington, D.C.

Public understanding of traffic control devices in Texas. Final report.

Texas State Department of Highways and Public Transportation, Transportation Planning Division, Austin

The timing of airport traffic control as influenced by weather and aircraft performance.

"Meteorological study sponsored by Air Navigation Development Board under Contract Cwb-8175 with the U.S. Weather Bureau."

Formal analysis of human-computer interaction using model checking

Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in human reliability assessment (HRA). This paper investigates an approach to task failure analysis based on patterns of behaviour, by contrast to more traditional event-based approaches. It considers, as a case study, a formal model of an air traffic control (ATC) system which incorporates controller behaviour. The cognitive model is formalised in the CSP process algebra. Patterns of behaviour are expressed as temporal logic properties. Then a model-checking technique is used to verify whether the decomposition of the operator's behaviour into patterns is sound and complete with respect to the cognitive model. The decomposition is shown to be incomplete and a new behavioural pattern is identified, which appears to have been overlooked in the analysis of the data provided by the experiments with the simulator. This illustrates how formal analysis of operator models can yield fresh insights into how failures may arise in interactive systems.

Air traffic controllers at work

Inscription: Verso: Gail Bassam (left) and Margaret Bellamy (right), air traffic controllers, Teterboro Airport, New Jersey.

Electrodialytic remediation of two types of air pollution control residues and their applicability in construction materials

Dissertação para obtenção do Grau de Mestre em Engenharia do Ambiente Perfil de Engenharia de Sistemas Ambientais

Objective function based fuzzy clustering in air traffic management

Data analysis, fuzzy clustering, fuzzy rules, air traffic management

Visual data analysis in air traffic management

Visual data mining, multi-dimensional scaling, POLARMAP, Sammon's mapping, clustering, outlier detection

integrated method for improving risk analysis using human factors methods and virtual reality

Magdeburg, Univ., Fak. für Informatik, Diss., 2009