Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Airlines Electronic Engineering Committee (2002) ARINC Specification 661—Cockpit display system interfaces to user systems. Published: April 22, 2002
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–38
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 surfaces
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–80
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. http://www.hcibook.com/e3/chapters/ch16
Dix A (2013) Mental geography, Wonky maps and a long way ahead. GeoHCI, Work-shop on geography and HCI, CHI 2013. http://alandix.com/academic/papers/GeoHCI2013/
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
EASA (2014) CS-25. Certification specifications and acceptable means of compliance for large aeroplanes
EUROCONTROL (2010) Arrival manager implementation GUIDELINES and lessons learned, edition 0.1
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–163
Gesellschaft für Anlagen- und Reaktorsicherheit (GRS) gGmbH (2016) Siedewasserreaktor (SWR) (in german). http://www.grs.de/aktuelles/begriff-des-monats-siedewasserreaktor-swr. Accessed 27 Sep 2016
IBM (1989) Common user access: advanced interface design guide. Document SC26-4582-0
Kirn P (2011) In sand and pixels, playing with worlds virtual and tangible; built with kinect. Create digital media. http://cdm.link/2011/07/in-sand-and-pixels-playing-with-worlds-virtual-and-tangible-built-with-kinect/. Accessed 7 July 2011
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–94
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–609
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–386
O’Regan G (2014) Z formal specification language. In: Introduction to software quality. Springer, pp 311–325
Owre S, Rushby JM, Shankar N (1992) PVS: A prototype verification system. In: International conference on automated deduction. Springer, pp 748–752
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–278
RTCA and EUROCAE (2012) DO-178C/ ED-12C, Software considerations in airborne systems and equipment certification
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–45
TREL (2016) Tilley, our turbine. Tiree renewable energy limited. http://www.tireerenewableenergy.co.uk/index.php/tilley-our-turbine/. Accessed 24 Apr 2016
United States Nuclear Regulation Commission (2016) Boiling water reactors. http://www.nrc.gov/reactors/bwrs.html. Accessed 27 Sep 2016
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–146
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
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this chapter
Cite this chapter
Weyers, B., Harrison, M.D., Bowen, J., Dix, A., Palanque, P. (2017). Case Studies. In: Weyers, B., Bowen, J., Dix, A., Palanque, P. (eds) The Handbook of Formal Methods in Human-Computer Interaction. Human–Computer Interaction Series. Springer, Cham. https://doi.org/10.1007/978-3-319-51838-1_4
Download citation
DOI: https://doi.org/10.1007/978-3-319-51838-1_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-51837-4
Online ISBN: 978-3-319-51838-1
eBook Packages: Computer ScienceComputer Science (R0)