Formalizing operator task analysis

Human operators are unique in their decision making capability, judgment and nondeterminism. Their sense of judgment, unpredictable decision procedures, susceptibility to environmental elements can cause them to erroneously execute a given task description to operate a computer system. Usually, a computer system is protected against some erroneous human behaviors by having necessary safeguard mechanisms in place. But some erroneous human operator behaviors can lead to severe or even fatal consequences especially in safety critical systems. A generalized methodology that can allow modeling and analyzing the interactions between computer systems and human operators where the operators are allowed to deviate from their prescribed behaviors will provide a formal understanding of the robustness of a computer system against possible aberrant behaviors by its human operators. We provide several methodology for assisting in modeling and analyzing human behaviors exhibited while operating computer systems. Every human operator is usually given a specific recommended set of guidelines for operating a system. We first present process algebraic methodology for modeling and verifying recommended human task execution behavior. We present how one can perform runtime monitoring of a computer system being operated by a human operator for checking violation of temporal safety properties. We consider the concept of a protection envelope giving a wider class of behaviors than those strictly prescribed by a human task that can be tolerated by a system. We then provide a framework for determining whether a computer system can maintain its guarantees if the human operators operate within their protection envelopes. This framework also helps to determine the robustness of the computer system under weakening of the protection envelopes. In this regard, we present a tool called Tutela that assists in implementing the framework. We then examine the ability of a system to remain safe under broad classes of variations of the prescribed human task. We develop a framework for addressing two issues. The first issue is: given a human task specification and a protection envelope, will the protection envelope properties still hold under standard erroneous executions of that task by the human operators? In other words how robust is the protection envelope? The second issue is: in the absence of a protection envelope, can we approximate a protection envelope encompassing those standard erroneous human behaviors that can be safely endured by the system? We present an extension of Tutela that implements this framework. The two frameworks mentioned above use Concurrent Game Structures (CGS) as models for both computer systems and their human operators. However, there are some shortcomings of this formalism for our uses. We add incomplete information concepts in CGSs to achieve better modularity for the players. We introduce nondeterminism in both the transition system and strategies of players and in the modeling of human operators and computer systems. Nondeterministic action strategies for players in \emph{i}ncomplete information \emph{N}ondeterministic CGS (iNCGS) is a more precise formalism for modeling human behaviors exhibited while operating a computer system. We show how we can reason about a human behavior satisfying a guarantee by providing a semantics of Alternating Time Temporal Logic based on iNCGS player strategies. In a nutshell this dissertation provides formal methodology for modeling and analyzing system robustness against both expected and erroneous human operator behaviors.

Task analysis for HMI design. Level of automation study of aircraft navigation functions

Advancements in technology have enabled increasingly sophisticated automation to be introduced into the flight decks of modern aircraft. Generally, this automation was added to accomplish worthy objectives such as reducing flight crew workload, adding additional capability, or increasing fuel economy. Automation is necessary due to the fact that not all of the functions required for mission accomplishment in today’s complex aircraft are within the capabilities of the unaided human operator, who lacks the sensory capacity to detect much of the information required for flight. To a large extent, these objectives have been achieved. Nevertheless, despite all the benefits from the increasing amounts of highly reliable automation, vulnerabilities do exist in flight crew management of automation and Situation Awareness (SA). Issues associated with flight crew management of automation include: • Pilot understanding of automation’s capabilities, limitations, modes, and operating principles and techniques. • Differing pilot decisions about the appropriate automation level to use or whether to turn automation on or off when they get into unusual or emergency situations. • Human-Machine Interfaces (HMIs) are not always easy to use, and this aspect could be problematic when pilots experience high workload situations. • Complex automation interfaces, large differences in automation philosophy and implementation among different aircraft types, and inadequate training also contribute to deficiencies in flight crew understanding of automation.

A Sense of Wonder: Enhancing Access to Folktales through Task and Facet Analysis

Discusses the approach taken in Phase 1 of a three-phase project Folktales, Facets and FRBR [funded by a grant from OCLC/ALISE]. This project works with the special collection of folktales at the Center for Children’s Books (CCB) at the University of Illinois at Urbana-Champaign, and the scholars who use this collection. The project aims to enhance the effectiveness and efficiency of folktale access through deep understanding of user needs. Phase 1 included facet analysis of the bibliographic records for a sample of 100 folktale books in the CCB, and task analysis of interviews with four CCB-affiliated faculty. Describes the information tasks, information seeking obstacles, and desired features for a discovery and access tool related to folktales for this initial group of scholarly users of folktales.

Subsidios para uma intervenção motora no contexto da deficiencia visual

Universidade Estadual de Campinas . Faculdade de Educação Física

Procedimento de ensino do tenis de campo para portadores da Sindrome de Down

Universidade Estadual de Campinas . Faculdade de Educação Física

An exploration of varieties of visual attention: ERP findings

A set of five tasks was designed to examine dynamic aspects of visual attention: selective attention to color, selective attention to pattern, dividing and switching attention between color and pattern, and selective attention to pattern with changing target. These varieties of visual attention were examined using the same set of stimuli under different instruction sets; thus differences between tasks cannot be attributed to differences in the perceptual features of the stimuli. ERP data are presented for each of these tasks. A within-task analysis of different stimulus types varying in similarity to the attended target feature revealed that an early frontal selection positivity (FSP) was evident in selective attention tasks, regardless of whether color was the attended feature. The scalp distribution of a later posterior selection negativity (SN) was affected by whether the attended feature was color or pattern. The SN was largely unaffected by dividing attention across color and pattern. A large widespread positivity was evident in most conditions, consisting of at least three subcomponents which were differentially affected by the attention conditions. These findings are discussed in relation to prior research and the time course of visual attention processes in the brain. (C) 1999 Elsevier Science B.V. All rights reserved.

Mammography equipment design: impact on radiographers’ practice

Objectives - Identify radiographers’ postures during frequent mammography procedures related to the mammography equipment and patient characteristics. Methods - A postural task analysis was performed using images acquired during the simulation of mammography positioning procedures. Simulations included craniocaudal/(CC) and mediolateral-oblique/(MLO) positioning in three different settings: radiographers and patients with similar statures, radiographers smaller than the patients and radiographers taller than the patients. Measurements of postural angles were performed by two raters using adequate software and classified according to the European Standard EN1005-4:2005 + A1:2008. Results - The simulations revealed that the most awkward posture in mammography is during the positioning of MLO projection in short-stature patients. Postures identified as causing work-related musculoskeletal disorder (WRMSD) risk were neck extension, arms elevated and the back stooped, presenting angles of 87.2, 118.6 and 63.6, respectively. If radiographers were taller than patients, then the trunk and arm postures were not acceptable. Conclusions - Working in a mammography room leads to awkward postures that can have an impact on radiographers’ health, namely WRMSDs. The results in this study showed that there are non-acceptable postures associated with frequent working procedures in mammography. MLO is the most demanding procedure for radiographer postures and may be related to WRMSDs. Mammography devices should be redesigned considering adjustability for radiographers. Main Messages: • Mammography constraints for radiographers in mammography procedures have not been well studied. • Performing mammography leads to awkward postures that can impact radiographers’ health. • MLO, the most demanding procedure for radiographers, is possibly related to WRMSDs.

Training referential communicative skills to individuals with autism spectrum disorder: a pilot study

Summary. The present study reports the effects of referential communication training in individuals formally diagnosed with autism spectrum disorder (ASD). Participants were 20 children with ASD (M age = 14.3 yr., SD = 4.2; 6 girls, 14 boys) in the role of speakers and 20 control children, who acted as listeners. They were all enrolled in mainstream compulsory education. Inclusion/exclusion criteria were defined according to the clinical diagnosis of ASD, the presence or absence of additional or associated disability, previous training in referential communication, and any drug treatment. Speakers were randomly assigned to one of two groups (trained vs untrained). Linguistic age, cognitive level, and autistic symptoms were analyzed, respectively, with the Peabody Picture Vocabulary Test (PPVT), the Wechsler Intelligence Scale (WISCR or WAISIII), and the Autistic Behavior Checklist (ABC). Communicative abilities were analyzed through two indexes related to message complexity and self-regulation. The trained group was trained in referential communication tasks (task analysis, role taking, and task evaluation), while the untrained group took part in a communicative game but without any specific communicative training. The results showed that the complexity of emitted messages had improved statistically significantly in the trained group as an effect of training. Ecological referential communication is shown to be an appropriate paradigm for studying the communicative process and its products and could be used to develop and implement a training program focused on those skills in which individuals with ASD are most deficient.

Responsiveness et changement thérapeutique au travers de l'études de cas

Le concept de responsiveness ou « responsivité » a été proposé dans le domaine de la recherche en psychothérapie pour décrire l'influence mutuelle qui s'exerce continuellement entre patient et thérapeute. La nature responsive des psychothérapies pose alors un problème majeur aux chercheurs, qui adoptent généralement des plans de recherche impliquant des liens de cause à effet et sont en échec dans leur entreprise de mieux comprendre le changement thérapeutique. L'objectif de notre travail est de proposer des pistes pour répondre à ce problème. Nous avons adopté la méthode d'étude de cas, qui permet une analyse en profondeur et en contexte des processus de changement. Dans les deux premières phases de la recherche, nous nous situions dans une approche spécifique à la recherche qualitative en psychothérapie. Nous avons tout d'abord analysé comment le changement s'effectuait chez le patient, en identifiant pas à pas le niveau d'assimilation de ses expériences problématiques. Nous avons ensuite tenté d'appréhender le rôle du thérapeute dans le processus de changement. Notre objectif était d'analyser comment la responsivité du thérapeute pouvait faciliter le processus de changement chez le patient à chaque instant de la thérapie. En suivant une procédure inspirée de l'analyse de la tâche, nous avons identifié pour chaque niveau d'assimilation des interventions thérapeutiques suivies de progression, et élaboré un modèle empirique séquentiel. Dans la troisième phase de la recherche, nous avons effectué un tournant dans notre parcours et sommes allée du côté des sciences du langage. En adoptant une approche dialogique du discours, notre objectif était d'éclairer notre objet d'étude à partir d'une nouvelle perspective et d'ouvrir la réflexion. Nous avons ainsi pu répondre à certaines limites rencontrées dans les premières phases de la recherche, et faire émerger de nouvelles questions et perspectives pour l'étude des processus de changement dans une dimension interactive. -- The concept of responsiveness was developed in psychotherapy research to describe the mutual and constant influence between patient and therapist. The responsive nature of psychotherapy is a serious problem for researchers, who generally adopt research designs involving cause-effect reasoning and fail to better understand therapeutic change. The purpose of our work is to propose some viable possibilities to respond to this problem. We chose the case study method, which enables an analysis in depth and in context of change processes. In the two first phases of research, our approach was specific to qualitative psychotherapy research. We first analyzed how change occurred in the patient, by identifying moment-by-moment the level of assimilation of his or her problematic experiences. We then tried to apprehend the therapist role in the change process. Our aim was to analyze how the therapist responsiveness could facilitate the patient change process at any moment of psychotherapy. We followed a procedure inspired by task analysis and, for each level of assimilation, we identified therapist interventions followed by progression, and elaborated an empirical sequential model. The third phase of research was a turning point, as we went in the field of linguistics. We adopted a dialogical approach of discourse to open up reflection. Thus, we could answer some limitations encountered in the first phases of research, and new questions and perspectives to study change process taking into account the interactive dimension emerged.

Therapeutic riding : learning and recovery for people with disabilities

The purpose ofthis study was to explore the process oftherapeutic riding as an experiential and holistic approach to learning and recovery for people with disabilities as perceived by the providers oftherapeutic riding. To enhance the connection between theory and practice and to suggest future research, the researcher endeavoured to develop a theory that contributed to the knowledge base oftherapeutic riding, animal-assisted therapy and education, experiential education, and experiential therapy in addition to contributing to connections among them. This topic was investigated because ofthe lack ofresearch about the process of therapeutic riding, particularly from learning and a recovery perspective. Few studies have addressed how therapeutic riding outcomes are achieved or how the therapeutic riding process actually works. This study was identified as grounded theory using qualitative data through interviews and narrative reflections with therapeutic riding providers, a researcher's journal, field notes, and written documents. Grounded theory analysis was used to analyze the qualitative data. This consisted ofdoing open, axial, and selective coding. This study provided detailed descriptions ofthe research approach, researcher's involvement, participant and site selection, data collection and analysis, methodological assumptions and limitations, credibility established, and ethical considerations. The findings ofthe data analysis revealed the theme ofrelationships as central to the learning and recovery process oftherapeutic riding for people with disabilities. The significance ofthe team relationships, the horse and rider relationship, and the providers and rider relationship was found. The essential components ofthe learning and recovery process were presented in a diagram in the selective coding phase. Goals oftherapeutic riding included psycho-education; behavioural and social; physical; and equestrian. Parts ofthe process ofhow outcomes were achieved included motivation; "opens new doors;" risk; task analysis; control; communication; and environmental factors. Outcomes of therapeutic riding included independence and mobility; confidence; and transfer abilities or skills. The implications ofthese findings for theory, practice, and further research were also. explored.

Small business collaboration through electronic marketplace

It is widely recognized that small businesses with less than 50 employees make significant contributions to the prosperity of local, regional, and national economies. They are a major source of job creation and a driving force of economic growth for developed countries like the USA (Headd, 2005; SBA, 2005), the UK (Dixon, Thompson, & McAllister, 2002; SBS, 2005), Europe (European Commission, 2003), and developing countries such as China (Bo, 2005). The economic potential is further strengthened when firms collaborate with each other; for example, formation of a supply chain, strategic alliances, or sharing of information and resources (Horvath, 2001; O’Donnell, Cilmore, Cummins, & Carson, 2001; MacGregor, 2004; Todeva & Knoke, 2005). Owing to heterogeneous aspects of small businesses, such as firm size and business sector, a single e-business solution is unlikely to be suitable for all firms (Dixon et al., 2002; Taylor & Murphy, 2004a); however, collaboration requires individual firms to adopt standardized, simplified solutions based on open architectures and data design (Horvath, 2001). The purpose of this article is to propose a conceptual e-business framework and a generic e-catalogue, which enables small businesses to collaborate through the creation of an e-marketplace. To assist with the task, analysis of data from 6,000 small businesses situated within a locality of Greater Manchester, England within the context of an e-business portal is incorporated within this study.

Usability of car stereo

Automotive sound systems vary widely in terms of functions and way of use between different brands and models what can bring difficulties and lack of consistency to the user. This study aimed to analyze the usability of car stereo commonly found in the market. Four products were analyzed by task analysis and after use reports and the results indicate serious usability issues with respect to the form of operation, organization, clarity and quality of information, visibility and readability, among others.

Abordagem da ergonomia para análise da acessibilidade a hóspedes com deficiência visual em hotéis: soluções de inclusão de pessoas cegas e com baixa visão

This study evaluates the level of accessibility for people with visual impairment (blindness and low vision) hotels in the city of Natal-RN, Brazil, and provides principles, guidelines and means of projective make hotels accessible, to promote comfort, autonomy and security of these people. We used a qualitative research methodology and quantitative trait descriptive, analytical and interpretive. Was taken as a base for field studies Ergonomic Analysis of Work, beginning with a study of the demands of accessibility of hotels and analyzing the modeling activity in these establishments through the application of interactional and observational techniques, such as film, photographic records, conversational actions and observation protocols. A protocol was developed and applied to evaluate the compliance of accessibility of hotels in the face of Brazilian technical standard NBR 9050 (2004). We used methods of Cognitive Task Analysis (CTA) associated with simulated activities to identify the processes of decision making and analyzing the observables of the activities performed by people with visual impairment (POS). Interviews were conducted with people who are blind and low vision in various cities in order to meet accessibility difficulties they faced in hotels and recommendations for improvement that they indicate. The mapping results showed that of 16 hotels 4 and 5 star studied in Natal-RN, reached only 7% of the 50 items of the protocol, while none of them reached 70% of the items. About the results obtained in simulated activities and analyzed from the ATC, we saw that the hotel where it was performed this step shows a need to adequately address the guests with visual impairments

A interferência da tarefa dupla, motora e cognitiva, no andar de pacientes com doença de Parkinson

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)