12 results on '"Interactive software engineering"'
Search Results
2. A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems
- Author
-
Navarre, David, Palanque, Philippe, Basnyat, Sandra, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Harrison, Michael D., editor, and Sujan, Mark-Alexander, editor
- Published
- 2008
- Full Text
- View/download PDF
3. A multi-formalism approach for model-based dynamic distribution of user interfaces of critical interactive systems.
- Author
-
Martinie, Célia, Navarre, David, and Palanque, Philippe
- Subjects
- *
DYNAMICAL systems , *USER interfaces , *INTERACTIVE computer systems , *CONTEXTUAL analysis , *INFORMATION theory , *COMPUTER software development - Abstract
Abstract: 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. [Copyright &y& Elsevier]
- Published
- 2014
- Full Text
- View/download PDF
4. Designing for resilience to hardware failures in interactive systems: A model and simulation-based approach
- Author
-
Navarre, David, Palanque, Philippe, Barboni, Eric, Ladry, Jean-François, and Martinie, Célia
- Subjects
- *
HARDWARE , *SIMULATION methods & models , *PRODUCT attributes , *MATHEMATICAL notation , *COMPUTER interfaces , *SOFTWARE engineering - Abstract
Abstract: The paper proposes a formal description technique and a supporting tool that provide a means to handle both static and dynamic aspects of input and output device configurations and reconfigurations. More precisely, in addition to the notation, the paper proposes an architecture for the management of failure on input and output devices by means of reconfiguration of in/output device configuration and interaction techniques. Such reconfiguration aims at allowing operators to continue interacting with the interactive system even though part of the hardware side of the user interface is failing. These types of problems arise in domains such as command and control systems where the operator is confronted with several display units. The contribution presented in the paper thus addresses usability issues (improving the ways in which operators can reach their goals while interacting with the system) by increasing the reliability of the system using diverse configuration both for input and output devices. [Copyright &y& Elsevier]
- Published
- 2011
- Full Text
- View/download PDF
5. ICOs: A Model-Based User Interface Description Technique dedicated to Interactive Systems Addressing Usability, Reliability and Scalability.
- Author
-
Navarre, David, Palanque, Philippe, Ladry, Jean-Francois, and Barboni, Eric
- Subjects
IDL (Computer program language) ,USER interfaces ,COMPUTER software ,SOFTWARE engineering ,INTERACTIVE computer systems ,HUMAN-computer interaction - Abstract
The design of real-life complex systems calls for advanced software engineering models, methods, and tools in order to meet critical requirements such as reliability, dependability, safety, or resilience that will avoid putting the company, the mission, or even human life at stake. When such systems encompass a substantial interactive component, the same level of confidence is required towards the human-computer interface. Conventional empirical or semiformal techniques, although very fruitful, do not provide sufficient insight on the reliability of the human-system cooperation, and offer no easy way to, for example, quantitatively and qualitatively compare two design options with respect to that reliability. The aim of this article is to present a user interface description language (called ICOs) for the engineering and development of usable and reliable user interfaces. The CASE tool supporting the ICOs notation (called Petshop) is a Petri nets-based-tool for the design, specification, prototyping, and validation of interactive software. In that environment models (built with the formal description technique ICOs) of the interactive application can be interactively modified and executed. This is used to support prototyping phases (when the models and the interactive application evolve significantly to meet late user requirements, for instance) as well as the operation phase (after the system is deployed). The use of ICOs and PetShop is presented on several large-scale systems such as a multimodal ground segment application for satellite control, an air traffic control interactive application, and an application for new generation of interactive cockpits in large civil aircraft such as Airbus A380 or Boeing 787. The article emphasizes the demonstration of the expressive power of the notation and how it can support the description of various aspects of user interfaces, namely interaction techniques (both WIMP and post-WIMP), interactive components (such as widgets), and the behavioral part of interactive applications such as the dialog and the functional core. It also demonstrates that PetShop provides dedicated support for prototyping activities of behavioral aspects at the various levels of the architecture of interactive systems. While the focus is on past work done on various large-scale applications, the article also highlights why and how ICOs and Petshop are able to address challenges raised by next-generation user interfaces. [ABSTRACT FROM AUTHOR]
- Published
- 2009
- Full Text
- View/download PDF
6. Developer promotes object reliability
- Author
-
King, Peter
- Published
- 1991
7. Fault-Tolerant User Interfaces for Critical Systems: Duplication, Redundancy and Diversity as New Dimensions of Distributed User Interfaces
- Author
-
Célia Martinie, Camille Fayollas, David Navarre, Racim Fahssi, Philippe Palanque, Interactive Critical Systems (IRIT-ICS), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique (LAAS-TSF), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), and Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J)
- Subjects
distributed user interfaces ,Computer science ,Distributed computing ,05 social sciences ,020207 software engineering ,Fault tolerance ,Defect free ,02 engineering and technology ,interactive software engineering ,User interface design ,fault-tolerance ,Model-Based approaches ,formal description techniques ,0202 electrical engineering, electronic engineering, information engineering ,Redundancy (engineering) ,Position paper ,0501 psychology and cognitive sciences ,[INFO]Computer Science [cs] ,User interface ,050107 human factors - Abstract
International audience; 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.
- Published
- 2014
- Full Text
- View/download PDF
8. A multi-formalism approach for model-based dynamic distribution of user interfaces of critical interactive systems
- Author
-
David Navarre, Philippe Palanque, Célia Martinie, Interactive Critical Systems (IRIT-ICS), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Institut National Polytechnique de Toulouse - INPT (FRANCE), Centre National de la Recherche Scientifique - CNRS (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), and Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
- Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR] ,Computer science ,Human Factors and Ergonomics ,02 engineering and technology ,[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE] ,User requirements document ,Distributed user interfaces ,Interface homme-machine ,Education ,Model-based approaches ,Automation ,[INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR] ,Software ,Human–computer interaction ,Architectures Matérielles ,020204 information systems ,0202 electrical engineering, electronic engineering, information engineering ,Génie logiciel ,0501 psychology and cognitive sciences ,[INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC] ,H- INFORMATIQUE ,050107 human factors ,Focus (computing) ,Interactive software engineering ,business.industry ,Natural user interface ,User modeling ,05 social sciences ,General Engineering ,Usability ,Post-WIMP ,16. Peace & justice ,Modélisation et simulation ,Systèmes embarqués ,Dynamic reconfiguration of user interfaces ,[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation ,User interface design ,Human-Computer Interaction ,Formal description techniques ,Hardware and Architecture ,Cryptographie et sécurité ,[INFO.INFO-ES]Computer Science [cs]/Embedded Systems ,User interface ,business - Abstract
International audience; 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.
- Published
- 2014
- Full Text
- View/download PDF
9. Model-based dynamic distribution of user interfaces of critical interactive systems
- Author
-
David Navarre, Martina Ragosta, Philippe Palanque, Célia Martinie, Alberto Pasquini, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), and DEEP BLUE (ITALY)
- Subjects
Focus (computing) ,Interactive software engineering ,Natural user interface ,Computer science ,business.industry ,User modeling ,Usability ,Post-WIMP ,Modélisation et simulation ,Distributed user interfaces ,Systèmes embarqués ,Interface homme-machine ,Dynamic reconfiguration of user interfaces ,User interface design ,Model-based approaches ,Formal description techniques ,Automation ,Human–computer interaction ,Magic pushbutton ,Architectures Matérielles ,Cryptographie et sécurité ,Génie logiciel ,User interface ,business - Abstract
Evolution in the context of use requires evolutions in the user interfaces even when they are currently used by operators. 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. This generic model-based approach is exemplified on a safety critical system from the 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 rocedures (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 increasing efficiency and effectiveness.
- Published
- 2013
10. Model-Based Usability Evaluation and Analysis of Interactive Techniques
- Author
-
Ladry, Jean-François, Palanque, Philippe, Barboni, Eric, Navarre, David, Grélaud, Françoise, Van den Bergh, Jan, Sauer, Stefan, Breiner, Kai, Hußmann, Heinrich, and Meixner, Gerrit
- Subjects
multimodal interfaces ,Model-Based approaches ,formal description techniques ,[INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE] ,interactive software engineering ,tuning ,performance evaluation - Abstract
This position paper presents a model based approach supporting development of advanced user interfaces for the design, simulation, tuning and the assessment of interaction techniques. It is based on a double concept: the introduction of additional information in models to allow designer to tune easily the interaction technique and the use of simulation and logging facilities to assess performance evaluation of the models. It proposes an alternative to user testing which is very difficult to setup and interpret when advanced interaction techniques are concerned.
- Published
- 2010
11. A Formal Description Technique for the Behavioural Description of Interactive Applications Compliant with ARINC Specification 661
- Author
-
Barboni, Eric, Navarre, David, Palanque, Philippe, Basnyat, Sandra, Interactive Critical Systems (IRIT-ICS), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Université Toulouse III - Paul Sabatier (UT3), Logiciels Interactifs et Interaction Homme-Système (IRIT-LIIHS), and European Project: IST-4-026764-NOE,ReSIST
- Subjects
formal description techniques ,ARINC 661 specification ,interactive software engineering ,[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE] ,Interactive Cockpits - Abstract
International audience; The purpose of the ARINC specification 661 is to define interfaces to a cockpit display system (CDS) targeting new aircraft installations. ARINC 661 provides precise information for communication protocols between application and user interface components (called widgets) as well as precise information about the widgets themselves. However, no information is given on the behavior of these widgets and on the behavior of an application made up of a set of such widgets. This paper presents a formal description technique called interactive cooperative objects to define in a precise and non-ambiguous way such behaviors. This description technique also defines the relationships between the behavioral description and the user interface. We show the benefits of such a notation for the specification of interactive cockpit applications and we introduce each modeling concept on a small example.
- Published
- 2007
- Full Text
- View/download PDF
12. Model-based framework for addressing diversity, usability and reliability for safety critical interactive systems
- Author
-
David Navarre, Philippe Palanque, Jean-François Ladry, Interactive Critical Systems (IRIT-ICS), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Université Toulouse III - Paul Sabatier (UT3), Logiciels Interactifs et Interaction Homme-Système (IRIT-LIIHS), IET: Institution of Engineering and Technology, and European Project: IST-4-026764-NOE,ReSIST
- Subjects
Engineering ,ARINC 661specification ,business.industry ,Usability ,model-Based approaches ,interactive software engineering ,[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE] ,Reliability engineering ,formal description techniques ,Systems engineering ,Systems design ,business ,Reliability (statistics) ,interactive cockpits ,Diversity (business) - Abstract
International audience; This paper proposes a notation and an architecture for the management of failure on input devices for safety critical interactive systems. This management of failure is done by means of a reconfiguration of input devices configuration and interaction techniques. Such reconfiguration aims at allowing operators to still interact with the interactive system. In complement with this input device configuration problem the approach also addresses the issue of output device reconfiguration. Such problems arise in domains such as command and control systems where the operator is confronted with several display units. Due to space constraints the paper focuses on the reconfiguration of output devices. The contribution presented in the paper thus addresses usability issues (improving how operators can reach their goals while interacting with the system) by increasing the reliability of the system using diverse configuration both for input and output devices.
- Published
- 2007
- Full Text
- View/download PDF
Catalog
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.