Search Results - "Palanque, P."
-
1
Design and evaluation of braced touch for touchscreen input stabilisation
Published in International journal of human-computer studies (01-02-2019)“…•Introduces and analyses the design of Braced Touch for touch input stabilisation during vibration.•Describes an empirical validation of Braced Touch using…”
Get full text
Journal Article -
2
Engineering issues related to the development of a recommender system in a critical context: Application to interactive cockpits
Published in International journal of human-computer studies (01-01-2019)“…•Identification of requirements for engineering critical recommender systems.•Presentation of a generic software architecture for recommender systems.•Proposal…”
Get full text
Journal Article -
3
Task Model-Based Systematic Analysis of Both System Failures and Human Errors
Published in IEEE transactions on human-machine systems (01-04-2016)“…The overall dependability of an interactive system is one of its weakest components, which is usually its user interface. The presented approach integrates…”
Get full text
Journal Article -
4
Formal socio-technical barrier modelling for safety-critical interactive systems design
Published in Safety science (01-06-2007)“…This paper presents a three step approach to improve safety in the field of interactive systems. The approach combines, within a single framework, previous…”
Get full text
Journal Article Conference Proceeding -
5
Multidisciplinary perspective on accident investigation
Published in Reliability engineering & system safety (01-12-2006)“…The increasing complexity of many computer-controlled application processes is placing increasing demands on the investigation of adverse events. At the same…”
Get full text
Journal Article -
6
A Visual and Formal Glue between Application and Interaction
Published in Journal of visual languages and computing (01-10-1999)“…The construction of interactive software is known to be a difficult task. As far as the non-interactive part of the application is concerned, designers can…”
Get full text
Journal Article -
7
An Approach for Assessing the Impact of Dependability on Usability: Application to Interactive Cockpits
Published in 2014 Tenth European Dependable Computing Conference (01-05-2014)“…A cockpit (also called flight deck) is an interactive environment of an aircraft which enables both pilot and first officer to monitor the aircraft systems and…”
Get full text
Conference Proceeding -
8
Task-model based assessment of automation levels: Application to space ground segments
Published in 2011 IEEE International Conference on Systems, Man, and Cybernetics (01-10-2011)“…Designing systems in such a way that as much functions as possible are automated has been the driving direction of research and engineering in aviation, space…”
Get full text
Conference Proceeding -
9
Multidisciplinary perspective on accident investigation: Complexity in design and engineering
Published in Reliability engineering & system safety (2006)Get full text
Journal Article -
10
A tool-supported design framework for safety critical interactive systems
Published in Interacting with computers (01-06-2003)“…This paper presents a design framework for safety critical interactive systems, based on a formal description technique called the ICO (Interactive Cooperative…”
Get full text
Journal Article -
11
A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics
Published in 2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing (01-11-2014)“…Engineering interactive systems for safety critical applications such as in avionic digital cockpits (and more generally Graphical User interfaces) is a…”
Get full text
Conference Proceeding -
12
Synergistic modelling of tasks, users and systems using formal specification techniques
Published in Interacting with computers (01-10-1997)“…This paper aims at clarifying the articulation between the task models and system models encountered in CHI design practices. We demonstrate how the use of a…”
Get full text
Journal Article -
13
Design, specification, and verification of interactive systems (workshop session)
Published in International Conference on Software Engineering: Proceedings of the 22nd international conference on Software engineering; 04-11 June 2000 (01-01-2000)“…Design, Specification and Verification of Interactive Systems (DSV-IS) is an international Workshop organized every year since 1994. The 7th DSV-IS aims to…”
Get full text
Conference Proceeding Journal Article -
14
A formal notation and tool for the engineering of CORBA systems
Published in Concurrency (Chichester, England.) (10-12-2000)“…CORBA is a standard proposed by the Object Management Group (OMG) in order to promote interoperability between distributed object systems. CORBA provides a…”
Get full text
Journal Article -
15
Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques
Published in 2011 IEEE 17th Pacific Rim International Symposium on Dependable Computing (01-12-2011)“…In the last few years, glass cockpits are being replaced by interactive cockpits to provide a higher level of integration of both command and information…”
Get full text
Conference Proceeding -
16
A Formal Description Technique for Interactive Cockpit Applications Compliant with ARINC Specification 661
Published in 2007 International Symposium on Industrial Embedded Systems (01-07-2007)“…The purpose of the ARINC specification 661 is to define interfaces to a cockpit display system (CDS) targeting new aircraft installations. ARINC 661 provides…”
Get full text
Conference Proceeding -
17
Gaining Assurance in a Voter-Verifiable Voting System
Published in 2009 Second International Conference on Dependability (01-06-2009)“…The literature on e-voting systems has many examples of discussion of the correctness of the computer and communication algorithms of such systems, as well as…”
Get full text
Conference Proceeding -
18
Model-based framework for addressing diversity, usability and reliability for safety critical interactive systems
Published in 2nd IET International Conference on System Safety 2007 (2007)“…This paper proposes a notation and an architecture for the management of failure on input devices for safety critical interactive systems. This management of…”
Get full text
Conference Proceeding -
19
A model-based tool for interactive prototyping of highly interactive applications
Published in Proceedings 12th International Workshop on Rapid System Prototyping. RSP 2001 (2001)“…This paper presents a case tool supporting the ICO (Interactive Cooperative Object) formalism. This formalism allows for describing, in a formal way, highly…”
Get full text
Conference Proceeding -
20
Formal support for the engineering of CORBA-based distributed object systems
Published in Proceedings of the International Symposium on Distributed Objects and Applications (1999)“…We present a CASE tool based on an object oriented Petri net dialect called Cooperative Objects, dedicated to the design of CORBA systems. The notation is used…”
Get full text
Conference Proceeding