Case Studies

  • Benjamin WeyersEmail author
  • Michael D. Harrison
  • Judy Bowen
  • Alan Dix
  • Philippe Palanque
Part of the Human–Computer Interaction Series book series (HCIS)


This chapter introduces a set of case studies that are used in the rest of the book. They encompass well-known problem domains in human–computer interaction research and provide a practical focus for the approaches presented in this book. The set of case studies includes case studies concerned with the controller interface to a (semiautomated) nuclear power plant; a partly autonomous arrival management interactive system in the domain of air traffic control; a user interface for new interactive cockpits; and an interactive system used in rural and urban areas to maintain wind turbines. The final case study brings an interesting perspective for formal techniques, namely interactive public displays.


Nuclear Power Plant Wind Turbine Formal Method Interactive System Input Device 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. Airlines Electronic Engineering Committee (2002) ARINC Specification 661—Cockpit display system interfaces to user systems. Published: April 22, 2002Google Scholar
  2. Barboni E, Conversy S, Navarre D, Palanque PA (2006) Model-based engineering of widgets, user applications and servers compliant with ARINC 661 specification. In: design specification and verification of interactive systems. Springer, pp 25–38Google Scholar
  3. Bellucci A, Malizia A, Aedo I (2011) TESIS: turn every surface into an interactive surface. In: Proceedings of the ACM international conference on interactive tabletops and surfacesGoogle Scholar
  4. Bier EA, Stone MC, Pier K, Buxton W, DeRose TD (1993) Toolglass and magic lenses: the see-through interface. In: Proceedings of the 20th annual conference on computer graphics and interactive techniques. ACM, pp 73–80Google Scholar
  5. Dix A, Finlay J, Abowd G, Beale R (2004) Dialogue notations and design. Chapter 16 in Human–computer interaction, 3rd edn. Prentice Hall, Englewood Cliffs.
  6. Dix A (2013) Mental geography, Wonky maps and a long way ahead. GeoHCI, Work-shop on geography and HCI, CHI 2013.
  7. Dix A, Malizia A, Turchi T, Gill S, Loudon G, Morris R, Chamberlain A, Bellucci A (2016) Rich digital collaborations in a small rural community. In: Anslow C et al (eds) Chapter 20 in Collaboration meets interactive spaces. Springer. doi: 10.1007/978-3-319-45853-3_20
  8. EASA (2014) CS-25. Certification specifications and acceptable means of compliance for large aeroplanesGoogle Scholar
  9. EUROCONTROL (2010) Arrival manager implementation GUIDELINES and lessons learned, edition 0.1Google Scholar
  10. Forbrig P, Martinie C, Palanque PA, Winckler M, Fahssi R (2014) Rapid task-models development using sub-models, sub-routines and generic components. In: Proceedings of 5th international conference on human-centered software engineering. Springer, pp 144–163Google Scholar
  11. Gesellschaft für Anlagen- und Reaktorsicherheit (GRS) gGmbH (2016) Siedewasserreaktor (SWR) (in german). Accessed 27 Sep 2016
  12. IBM (1989) Common user access: advanced interface design guide. Document SC26-4582-0Google Scholar
  13. Kirn P (2011) In sand and pixels, playing with worlds virtual and tangible; built with kinect. Create digital media. Accessed 7 July 2011
  14. Martinie C, Barboni E, Navarre D, Palanque PA, Fahssi R, Poupart E, Cubero-Castan E (2014) Multi-models-based engineering of collaborative systems: application to collision avoidance operations for spacecraft. In: Proceedings of the 6th ACM SIGCHI symposium on engineering interactive systems. ACM, pp 85–94Google Scholar
  15. Martinie C, Palanque PA, Winckler M (2011) Structuring and composition mechanisms to address scalability issues in task models. In: Proceedings of INTERACT. Springer, pp 589–609Google Scholar
  16. Navarre D, Palanque PA, Basnyat S (2008) A formal approach for user interaction reconfiguration of safety critical interactive systems. In: Proceedings of 27th international conference on computer safety, reliability and security. Springer, pp 373–386Google Scholar
  17. O’Regan G (2014) Z formal specification language. In: Introduction to software quality. Springer, pp 311–325Google Scholar
  18. Owre S, Rushby JM, Shankar N (1992) PVS: A prototype verification system. In: International conference on automated deduction. Springer, pp 748–752Google Scholar
  19. Paradiso J, Abler C, Hsiao KY, Reynolds M (1997) The magic carpet: physical sensing for immersive environments. In: CHI’97 extended abstracts on human factors in computing systems. ACM, pp 277–278Google Scholar
  20. RTCA and EUROCAE (2012) DO-178C/ ED-12C, Software considerations in airborne systems and equipment certificationGoogle Scholar
  21. Turchi T, Malizia A, Dix A (2015) Fostering the adoption of Pervasive Displays in public spaces using tangible End-User Programming. In: Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, pp 37–45Google Scholar
  22. TREL (2016) Tilley, our turbine. Tiree renewable energy limited. Accessed 24 Apr 2016
  23. United States Nuclear Regulation Commission (2016) Boiling water reactors. Accessed 27 Sep 2016
  24. Vogel D, Balakrishnan R (2004) Interactive public ambient displays: transitioning from implicit to explicit, public to personal, interaction with multiple users. In: Proceedings of the 17th annual ACM symposium on User interface software and technology. ACM, pp 137–146Google Scholar
  25. Zhou W, Reisinger J, Peer A, Hirche S (2014) Interaction-based dynamic measurement of haptic characteristics of control elements. In: Auvray M, Duriez C (eds) Haptics: neuroscience, devices, modeling, and applications: 9th international conference, eurohaptics 2014, Versailles, France, June 24–26, 2014, Proceedings, Part I, Berlin, Heidelberg. Springer, Berlin, pp 177–184. doi: 10.1007/978-3-662-44193-0_23

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  • Benjamin Weyers
    • 1
    Email author
  • Michael D. Harrison
    • 2
  • Judy Bowen
    • 3
  • Alan Dix
    • 4
    • 5
  • Philippe Palanque
    • 6
  1. 1.Visual Computing Institute—Virtual Reality & Immersive VisualizationRWTH Aachen UniversityAachenGermany
  2. 2.School of Computing ScienceNewcastle UniversityNewcastle upon TyneUK
  3. 3.Department of Computer ScienceThe University of WaikatoHamiltonNew Zealand
  4. 4.School of Computer ScienceUniversity of BirminghamBirminghamUK
  5. 5.Talis Ltd.BirminghamUK
  6. 6.IRIT—Interactive Critical Systems GroupUniversity of Toulouse 3—Paul SabatierToulouseFrance

Personalised recommendations