An Integrated Framework for the Formal Analysis of Critical Interactive Systems

2020 ◽  
Author(s):  
Ismail Mendil ◽  
Neeraj Kumar Singh ◽  
Yamine Ait-Ameur ◽  
Dominique Mery ◽  
Philippe Palanque
Keyword(s):  
Formal Analysis ◽  
Interactive Systems ◽  
Integrated Framework

scholarly journals Balancing the formal and the informal in user-centred design

2021 ◽  
Author(s):  
Michael D Harrison ◽  
Paolo Masci ◽  
José Creissac Campos
Keyword(s):  
Formal Methods ◽  
Systematic Approach ◽  
Formal Analysis ◽  
Interactive Systems ◽  
User Evaluation ◽  
Analysis Techniques ◽  
User Centred Design ◽  
Early Design Stages ◽  
Cooperative Evaluation

Abstract This paper explores the role of formal methods as part of the user-centred design of interactive systems. An iterative process is described, developing prototypes incrementally, proving user-centred requirements while at the same time evaluating the prototypes that are executable forms of the developed models using ‘traditional’ techniques for user evaluation. A formal analysis complements user evaluations. This approach enriches user-centred design that typically focuses understanding on context and producing sketch designs. These sketches are often non-functional (e.g. paper) prototypes. They provide a means of exploring candidate design possibilities using techniques such as cooperative evaluation. This paper describes a further step in the process using formal analysis techniques. The use of formal methods provides a systematic approach to checking plausibility and consistency during early design stages, while at the same time enabling the generation of executable prototypes. The technique is illustrated through an example based on a pill dispenser.

Formal Analysis of Security in Interactive Systems

2009 ◽  
pp. 415-432 ◽  
Author(s):  
Antonio Cerone
Keyword(s):  
Human Error ◽  
User Behavior ◽  
System Development ◽  
Formal Analysis ◽  
Interactive Systems ◽  
Security Protocol ◽  
Human Interaction ◽  
Formal Modeling ◽  
Human Errors ◽  
Modeling And Analysis

Reducing the likelihood of human error in the use of interactive systems is increasingly important. Human errors could not only hinder the correct use and operation, they can also compromise the safety and security of such systems. Hence the need for formal methods to analyze and verify the correctness of interactive systems, particularly with regards to human interaction. This chapter examines the use of formal modeling and analysis of security properties of interactive systems. The reader is introduced to some basic concepts in security and human-computer interaction, followed by formal modeling of human cognitive behavior and analysis of such systems. Authors highlight the use of model-checking to drive the system development to design secure user actions and sequences of actions. Authors also analyze the patterns of user behavior that may lead to security violation. Finally, particular areas of security protocol design where human interaction plays a key role are discussed.

Sign in / Sign up

Export Citation Format

Share Document