NDLI: Engineering mixed-criticality interactive applications

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

Can computers design interaction?

Rule-enhanced task models for increased expressiveness and compactness

Bluewave: enabling opportunistic context sharing via bluetooth device names

DocTr: a unifying framework for tracking physical documents and organisational structures

Using formal models to cross check an implementation

Faceted search on coordinated tablets and tabletop: a comparison

Measuring interaction design before building the system: a model-based approach

SEPIA, a support for engineering persuasive interactive applications: properties and functions

Is a framework enough?: cross-device testing and debugging

SyMPATHy: smart glass for monitoring and guiding stroke patients in a home-based context

End-user development of cross-device user interfaces

Language engineering: challenges, opportunities and potential disasters for interactive systems

Adding custom widgets to model-driven GUI generation

ProxemicUI: object-oriented middleware and event model for proxemics-aware applications on large displays

A case-based assessment of the FLUIDE framework for specifying emergency response user interfaces

Systematic automation of scenario-based testing of user interfaces

PANDA: prototyping using annotation and decision analysis

Modelling information resources and their salience in medical device design

A semi-formal framework for describing interaction design spaces

Automatic detection of GUI design smells: the case of Blob listener

CircleBuy: a visual search based second screen application of buying products in videos

Workshop on engineering human-computer interaction in recommender systems

Customizable dynamic user interface distribution

GestureSeg: developing a gesture segmentation system using gesture execution phase labeling by crowd workers

Engineering mixed-criticality interactive applications

Statistical analysis and improvement of the repeatability and reproducibility of an evaluation method for IMUs on a smartphone

A design pattern for multimodal and multidevice user interfaces

A language-based model for specifying and staging mixed-initiative dialogs

A design space for engineering graphical adaptive menus

Using gherkin to extract tests and monitors for safer medical device interaction design

Engineering automotive HMIs that are optimized for correct and fast perception

Engineering interactive systems with SCXML

FusionKit: a generic toolkit for skeleton, marker and rigid-body tracking

Experiences from developing networked public display applications on 3rd party infrastructures

Using testing techniques to classify user interface designs

Make it ISI: interactive systems integration tool

Users' preference share as a criterion for hierarchical menu optimization

Engineering mixed-criticality interactive applications

Content Provider	ACM Digital Library
Author	Palanque, Philippe Martinie, Célia Fayollas, Camille Navarre, David
Abstract	In the field of critical systems, safety standards such as DO-178C define Development Assurance Levels (DALs) for software systems (or sub-systems). The higher the consequence of a failure the higher DAL is required by certification authorities. Developing a system at a DAL A requires the use of formal description techniques and is thus expensive. For lower DALs, standard software development is accepted. While operating such systems, reaching a given goal might require operators to perform tasks using sub-systems of different DALs. Operations thus take place via mixed-criticality systems developed using several different techniques. In order to guarantee the effectiveness of the developed systems, it is necessary to ensure the compatibility of the operators' tasks and the system (whatever technique has been used for its development). While DAL identification is outside the scope of the paper, this article presents a task-model based approach for addressing multiple DALs for mixed-criticality interactive software. That approach proposes a systematic process for engineering mixed-criticality interactive applications. This process is supported by a software modeling and development environment integrating both formal description techniques and standard software programming techniques. The process and the development environment are illustrated with a case study of a mixed-criticality interactive cockpit application.
Starting Page	108
Ending Page	119
Page Count	12
File Format	PDF
ISBN	9781450343220
DOI	10.1145/2933242.2933258
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2016-06-21
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Critical systems Interactive systems Development assurance levels Task models Formal models Co-execution
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

A generic tool-supported framework for coupling task models and interactive applications

A Roadmap and Some Directions Towards the Engineering of Interactive Systems Deployable in Safety Critical Contexts

Extending resources for avoiding overloads of mixed-criticality tasks in cyber-physical systems

Static Mapping of Mixed-Critical Applications for Fault-Tolerant MPSoCs

Static mapping of mixed-critical applications for fault-tolerant MPSoCs

Task-model based assessment of automation levels: Application to space ground segments

Scheduling of mixed-criticality sporadic task systems with multiple levels

On the scheduling of mixed-criticality real-time task sets (2009)

Using information in task models to support design of interactive safety-critical applications

Engineering mixed-criticality interactive applications

Similar Documents

A generic tool-supported framework for coupling task models and interactive applications

A Roadmap and Some Directions Towards the Engineering of Interactive Systems Deployable in Safety Critical Contexts

Extending resources for avoiding overloads of mixed-criticality tasks in cyber-physical systems

Static Mapping of Mixed-Critical Applications for Fault-Tolerant MPSoCs

Static mapping of mixed-critical applications for fault-tolerant MPSoCs

Task-model based assessment of automation levels: Application to space ground segments

Scheduling of mixed-criticality sporadic task systems with multiple levels

On the scheduling of mixed-criticality real-time task sets (2009)

Using information in task models to support design of interactive safety-critical applications

Engineering mixed-criticality interactive applications