High-Assurance Interactive Systems

Objectives

Students should be able to:

  1. Understand the relevance of the human factor in the reliability of interactive computer systems
  2. Design interactive computing systems taking into account usability and reliability considerations
  3. Understand the strengths and limitations of different user interface evaluation approaches
  4. Evaluate models of interactive computing systems using adequate techniques
  5. Develop reliable and safe web user interfaces
  6. Evaluate user interfaces of web applications using adequate techniques

Program

  • The notion of error in Human-Computer Interaction (user error vs use error; taxonomies; error analysis techniques)
  • Integration of formal modeling and analysis techniques into the user-centered design process.
  • Model-based analysis techniques and tools for interactive systems (interaction and user interface modeling; model animation; prototyping; verification)
  • Web based user interface’s development technologies (architectural and IHC patterns, layer independence, responsive web design, context awareness, client side vs. server side technologies)
  • Automated user interface testing techniques and tools (capture-replay; model-based tests generation; automated testing)
  • Empirical summative evaluation techniques.

Bibliography

Human-Computer Interaction, third edition. A. Dix et al. (2004), Pearson/Prentice-Hall. Foundations for Designing User-Centered Systems. F.E. Ritter et al. (2014), Springer. Engineering a Safer World: Systems Thinking Applied to Safety. N.G. Leveson (2011), The MIT Press. The Handbook of Formal Methods in Human-Computer Interaction. B. Weyers et al., editors (2017), Springer. Handbook of Usability Testing: How to Plan, Design, and Conduct Effective Tests, 2nd Edition. J. Rubin & D. Chisnell, Wiley

Updated: