Skip to main content

Advertisement

SpringerLink
Log in
Menu
Find a journal Publish with us
Search
Cart
Book cover

International Conference on Human-Centred Software Engineering

HCSE 2012: Human-Centered Software Engineering pp 72–93Cite as

  1. Home
  2. Human-Centered Software Engineering
  3. Conference paper
A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments

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

  • Célia Martinie19,
  • Philippe Palanque19,
  • David Navarre19 &
  • …
  • Eric Barboni19 
  • Conference paper
  • 2189 Accesses

  • 15 Citations

Part of the Lecture Notes in Computer Science book series (LNPSE,volume 7623)

Abstract

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.

Keywords

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

Download conference paper PDF

References

  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)

    CrossRef  Google Scholar 

  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)

    CrossRef  Google Scholar 

  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. 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)

    CrossRef  Google Scholar 

  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)

    CrossRef  Google Scholar 

  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. 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. 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. Boehm, B.: A spiral model of software development and enhancement. ACM SIGSOFT Software Engineering Notes 11(4), 14–24 (1986)

    CrossRef  Google Scholar 

  10. Boehm, B.: A View of 20th and 21st Century Software Engineering. Invited talk. In: IEEE Int. Conf. on Software Engineering (2006), http://www.isr.uci.edu/icse-06/program/keynotes/boehm.html

  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. Collins, D.: Designing Object-Oriented user interfaces. Benjamin/Cummings Publishing, Inc., Readwoods City (1995)

    Google Scholar 

  13. Curtis, B., Hefley, B.: A WIMP no more: the maturing of user interface engineering. Interactions 1(1) (1994)

    Google Scholar 

  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. Eurocontrol, ESARR 6, Eurocontrol Safety Regulatory Requirement 6, Software in ATM Functionnal Systems, version 2.0 (2010)

    Google Scholar 

  16. European Organisation for Civil Aviation Equipment. DO-178B, Software Consideration in Airborne Systems and Equipment Certification. EUROCAE (1992)

    Google Scholar 

  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)

    CrossRef  Google Scholar 

  18. Hartson, H., Hix, D.: Human-computer interface development: concepts and systems for its management. ACM Computing Surveys 21(1) (1989)

    Google Scholar 

  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)

    CrossRef  Google Scholar 

  20. International Standard Organisation. Space systems safety requirements. Part 1: System safety. ISO 16420-1 (April 2004)

    Google Scholar 

  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)

    CrossRef  Google Scholar 

  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. 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. 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)

    CrossRef  Google Scholar 

  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. 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. Mayhew, D.J.: The Usability Engineering Lifecycle, A practitioner’s handbook for User Interface Design. Morgan Kaufmann Publishers, San Francisco

    Google Scholar 

  28. McDermid, J., Ripken, K.: Life cycle support in the Ada environment. ACM SIGAda Ada Letters III (1) (1983)

    Google Scholar 

  29. Memon, A.M., Soffa, M.L.: Regression testing of GUIs. In: 9th European Software Engineering Conf., pp. 118–127 (2003)

    Google Scholar 

  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. 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, Ashgate

    Google Scholar 

  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)

    CrossRef  Google Scholar 

  33. Norman, D., Draper, S. (eds.): User Centered System Design: New Perspectives on Human-Computer Interaction. Lawrence Erlbaum Associates, Hillsdale (1986)

    Google Scholar 

  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. 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. 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. 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 proceedings

    Google Scholar 

  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. Preece, J., Rogers, Y., Sharp, H., Benyon, D., Holland, S., Carey, T.: Human-Computer Interaction. Addison-Wesley, UK

    Google Scholar 

  40. Rauterberg, M.: An Iterative-Cyclic Software Process Model. In: International Conference on Software Engineering and Knowledge Engineering. IEEE, Capri (1992)

    Google Scholar 

  41. Reason, J.: Human Error. Cambridge University Press

    Google Scholar 

  42. Rettig, M.: Prototyping for tiny fingers. Commun. ACM 37(4), 21–27 (1994)

    CrossRef  Google Scholar 

  43. Royce, W.: Managing the Development of Large Software Systems. In: IEEE Wescon, pp. 1–9 (1970)

    Google Scholar 

  44. Salas, E., Cannon-Bower, J.: The Science of Training: A Decade of Progress. Ann. Review of Psychology, 471–499 (2001)

    Google Scholar 

  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. Storey, N.: Safety-critical computer systems. Addison-Wesley (1996)

    Google Scholar 

  47. Schwaber, K.: Agile Project Management with Scrum. Microsoft Press (February 2004)

    Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. ICS-IRIT, University of Toulouse 3, 118 route de Narbonne, 31062, Toulouse Cedex 9, France

    Célia Martinie, Philippe Palanque, David Navarre & Eric Barboni

Authors
  1. Célia Martinie
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Philippe Palanque
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. David Navarre
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Eric Barboni
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. IRIT, Université Paul Sabatier, France

    Marco Winckler

  2. Computer Science Department, University of Rostock, Albert-Einstein-Str. 21, D-18051, Rostock, Germany

    Peter Forbrig

  3. ICS-IRIT, University Paul Sabatier, 118 route de Narbonne, 31062, Toulouse Cedex 9, France

    Regina Bernhaupt

Rights and permissions

Reprints and Permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Martinie, C., Palanque, P., Navarre, D., Barboni, E. (2012). A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments. In: Winckler, M., Forbrig, P., Bernhaupt, R. (eds) Human-Centered Software Engineering. HCSE 2012. Lecture Notes in Computer Science, vol 7623. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34347-6_5

Download citation

  • .RIS
  • .ENW
  • .BIB
  • DOI: https://doi.org/10.1007/978-3-642-34347-6_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-34346-9

  • Online ISBN: 978-3-642-34347-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Share this paper

Anyone you share the following link with will be able to read this content:

Sorry, a shareable link is not currently available for this article.

Provided by the Springer Nature SharedIt content-sharing initiative

Search

Navigation

  • Find a journal
  • Publish with us

Discover content

  • Journals A-Z
  • Books A-Z

Publish with us

  • Publish your research
  • Open access publishing

Products and services

  • Our products
  • Librarians
  • Societies
  • Partners and advertisers

Our imprints

  • Springer
  • Nature Portfolio
  • BMC
  • Palgrave Macmillan
  • Apress
  • Your US state privacy rights
  • Accessibility statement
  • Terms and conditions
  • Privacy policy
  • Help and support

167.114.118.210

Not affiliated

Springer Nature

© 2023 Springer Nature