A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments

  • Célia Martinie
  • Philippe Palanque
  • David Navarre
  • Eric Barboni
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7623)


While a significant effort is being undertaken by the Human-Computer Interaction community in order to extend current knowledge about how users interact with computing devices and how to design and evaluate new interaction techniques, very little has been done to improve the reliability of software offering such interaction techniques. However, malfunctions and failures occur in interactive systems leading to incidents or accidents that, in aviation for instance, are [22] 80% of the time attributed to human error demonstrating the inadequacy between the system and its operators. As an error may have a huge impact on human life, strong requirements are usually set both on the final system and on the development process itself. Interactive safety-critical systems have to be designed taking into account on an equal basis several properties including usability, reliability and operability while their associated design process is required to handle issues such as scalability, verification, testing and traceability. However, software development solutions in the area of critical systems are not adequate leading to defects especially when the interactive aspects are considered. Additionally, the training program development is always designed independently from the system development leading to operators trained with inadequate material. In this paper we propose a new iterative design process embedding multiple design and modeling techniques (both formal and informal) advocated by HCI and dependable computing domains. These techniques have been adapted and tuned for interactive systems and are used in a synergistic way in order to support the integration of factors such as usability, dependability and operability and at the same time in order to deal with scalability, verification and traceability.


Software engineering formal methods task modeling safety management model-based design training 


  1. 1.
    Aguinis, H., Kraiger, K.: Benefits of Training and Development for Individuals and Teams, Organizations, and Society. Annual Review of Psychology 60, 451–475 (2009)CrossRefGoogle Scholar
  2. 2.
    Alonso-Rios, D., Vasquez-Garcia, A., Mosqueira-Rey, E., Morey-Bonillo, V.: Usability: A Critical Analysis and Taxonomy. Intl. Journal of Human–Computer Interaction 26(1), 53–74 (2010)CrossRefGoogle Scholar
  3. 3.
    Barboni, E., Ladry, J.-F., Navarre, D., Palanque, P., Winckler, M.: Beyond Modelling: An Integrated Environment Supporting Co-Execution of Tasks and Systems Models. In: Proc. of EICS 2010, pp. 143–152. ACM (2010)Google Scholar
  4. 4.
    Basnyat, S., Chozos, N., Johnson, C.: Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems. In: Gilroy, S.W., Harrison, M.D. (eds.) DSV-IS 2005. LNCS, vol. 3941, pp. 51–66. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  5. 5.
    Basnyat, S., Palanque, P., Schupp, B., Wright, P.: Formal socio-technical barrier modelling for safety-critical interactive systems design. Safety Science 45(5), 545–565 (2007)CrossRefGoogle Scholar
  6. 6.
    Bastide, R., Navarre, D., Palanque, P.: A Tool-Supported Design Framework for Safety Critical Interactive Systems in Interacting with Computers 15(3), 309–328 (2003)Google Scholar
  7. 7.
    Bernhaupt, R., Navarre, D., Palanque, P., Winckler, M.: Model-Based Evaluation: A New Way to Support Usability Evaluation of Multimodal Interactive Applications. In: Maturing Usability: Quality in Software, Interaction and Quality, series on HCl. Springer (April 2007)Google Scholar
  8. 8.
    Bodart, F., Hennebert, A.-M., Leheureux, J.-M., Vanderdonckt, J.: Encapsulating Knowledge for Intelligent Automatic Interaction Objects Selection. In: Human Factors in Computing Systems INTERCHI 1993, pp. 424–429. Addison Wesley (1993)Google Scholar
  9. 9.
    Boehm, B.: A spiral model of software development and enhancement. ACM SIGSOFT Software Engineering Notes 11(4), 14–24 (1986)CrossRefGoogle Scholar
  10. 10.
    Boehm, B.: A View of 20th and 21st Century Software Engineering. Invited talk. In: IEEE Int. Conf. on Software Engineering (2006),
  11. 11.
    Carroll, J.M., Kellogg, W.A., Rosson, M.B.: The Task-Artifact Cycle. In: Carroll, J.M. (ed.) Designing Interaction: Psychology at the Human-Computer Interface. Cambridge University Press, Cambridge (1991)Google Scholar
  12. 12.
    Collins, D.: Designing Object-Oriented user interfaces. Benjamin/Cummings Publishing, Inc., Readwoods City (1995)Google Scholar
  13. 13.
    Curtis, B., Hefley, B.: A WIMP no more: the maturing of user interface engineering. Interactions 1(1) (1994)Google Scholar
  14. 14.
    Esteban, O., Chatty, S., Palanque, P.: Whizz’Ed: a Visual Environment for building Highly Interactive Software. In: INTERACT 1995, Lillehammer, Norway, pp. 121–127 (1995)Google Scholar
  15. 15.
    Eurocontrol, ESARR 6, Eurocontrol Safety Regulatory Requirement 6, Software in ATM Functionnal Systems, version 2.0 (2010) Google Scholar
  16. 16.
    European Organisation for Civil Aviation Equipment. DO-178B, Software Consideration in Airborne Systems and Equipment Certification. EUROCAE (1992) Google Scholar
  17. 17.
    Göransson, B., Gulliksen, J., Boivie, I.: The Usability Design Process - Integrating User-Centered Systems Design in the Software Development Process. Software Process: Improvement and Practice 8(2), 111–131 (2003)CrossRefGoogle Scholar
  18. 18.
    Hartson, H., Hix, D.: Human-computer interface development: concepts and systems for its management. ACM Computing Surveys 21(1) (1989)Google Scholar
  19. 19.
    Hussain, Z., Slany, W., Holzinger, A.: Investigating Agile User-Centered Design in Practice: A Grounded Theory Perspective. In: Holzinger, A., Miesenberger, K. (eds.) USAB 2009. LNCS, vol. 5889, pp. 279–289. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  20. 20.
    International Standard Organisation. Space systems safety requirements. Part 1: System safety. ISO 16420-1 (April 2004) Google Scholar
  21. 21.
    Jacob, R.: A Software Model and Specification Language for Non-WIMP User Interfaces. ACM Transactions on Computer-Human Interaction 6(1), 1–46 (1999)CrossRefGoogle Scholar
  22. 22.
    Johnson, C.: On the over emphasis of human error as a cause of aviation accidents: systemic failures and human error in US NTSB and Canadian TSB aviation reports 1996–2003, Ergonomics (2006)Google Scholar
  23. 23.
    Martinie, C., Palanque, P., Navarre, D., Winckler, M.: A formal approach supporting effective and efficient training program for improving operators’ reliability. In: Safety and Reliability for managing Risk (ESREL 2010), pp. 234–243 (2010)Google Scholar
  24. 24.
    Martinie, C., Palanque, P., Winckler, M.: Structuring and Composition Mechanisms to Address Scalability Issues in Task Models. In: Campos, P., Graham, N., Jorge, J., Nunes, N., Palanque, P., Winckler, M. (eds.) INTERACT 2011, Part III. LNCS, vol. 6948, pp. 589–609. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  25. 25.
    Martinie, C., Palanque, P., Winckler, M., Conversy, S.: DREAMER: a design rationale environment for argumentation, modeling and engineering requirements. In: SIGDOC 2010, pp. 73–80 (2010)Google Scholar
  26. 26.
    Martinie, C., Palanque, P., Winckler, M., Navarre, D., Poupart, E.: Model-Based Training: An Approach Supporting Operability of Critical Interactive Systems: Application to Satellite Ground Segments. In: Proc. of EICS 2011, pp. 53–62 (2011)Google Scholar
  27. 27.
    Mayhew, D.J.: The Usability Engineering Lifecycle, A practitioner’s handbook for User Interface Design. Morgan Kaufmann Publishers, San FranciscoGoogle Scholar
  28. 28.
    McDermid, J., Ripken, K.: Life cycle support in the Ada environment. ACM SIGAda Ada Letters III (1) (1983)Google Scholar
  29. 29.
    Memon, A.M., Soffa, M.L.: Regression testing of GUIs. In: 9th European Software Engineering Conf., pp. 118–127 (2003)Google Scholar
  30. 30.
    Memon, A.M., Soffa, M.L., Pollack, M.E.: Coverage criteria for GUI testing. In: 8th European Software Engineering Conference, pp. 256–267 (2001)Google Scholar
  31. 31.
    Navarre, D., Palanque, P., Martinie, C., Winckler, M., Steere, S.: Formal Description Techniques for Human-Machine Interfaces - ModelS-Based Approaches for the Design and Evaluation of Dependable Usable Interactive Systems. In: Handbook of HMI, A Human-Centered Approach, USA, AshgateGoogle Scholar
  32. 32.
    Navarre, D., Palanque, P., Ladry, J., Barboni, E.: ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability. ACM Trans. Comput.-Hum. Interact. 16(4), 1–56 (2009)CrossRefGoogle Scholar
  33. 33.
    Norman, D., Draper, S. (eds.): User Centered System Design: New Perspectives on Human-Computer Interaction. Lawrence Erlbaum Associates, Hillsdale (1986)Google Scholar
  34. 34.
    Palanque, P., Barboni, E., Martinie, C., Navarre, D., Winckler, M.: A model-based approach for supporting engineering usability evaluation of interaction techniques. In: EICS 2011, pp. 21–30. ACM SIGCHI (2011)Google Scholar
  35. 35.
    Palanque, P., Basnyat, S.: Task Patterns for Taking Into Account in an Efficient and Systematic Way Both Standard and Erroneous User Behaviours. In: HESSD 2004, Toulouse, France, pp. 109–130 (2004)Google Scholar
  36. 36.
    Palanque, P., Bastide, R.: Verification of an Interactive Software by analysis of its formal specification. In: INTERACT 1995, Lillehammer, Norway, pp. 191–197 (1995)Google Scholar
  37. 37.
    Palanque, P., Bernhaupt, R., Navarre, D., Ould, M., Winckler, M.: Supporting Usability Evaluation of Multimodal Man-Machine Interfaces for Space Ground Segment Applications Using Petri net Based Formal Specification. In: Ninth International Conference on Space Operations, Rome, Italy, June 18-22 (2006) CD-ROM proceedingsGoogle Scholar
  38. 38.
    Paternò, F., Santoro, C., Spano, L.D.: MARIA: a universal, declarative, multiple abstraction-level language for service-oriented applications in ubiquitous environments. ACM Transactions on Computer-Human Interaction 16(4), article n. 19 (2009)Google Scholar
  39. 39.
    Preece, J., Rogers, Y., Sharp, H., Benyon, D., Holland, S., Carey, T.: Human-Computer Interaction. Addison-Wesley, UKGoogle Scholar
  40. 40.
    Rauterberg, M.: An Iterative-Cyclic Software Process Model. In: International Conference on Software Engineering and Knowledge Engineering. IEEE, Capri (1992)Google Scholar
  41. 41.
    Reason, J.: Human Error. Cambridge University PressGoogle Scholar
  42. 42.
    Rettig, M.: Prototyping for tiny fingers. Commun. ACM 37(4), 21–27 (1994)CrossRefGoogle Scholar
  43. 43.
    Royce, W.: Managing the Development of Large Software Systems. In: IEEE Wescon, pp. 1–9 (1970)Google Scholar
  44. 44.
    Salas, E., Cannon-Bower, J.: The Science of Training: A Decade of Progress. Ann. Review of Psychology, 471–499 (2001)Google Scholar
  45. 45.
    Seffah, A., Donyaee, M., Kline, R.B., Padda, H.K.: Usability measurement and metrics: A consolidated model. Journal of Software Quality Control 14(2) (June 2006)Google Scholar
  46. 46.
    Storey, N.: Safety-critical computer systems. Addison-Wesley (1996)Google Scholar
  47. 47.
    Schwaber, K.: Agile Project Management with Scrum. Microsoft Press (February 2004)Google Scholar
  48. 48.
    Sy, D., Miller, L.: Optimizing Agile User-centred design. In: CHI 2008 Extended Abstracts on Human Factors in Computing Systems (CHI EA 2008), pp. 3897–3900. ACM, New York (2008)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Célia Martinie
    • 1
  • Philippe Palanque
    • 1
  • David Navarre
    • 1
  • Eric Barboni
    • 1
  1. 1.ICS-IRITUniversity of Toulouse 3Toulouse Cedex 9France

Personalised recommendations