Designing and Assessing Interactive Systems Using Task Models
Course Overviews
/
Palanque, Philippe
/
Marinie, Celia
Extended Abstracts of the ACM CHI'16 Conference on Human Factors in
Computing Systems
2016-05-07
v.2
p.976-979
© Copyright 2016 ACM
Summary: This two-part course takes a practical approach to introduce attendees to
the principles, methods and tools for task modelling. Part 1: A non-technical
introduction demonstrates that task models can be the corner stone of
successful design of interactive systems. Part 2: A more technical interactive
hands-on exercise of how to "do it right", such as: How to go from task
analysis to task models? How to assess (through analysis and simulation) that a
task model is correct? How to identify complexity of user tasks and how to
reduce it? How to identify tasks that are good candidate for migration either
towards automation or other users? How to take into account user errors in task
modelling? And more...
Multiple Views on Safety-Critical Automation: Aircrafts, Autonomous
Vehicles, Air Traffic Management and Satellite Ground Segments Perspectives
SIG Meetings
/
Feary, Michael
/
Martinie, Célia
/
Palanque, Philippe
/
Tscheligi, Manfred
Extended Abstracts of the ACM CHI'16 Conference on Human Factors in
Computing Systems
2016-05-07
v.2
p.1069-1072
© Copyright 2016 ACM
Summary: This SIG focuses on the engineering of automation in interactive critical
systems. Automation has already been studied in a number of (sub-) disciplines
and application fields: design, human factors, psychology, (software)
engineering, aviation, health care, games. One distinguishing feature of the
area we are focusing on is that in the field of interactive critical systems
properties such as reliability, dependability, fault-tolerance are as important
as usability, user experience or overall acceptance issues. The SIG targets at
two problem areas: first the engineering of the user interaction with (partly-)
autonomous systems: how to design, build and assess autonomous behavior,
especially in cases where there is a need to represent on the user interface
both autonomous and interactive objects. An example of such integration is the
representation of an unmanned aerial vehicle (UAV) (where no direct interaction
is possible), together with aircrafts (that have to be instructed by an air
traffic controller to avoid the UAV). Second the design and engineering of user
interaction in general for autonomous objects/systems (for example a cruise
control in a car or an autopilot in an aircraft).
Usability Aspects of the Inside-in Approach for Ancillary Search Tasks on
the Web
Evaluation Methods/Usability Evaluation
/
Winckler, Marco
/
Cava, Ricardo
/
Barboni, Eric
/
Palanque, Philippe
/
Freitas, Carla
Proceedings of IFIP INTERACT'15: Human-Computer Interaction, Part II
2015-09-14
v.2
p.211-230
Keywords: Interaction gulfs; Web search; Ancillary queries; Nested user tasks
© Copyright 2015 Springer International Publishing Switzerland
Summary: Given the huge amount of data available over the Web nowadays, search
engines become essential tools helping users to find the information they are
looking for. Nonetheless, search engines often return large sets of results
which must be filtered by the users to find the suitable information items.
However, in many cases, filtering is not enough, as the results returned by the
engine require users to perform a secondary search to complement the current
information thus featuring ancillary search tasks. Such ancillary search tasks
create a nested context for user tasks that increases the articulatory distance
between the users and their ultimate goal. In this paper, we analyze the
interplay between such ancillary searches and other primary search tasks on the
Web. Moreover, we describe the inside-in approach, which aims at reducing the
articulatory distance between interleaved tasks by allowing users to perform
ancillary search tasks without losing the context. The inside-in approach is
illustrated by means of a case study based on ancillary searches of coauthors
in a digital library, using an information visualization technique.
Enhanced Task Modelling for Systematic Identification and Explicit
Representation of Human Errors
User and Task Modelling
/
Fahssi, Racim
/
Martinie, Célia
/
Palanque, Philippe
Proceedings of IFIP INTERACT'15: Human-Computer Interaction, Part IV
2015-09-14
v.4
p.192-212
© Copyright 2015 Springer International Publishing Switzerland
Summary: Task models produced from task analysis, are a very important element of UCD
approaches as they provide support for describing users goals and users
activities, allowing human factors specialists to ensure and assess the
effectiveness of interactive applications. As user errors are not part of a
user goal they are usually omitted from tasks descriptions. However, in the
field of Human Reliability Assessment, task descriptions (including task
models) are central artefacts for the analysis of human errors. Several methods
(such as HET, CREAM and HERT) require task models in order to systematically
analyze all the potential errors and deviations that may occur. However, during
this systematic analysis, potential human errors are gathered and recorded
separately and not connected to the task models. Such non integration brings
issues such as completeness (i.e. ensuring that all the potential human errors
have been identified) or combined errors identification (i.e. identifying
deviations resulting from a combination of errors). We argue that representing
human errors explicitly and systematically within task models contributes to
the design and evaluation of error-tolerant interactive system. However, as
demonstrated in the paper, existing task modeling notations, even those used in
the methods mentioned above, do not have a sufficient expressive power to allow
systematic and precise description of potential human errors. Based on the
analysis of existing human error classifications, we propose several extensions
to existing task modelling techniques to represent explicitly all the types of
human error and to support their systematic task-based identification. These
extensions are integrated within the tool-supported notation called HAMSTERS
and are illustrated on a case study from the avionics domain.
Role of Conferences in Shaping the Field of HCI
Panels
/
Gulliksen, Jan
/
Barbosa, Simone Diniz Junqueira
/
Joshi, Anirudha
/
Lawson, Shaun
/
Palanque, Philippe
Proceedings of IFIP INTERACT'15: Human-Computer Interaction, Part IV
2015-09-14
v.4
p.637-639
Keywords: Human-computer interaction; Conferences
© Copyright 2015 Springer International Publishing Switzerland
Summary: The panel will discuss the role various conferences have played in
developing the field of HCI in academic research and industrial practice. It is
composed of people who have experience in organising HCI conferences in
different parts of the world. It provides a platform to the participants to
think and reflect about what they are doing when attending a conference, what
their expectations are and how it impacts positively their knowledge, work and
career.
IFIP WG 13.5 Workshop on Resilience, Reliability, Safety and Human Error in
System Development
Workshops
/
Johnson, Chris
/
Feary, Mike
/
Martinie, Célia
/
Palanque, Phil
/
Peldszus, Regina
Proceedings of IFIP INTERACT'15: Human-Computer Interaction, Part IV
2015-09-14
v.4
p.663-664
© Copyright 2015 Springer International Publishing Switzerland
Summary: This workshop focusses on the issues of bringing together several properties
to interactive systems. While research in the field of HCI is mainly targeting
at Usability and user experience (UX) this workshop focusses on Resilience,
Reliability and Safety. It is organized by the IFIP Working Group 13.5 on
Resilience, Reliability, Safety and Human Error in System Development. The goal
of the workshop is to bring together researchers and practitioners from these
various disciplines or their related application domains (such as nuclear,
space, aeronautics, healthcare...) to discuss real-life case studies featuring
success and/or failure stories of development processes that target resilient
interactive systems and take into reliability, safety and human errors for
interactive systems. The objective of the workshop is to produce a structured
roadmap and a research agenda for the design, construction and assessment of
resilient interactive systems.
A generic tool-supported framework for coupling task models and interactive
applications
Model-driven development
/
Martinie, Célia
/
Navarre, David
/
Palanque, Philippe
/
Fayollas, Camille
ACM SIGCHI 2015 Symposium on Engineering Interactive Computing Systems
2015-06-23
p.244-253
© Copyright 2015 ACM
Summary: Task models are a very powerful artefact describing users' goals and users'
activity and contain numerous information extremely useful for designing usable
interactive application. Indeed, task models is one of the very few means for
ensuring effectiveness of the application i.e. that the application allows
users to reach their goals and perform their tasks. Despite those advantages,
task models are usually perceived as a very expensive artefact to build that
has to be thrown away as soon as the interactive application has been designed,
i.e. right after the early stages of the design process are performed. However,
tasks models can also be of great help for instance when used to support
training material production, for training of operators and for providing tasks
and goals oriented contextual help while the interactive application is being
used ... This paper proposes a tool-supported framework for exploiting task
models throughout the development process and even when the interactive
application is deployed and used. To this end, we introduce a framework for
connecting task models to an existing, executable, interactive application. The
main contribution of the paper lies in the definition of a systematic
correspondence between the user interface elements of the interactive
application and the low level tasks in the task model. Depending on the fact
that the code of the application is available or not, the fact that the
application has been prepared at programming time for such integration or not,
we propose different alternatives to perform such correspondence (in a
tool-supported way). This task-application integration allows the exploitation
of task models at run time bringing in the benefits listed above to any
interactive application. The approach, the tools and the integration are
presented on a case study of a Flight Control Unit (FCU) used in aircraft
cockpits.
Workshop on formal methods in human computer interaction
Workshop summaries
/
Weyers, Benjamin
/
Bowen, Judy
/
Dix, Alan
/
Palanque, Philippe
ACM SIGCHI 2015 Symposium on Engineering Interactive Computing Systems
2015-06-23
p.294-295
© Copyright 2015 ACM
Summary: This workshop aims to gather active researchers and practitioners in the
field of formal methods for interactive systems. The main objective is twofold:
on one hand look at the evolutions of the definition and use of formal methods
for interactive systems since the last book on the field nearly 20 years ago
[1] following the seminal work reported in [2]. On the other hand, to identify
important themes for the next decade of research. Formal methods aid in the
design, development and evaluation of interactive systems providing the unique
opportunity for complete and unambiguous description amenable to formal
verification. The HCI community has demonstrated that the next generation of
user interfaces is moving off the desktop: these emerging interfaces exploit
novel input techniques such as tangible, haptic, camera-based, brain-computer,
interaction, present a large quantity of information possibly distributed to a
wide range of devices. In this workshop, we will discuss common themes,
conflicting approaches and techniques, and future directions for the next
generation of formal methods that will support the development of large scale
dependable and usable interactive systems.
Designing and Assessing Interactive Systems Using Task Models
Course Overviews
/
Palanque, Philippe
/
Martinie, Célia
Extended Abstracts of the ACM CHI'15 Conference on Human Factors in
Computing Systems
2015-04-18
v.2
p.2465-2466
© Copyright 2015 ACM
Summary: This two-part course takes a practical approach to introduce the principles,
methods and tools in task modelling. Part 1: A non-technical introduction
demonstrates that task models support successful design of interactive systems.
Part 2: A more technical interactive hands-on exercise of how to "do it right",
such as: How to go from task analysis to task models? How to assess (through
analysis and simulation) that a task model is correct? How to identify
complexity of user tasks?
A fault-tolerant architecture for resilient interactive systems
Systèmes critiques
/
Fayollas, Camille
/
Palanque, Philippe
/
Fabre, Jean-Charles
/
Navarre, David
/
Barboni, Eric
/
Cronel, Martin
/
Deleris, Yannick
Proceedings of the 2014 Conference of the Association Francophone
d'Interaction Homme-Machine
2014-10-28
p.80-90
© Copyright 2014 ACM
Summary: Research contributions to improve interactive systems reliability as, for
now, mainly focused towards fault occurrence prevention by removing software
bugs at development time. However, Interactive Systems complexity is so high
that whatever efforts are deployed at development time, faults and failures
occur at operation time. Root causes of such failures may be due to transient
hardware faults or (when systems are used in high atmosphere) may be so called
"natural faults" triggered by alpha particles in processors or neutrons from
cosmic radiations. This paper proposes an exhaustive identification of faults
to be handled in order to improve interactive systems reliability. As currently
no research has been carried out in the field of interactive systems to detect
and remove natural faults, this paper proposes a software architecture
providing fault-tolerant mechanisms dedicated to interactive systems. More
precisely, the paper how such architecture addresses the various component of
interactive applications namely widgets, user application and window manager.
These concepts are demonstrated through a case study from the domain of
interactive cockpits of large civil aircrafts.
Rapid Task-Models Development Using Sub-models, Sub-routines and Generic
Components
Research Papers
/
Forbrig, Peter
/
Martinie, Célia
/
Palanque, Philippe
/
Winckler, Marco
/
Fahssi, Racim
Proceedings of IFIP HCSE 2014: International Conference on Human-Centered
Software Engineering
2014-09-16
p.144-163
Keywords: Generic components; sub-models; sub-routines; task models
© Copyright 2014 IFIP
Summary: Whilst task models are perceived as critical artifacts within User Centered
Design methods, task models development is often considered as a resource and
time consuming activity. Structuring techniques can support handling issues
such as reuse and scalability and can improve analysts' productivity and the
overall quality of models. In this paper we propose (based on the notation of
the HAMSTERS project) several means to structure task models and present how
they can be used in order to increase reusability and scalability in task
models. Besides sub-models and sub-routines, generic components are described.
These mechanisms are duly illustrated within a project for the ground segments
of satellite missions. This paper shows, by example, how such elements look
like and how both readability and quality of models is improved by their use.
Fault-Tolerant User Interfaces for Critical Systems: Duplication, Redundancy
and Diversity as New Dimensions of Distributed User Interfaces
/
Fayollas, Camille
/
Martinie, Célia
/
Navarre, David
/
Palanque, Philippe
/
Fahssi, Racim
Proceedings of the 2014 Workshop on Distributed User Interfaces and
Multimodal Interaction
2014-07-01
p.6
© Copyright 2014 ACM
Summary: Assuring that operators will be able to perform their activities even
thought the interactive system exhibits failures is one of the main issues to
address when designing and implementing interactive systems in safety critical
contexts. The zero-defect approaches (usually based on formal approaches such
as [5]) try to guarantee that the interactive system will be defect free and
thus will be fully functional during operations. While this has been proved a
good mean for removing faults and bugs at development time, natural faults
(such as bit-flips due to radiations) are beyond their reach. To address this
kind of faults three main approaches are available: include fault tolerant
mechanisms such as the ones offered by self-checking user interfaces [7],
reconfigure the user interface and the interaction techniques so that part of
the operations can still take place [4] or duplicate interactive systems and
their user interfaces so that if one system fails, operation can still take
place using a redundant one. This position paper investigates this last option
connecting this redundancy approach to the concept of Distributed User
Interfaces that provide a generic framework for understanding both their
advantages and their limitations.
Multi-models-based engineering of collaborative systems: application to
collision avoidance operations for spacecraft
Collaborative environments session
/
Martinie, Célia
/
Barboni, Eric
/
Navarre, David
/
Palanque, Philippe
/
Fahssi, Racim
/
Poupart, Erwann
/
Cubero-Castan, Eliane
ACM SIGCHI 2014 Symposium on Engineering Interactive Computing Systems
2014-06-17
p.85-94
© Copyright 2014 ACM
Summary: The work presented in this paper is based on a synergistic approach [1]
integrating models of operators' tasks (described using the HAMSTERS notation)
with models of the interactive system (described using the ICO notation) they
are using. This synergistic approach makes it possible to bring together two
usually independent (but complementary) representations of the same world. Even
though supported by modeling and simulation tools, previous work in this area
was rather theoretic focusing on concepts and principles in order to articulate
this synergistic use of the models. The current article extends this line of
research to address groupware applications. These extensions are performed on
HAMSTERS notation in order to describe activities involving multiple users
dealing with information flow, knowledge they are required to master and
communication protocol (synchronous or asynchronous). Other extensions are
performed on PetShop tool (supporting the ICO notation) in order to model and
execute local and distant groupware applications. These extensions have been
brought together by a more complex synergistic module bringing the two views
together. Lastly, these extensions have been used for the modelling, design,
and construction of a groupware system dedicated to collision avoidance of
spacecraft with space debris. This case study is used to assess the
applicability of the contributions and to identify paths for future work.
Formal modelling of dynamic instantiation of input devices and interaction
techniques: application to multi-touch interactions
Touch and gesture-based UIs session
/
Hamon, Arnaud
/
Palanque, Philippe
/
Cronel, Martin
/
André, Raphaël
/
Barboni, Eric
/
Navarre, David
ACM SIGCHI 2014 Symposium on Engineering Interactive Computing Systems
2014-06-17
p.173-178
© Copyright 2014 ACM
Summary: Representing the behavior of multi-touch interactive systems in a complete,
concise and non-ambiguous way is still a challenge for formal description
techniques. Indeed, multi-touch interactive systems embed specific constraints
that are either cumbersome or impossible to capture with classical formal
description techniques. This is due to both the idiosyncratic nature of
multi-touch technology (e.g. the fact that each finger represent an input
device and that gestures are directly performed on the surface without an
additional instrument) and the high dynamicity of interactions usually
encountered in this kind of systems. This paper presents a formal description
technique able to model multi-touch interactive systems. We focus the
presentation on how to represent the dynamic instantiation of input devices
(i.e. finger) and how they can then be exploited dynamically to offer a
multiplicity of interaction techniques which are also dynamically instantiated.
An approach for supporting distributed user interface orchestration over the
Web
/
Firmenich, Sergio
/
Rossi, Gustavo
/
Winckler, Marco
/
Palanque, Philippe
International Journal of Human-Computer Studies
2014-01
v.72
n.1
p.53-76
Keywords: Distributed user interfaces
Keywords: Task and process modeling
Keywords: Web application
Keywords: Web augmentation
Keywords: Collaborative Web tasks
© Copyright 2014 Elsevier Ltd.
Summary: Currently, a lot of the tasks engaged by users over the Web involve dealing
with multiple Web sites. Moreover, whilst Web navigation was considered as a
lonely activity in the past, a large proportion of users are nowadays engaged
in collaborative activities over the Web. In this paper we argue that these two
aspects of collaboration and tasks spanning over multiple Web sites call for a
level of coordination that require Distributed User Interfaces (DUI). In this
context, DUIs would play a major role by helping multiple users to coordinate
their activities whilst working collaboratively to complete tasks at different
Web sites. For that, we propose in this paper an approach to create distributed
user interfaces featuring procedures that are aimed to orchestrate user tasks
over multiple Web sites. Our approach supports flexible process modeling by
allowing users to combine manual tasks and automated tasks from a repertoire of
patterns of tasks performed over the Web. In our approach, whilst manual tasks
can be regarded as simple instructions that tell users how to perform a task
over a Web site, automated tasks correspond to tools built under the concept of
Web augmentation (as it augments the repertoire of tasks users can perform over
the Web) called Web augmenters. Both manual and automated tasks are usually
supported by specific DOM elements available in different Web sites. Thus, by
combining tasks and DOM elements distributed in diverse Web sites our approach
supports the creation of procedures that allows seamless users interaction with
diverse Web site. Moreover, such an approach is aimed at supporting the
collaboration between users sharing procedures. The approach is duly
illustrated by a case study describing a collaborative trip planning over the
Web.
A multi-formalism approach for model-based dynamic distribution of user
interfaces of critical interactive systems
/
Martinie, Célia
/
Navarre, David
/
Palanque, Philippe
International Journal of Human-Computer Studies
2014-01
v.72
n.1
p.77-99
Keywords: Model-based approaches
Keywords: Formal description techniques
Keywords: Interactive software engineering
Keywords: Automation
Keywords: Distributed user interfaces
Keywords: Dynamic reconfiguration of user interfaces
© Copyright 2014 Elsevier Ltd.
Summary: Evolution in the context of use requires evolutions in the user interfaces
even when they are currently used by operators. User Centered Development
promotes reactive answers to this kind of evolutions either by software
evolutions through iterative development approaches or at runtime by providing
additional information to the operators such as contextual help for instance.
This paper proposes a model-based approach to support proactive management of
context of use evolutions. By proactive management we mean mechanisms in place
to plan and implement evolutions and adaptations of the entire user interface
(including behaviour) in a generic way. The approach proposed handles both
concentration and distribution of user interfaces requiring both fusion of
information into a single UI or fission of information into several ones. This
generic model-based approach is exemplified on a safety critical system from
space domain. It presents how the new user interfaces can be generated at
runtime to provide a new user interface gathering in a single place all the
information required to perform the task. These user interfaces have to be
generated at runtime as new procedures (i.e. sequences of operations to be
executed in a semi-autonomous way) can be defined by operators at any time in
order to react to adverse events and to keep the space system in operation.
Such contextual, activity-related user interfaces complement the original user
interfaces designed for operating the command and control system. The resulting
user interface thus corresponds to a distribution of user interfaces in a
focus+context way improving usability by increasing both efficiency and
effectiveness.
Proposta de um framework para visualização de dados agregados
por similaridade para auxiliar consultas durante a navegação na
web
Information visualization
/
D'Agostini, Caio
/
Cava, Ricardo
/
Dorneles, Carina F.
/
Firmenich, Sergio
/
Freitas, Carla M. D. S.
/
Palanque, Philippe
/
Winckler, Marco
Proceedings of the 2013 Brazilian Symposium on Human Factors in Computing
Systems
2013-10-08
p.148-157
© Copyright 2013 SBC
Languages: Portuguese
Summary: In the last decade, several specialized tools have been created upon
similarity functions that, given a keyword and a context, determine the degree
of similarity (or probability) that information in a dataset corresponds to the
user's query. Quite often such tools are meant for experts and require training
and knowledge on the application domain to be used. However, given the huge
amount of information available on the Web, resolving ambiguities becomes a
daily task for most users. In this paper, we present a technique for embedding
into a Web browser tools for solving ambiguities between keywords that users
might found while navigating the Web. A prototype illustrating such techniques
has been developed as a proof of concept. The tool presents the degree of
similarity directly on Web pages as a contextual help menu. The overall
approach includes different datasets and similarity functions and is flexible
enough to support extensions for covering additional contexts of use.
Extending procedural task models by systematic explicit integration of
objects, knowledge and information
Cognitive & socio-cognitive models
/
Martinie, Célia
/
Palanque, Philippe
/
Ragosta, Martina
/
Fahssi, Racim
Proceedings of the 2013 Annual European Conference on Cognitive Ergonomics
2013-08-26
p.23
© Copyright 2013 ACM
Summary: Task analysis can be considered as a fundamental component of user centered
design methods as it provides a unique way of analyzing in a systematic way
users' roles and activities. A widely used way of storing the information
gathered during that phase in a structured and exhaustive way is to build task
models which are then amenable to verification of properties or to performance
evaluation. In widely used notations such as Hierarchical Task Analysis (HTA)
or CTT (Concur Task Tree), information or objects manipulated by the users
while performing the tasks does not receive a similar treatment as the
sequencing of tasks which is usually carefully and exhaustively described. This
paper proposes a systematic account for the various concepts manipulated by the
users while performing tasks. Such concepts include different types of
knowledge (declarative, situational, procedural and strategic), objects
(manipulated by the user) and information. These concepts are systematically
represented in a set of extensions of the HAMSTERS notation allowing the
analysis of concepts-related properties such as learning curve, complexity,
information workload,... We demonstrate the application of the approach on the
example of a two players game making explicit the connection between these
extended task models and the user interface of the game.
Tuning an HCI Curriculum for Master Students to Address Interactive Critical
Systems Aspects
HCI and Human Centred Design
/
Galindo, Michel
/
Martinie, Célia
/
Palanque, Philippe
/
Winckler, Marco
/
Forbrig, Peter
HCI International 2013: 15th International Conference on HCI, Part I:
Human-Centred Design Approaches, Methods, Tools, and Environments
2013-07-21
v.1
p.51-60
© Copyright 2013 Springer-Verlag
Summary: This paper presents the need for specific curricula in order to address the
training of specialists in the area of Interactive Critical Systems. Indeed,
while curricula are usually built in order to produce specialists in one
discipline (e.g. computer science) dealing with systems or products requires
training in multiple disciplines. The area of Interactive Critical Systems
requires deep knowledge in computer science, dependability, Human-Computer
Interaction and safety engineering. We report in this paper how these various
disciplines have been integrated in a master program at Université
Toulouse III, France and highlight the carrier paths followed by the graduated
students and how these carriers are oriented towards aeronautics and space
application domains.
V&V of Lexical, Syntactic and Semantic Properties for Interactive
Systems through Model Checking of Formal Description of Dialog
User Interface Design and Development Methods and Environments
/
Brat, Guillaume
/
Martinie, Célia
/
Palanque, Philippe
HCI International 2013: 15th International Conference on HCI, Part I:
Human-Centred Design Approaches, Methods, Tools, and Environments
2013-07-21
v.1
p.290-299
© Copyright 2013 Springer-Verlag
Summary: During early phases of the development of an interactive system, future
system properties are identified (through interaction with end users in the
brainstorming and prototyping phase of the application, or by other
stakeholders) imposing requirements on the final system. They can be specific
to the application under development or generic to all applications such as
usability principles. Instances of specific properties include visibility of
the aircraft altitude, speed...in the cockpit and the continuous possibility of
disengaging the autopilot in whatever state the aircraft is. Instances of
generic properties include availability of undo (for undoable functions) and
availability of a progression bar for functions lasting more than four seconds.
While behavioral models of interactive systems using formal description
techniques provide complete and unambiguous descriptions of states and state
changes, it does not provide explicit representation of the absence or presence
of properties. Assessing that the system that has been built is the right
system remains a challenge usually met through extensive use and acceptance
tests. By the explicit representation of properties and the availability of
tools to support checking these properties, it becomes possible to provide
developers with means for systematic exploration of the behavioral models and
assessment of the presence or absence of these properties. This paper proposes
the synergistic use two tools for checking both generic and specific properties
of interactive applications: Petshop and Java PathFinder. Petshop is dedicated
to the description of interactive system behavior. Java PathFinder is dedicated
to the runtime verification of Java applications and as an extension dedicated
to User Interfaces. This approach is exemplified on a safety critical
application in the area of interactive cockpits for large civil aircrafts.
Formal description of multi-touch interactions
Gesture, multi-touch, tangibles, and speech
/
Hamon, Arnaud
/
Palanque, Philippe
/
Silva, José Luís
/
Deleris, Yannick
/
Barboni, Eric
ACM SIGCHI 2013 Symposium on Engineering Interactive Computing Systems
2013-06-24
p.207-216
© Copyright 2013 ACM
Summary: The widespread use of multi-touch devices and the large amount of research
that has been carried out around them has made this technology mature in a very
short amount of time. This makes it possible to consider multi-touch
interactions in the context of safety critical systems. Indeed, beyond this
technical aspect, multi-touch interactions present significant benefits such as
input-output integration, reduction of physical space, sophisticated
multi-modal interaction? However, interactive cockpits belonging to the class
of safety critical systems, development processes and methods used in the mass
market industry are not suitable as they usually focus on usability and user
experience factors upstaging dependability. This paper presents a
tool-supported model-based approach suitable for the development of interactive
systems featuring multi-touch interactions techniques. We demonstrate the
possibility to describe touch interaction techniques in a complete and
unambiguous way and that the formal description technique is amenable to
verification. The capabilities of the notation is demonstrated over two
different interaction techniques (namely Pitch and Tap and Hold) together with
a software architecture explaining how these interaction techniques can be
embedded in an interactive application.
The role of engineering work in CHI
SIGs
/
Palanque, Philippe
/
Paternò, Fabio
/
Nichols, Jeffrey
/
Nunes, Nuno J.
/
Myers, Brad A.
Extended Abstracts of ACM CHI'13 Conference on Human Factors in Computing
Systems
2013-04-27
v.2
p.2477-2480
© Copyright 2013 ACM
Summary: The Engineering community faces a number of issues around its role in the
larger CHI community and its contribution to SIGCHI-sponsored conferences. This
SIG aims to stimulate discussion and attention on the work of researchers
interested in the engineering aspects of HCI. It is the forum to report
progress on key issues, identify objectives for the near future, and develop
plans to address them.
Workshop on engaging the human-computer interaction community with public
policymaking internationally
Workshop summaries
/
Lazar, Jonathan
/
Barbosa, Simone
/
Gulliksen, Jan
/
McEwan, Tom
/
Normand, Loic Martinez
/
Palanque, Philippe
/
Prates, Raquel
/
Tsai, Janice
/
Winckler, Marco
/
Wulf, Volker
Extended Abstracts of ACM CHI'13 Conference on Human Factors in Computing
Systems
2013-04-27
v.2
p.3279-3282
© Copyright 2013 ACM
Summary: There is an increasing interest in the intersection of human-computer
interaction and public policy. This day-long workshop will examine successes
and challenges related to public policy and human computer interaction, in
order to provide a forum to create a baseline of examples, and to start the
process of writing a white paper on the topic.
A Design Process for Exhibiting Design Choices and Trade-Offs in
(Potentially) Conflicting User Interface Guidelines
Full Papers
/
Masip, Llúcia
/
Martinie, Célia
/
Winckler, Marco
/
Palanque, Philippe
/
Granollers, Toni
/
Oliva, Marta
Proceedings of IFIP HCSE'12: Human-Centered Software Engineering
2012-10-29
p.53-71
Keywords: user interface guidelines; guidelines management; design rationale
© Copyright 2012 IFIP
Summary: In the last decades a huge amount of knowledge about user interface design
has been gathered in the form of guidelines. Quite often, guidelines are
compiled according to user interface properties (e.g. usability, accessibility)
and/or application domains (e.g. Web, mobile). In many situations designers
have to combine several guideline sets in order to address the specific
application domain and the desired set of properties corresponding to the
application under consideration. Despite the fact that the problems related to
the selection of guidelines from different sources are not new, the occurrence
and management of conflicting guidelines are poorly documented leaving
designers with little help in order to handle conflicts in a rationale and
consistent way. In this paper we revise the questions related to selection and
management of conflicting guidelines and we propose a systematic approach based
on design rationale tools and techniques for exhibiting choices and trade-offs
when combining different guidelines sets. This paper illustrates how such as an
approach can also be used to deepen the knowledge on the use of user interface
guidelines recording decisions across projects in an iterative way.
A Development Process for Usable Large Scale Interactive Critical Systems:
Application to Satellite Ground Segments
Full Papers
/
Martinie, Célia
/
Palanque, Philippe
/
Navarre, David
/
Barboni, Eric
Proceedings of IFIP HCSE'12: Human-Centered Software Engineering
2012-10-29
p.72-93
Keywords: Software engineering; formal methods; task modeling; safety management;
model-based design; training
© Copyright 2012 IFIP
Summary: While a significant effort is being undertaken by the Human-Computer
Interaction community in order to extend current knowledge about how users
interact with computing devices and how to design and evaluate new interaction
techniques, very little has been done to improve the reliability of software
offering such interaction techniques. However, malfunctions and failures occur
in interactive systems leading to incidents or accidents that, in aviation for
instance, are [22] 80% of the time attributed to human error demonstrating the
inadequacy between the system and its operators. As an error may have a huge
impact on human life, strong requirements are usually set both on the final
system and on the development process itself. Interactive safety-critical
systems have to be designed taking into account on an equal basis several
properties including usability, reliability and operability while their
associated design process is required to handle issues such as scalability,
verification, testing and traceability. However, software development solutions
in the area of critical systems are not adequate leading to defects especially
when the interactive aspects are considered. Additionally, the training program
development is always designed independently from the system development
leading to operators trained with inadequate material. In this paper we propose
a new iterative design process embedding multiple design and modeling
techniques (both formal and informal) advocated by HCI and dependable computing
domains. These techniques have been adapted and tuned for interactive systems
and are used in a synergistic way in order to support the integration of
factors such as usability, dependability and operability and at the same time
in order to deal with scalability, verification and traceability.
