NDLI: The future of design specification and verification of safety critical interactive systems.: can our systems be sure (safe, usable, reliable and evolvable)?

Please wait, while we are loading the content...

The future of design specification and verification of safety critical interactive systems.: can our systems be sure (safe, usable, reliable and evolvable)?

Toward user interface virtualization: legacy applications and innovative interaction systems

How usable are operational digital libraries: a usability evaluation of system interactions

A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems

Context-aware and mobile interactive systems: the future of user interfaces plasticity

An open source workbench for prototyping multimodal interactions based on off-the-shelf heterogeneous components

GT/SD: performance and simplicity in a groupware toolkit

MundoMonkey: customizing interaction with web applications in interactive spaces

Model-based development of synchronous collaborative user interfaces

Engineering more natural interactive programming systems: keynote talk

StateStream: a developer-centric approach towards unifying interaction models and architecture

Interactive usability instrumentation

An infrastructure for experience centered agile prototyping of ambient intelligence

A bisimulation-based approach to the analysis of human-computer interaction

FRAP: a framework for pervasive games

Edit, inspect and connect your surroundings: a reference framework for meta-UIs

The tradeoff between spatial jitter and latency in pointing tasks

Contributing to safety and due diligence in safety-critical interactive systems development by generating and analyzing finite state models

Personalizing graphical user interfaces on flexible widget layout

Fiia: user-centered development of adaptive groupware systems

Initial evaluation of a bare-hand interaction technique for large displays using a webcam

Managing non-native widgets in model-based UI engineering

Agile methods and interaction design: friend or foe?

Ontology-based modularization of user interfaces

TnToolkit: a design and analysis tool for ambiguous, QWERTY, and on-screen keypads

Support for authoring service front-ends

Task-based design revisited

Adapting ubicomp software and its evaluation

Input evaluation of an eye-gaze-guided interface: kalman filter vs. velocity threshold eye movement identification

Usability recommendations in the design of mixed interactive systems

A study of GUI representation based on BIFs for enhanced mobile TV

Helping software architects design for usability

Flexible and efficient platform modeling for distributed interactive systems

A GOMSL analysis of semi-automated data entry

Engineering crowd interaction within smart environments

Plug-and-design: embracing mobile devices as part of the design environment

An empirical comparison of "wiimote" gun attachments for pointing tasks

User evaluation of OIDE: a rapid prototyping platform for multimodal interaction

MoLIC designer: towards computational support to hci design with MoLIC

Semi-automatic multimodal user interface generation

Model-driven approach for user interface: business alignment

Adding flexibility in the model-driven engineering of user interfaces

High level data fusion on a multimodal interactive application platform

The future of design specification and verification of safety critical interactive systems.: can our systems be sure (safe, usable, reliable and evolvable)?

Content Provider	ACM Digital Library
Author	Palanque, Philippe Navarre, David
Abstract	Designing reliable interactive software is hard, and designing usable reliable interactive software is even harder. Experience shows that many interactive systems exhibit recurring characteristics that require in addition evolvability, assessability and certify-ability especially when safety critical systems are concerned. This tutorial projects into the future previous work we have done over the last 15 years around a Petri nets-based notation and a CASE tool supporting it, for addressing such aspects of interactive software development. The course covers the roles formal notations can play in the interactive systems' development process: how they provide complete and unambiguous descriptions of these systems, how they handle system complexity, how they can fit with interactive systems development processes (highly iterative) and how they contribute too to the implementation activities. Such elements will be addressed first by providing an historical perspective of formal descriptions techniques in the field of interactive systems and then by focusing on the Interactive Cooperative Objects notation and its CASE tool PetShop. The tutorial will also address the new challenges for formal description techniques for interactive systems in order to address on an equal basis various (generally conflicting) properties such as Safety, Usability, Reliability and Evolvability. The audience will learn on concrete examples the advantages and drawbacks of using formal description techniques for various kinds of interactive systems including WIMP, post-Wimp and multimodal interaction techniques. The examples will be taken from various industrial domains including cockpits, satellite ground segments and Air Traffic Control.
Starting Page	155
Ending Page	156
Page Count	2
File Format	PDF
ISBN	9781605586007
DOI	10.1145/1570433.1570463
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2009-07-15
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Formal description techniques Human-computer interaction Engineering interactive systems
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Formal description techniques to support the design, construction and evaluation of fusion engines for sure (safe, usable, reliable and evolvable) multimodal interfaces

Beyond usability for safety critical systems: how to be sure (safe, usable, reliable, and evolvable)?

Formal specification as a tool for objective assessment of safety-critical interactive systems (1997).

ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability

Incremental Verification Techniques for an Updated Architectural Specification

Reconciling safety and usability concerns through formal specification-based development process.

Formal Development Process of Safety-Critical Embedded Human Machine Interface Systems

Formal development process of safety critical embedded human machine interface systems

Formal Description Techniques for Human–Machine Interfaces: Model-Based Approaches for the Design and Evaluation of Dependable Usable Interactive Systems

The future of design specification and verification of safety critical interactive systems.: can our systems be sure (safe, usable, reliable and evolvable)?

Similar Documents

Formal description techniques to support the design, construction and evaluation of fusion engines for sure (safe, usable, reliable and evolvable) multimodal interfaces

Beyond usability for safety critical systems: how to be sure (safe, usable, reliable, and evolvable)?

Formal specification as a tool for objective assessment of safety-critical interactive systems (1997).

ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability

Incremental Verification Techniques for an Updated Architectural Specification

Reconciling safety and usability concerns through formal specification-based development process.

Formal Development Process of Safety-Critical Embedded Human Machine Interface Systems

Formal development process of safety critical embedded human machine interface systems

Formal Description Techniques for Human–Machine Interfaces: Model-Based Approaches for the Design and Evaluation of Dependable Usable Interactive Systems

The future of design specification and verification of safety critical interactive systems.: can our systems be sure (safe, usable, reliable and evolvable)?