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
Aguinis, H., Kraiger, K.: Benefits of Training and Development for Individuals and Teams, Organizations, and Society. Annual Review of Psychology 60, 451–475 (2009)
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)
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)
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)
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)
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)
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)
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)
Boehm, B.: A spiral model of software development and enhancement. ACM SIGSOFT Software Engineering Notes 11(4), 14–24 (1986)
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
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)
Collins, D.: Designing Object-Oriented user interfaces. Benjamin/Cummings Publishing, Inc., Readwoods City (1995)
Curtis, B., Hefley, B.: A WIMP no more: the maturing of user interface engineering. Interactions 1(1) (1994)
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)
Eurocontrol, ESARR 6, Eurocontrol Safety Regulatory Requirement 6, Software in ATM Functionnal Systems, version 2.0 (2010)
European Organisation for Civil Aviation Equipment. DO-178B, Software Consideration in Airborne Systems and Equipment Certification. EUROCAE (1992)
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)
Hartson, H., Hix, D.: Human-computer interface development: concepts and systems for its management. ACM Computing Surveys 21(1) (1989)
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)
International Standard Organisation. Space systems safety requirements. Part 1: System safety. ISO 16420-1 (April 2004)
Jacob, R.: A Software Model and Specification Language for Non-WIMP User Interfaces. ACM Transactions on Computer-Human Interaction 6(1), 1–46 (1999)
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)
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)
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)
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)
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)
Mayhew, D.J.: The Usability Engineering Lifecycle, A practitioner’s handbook for User Interface Design. Morgan Kaufmann Publishers, San Francisco
McDermid, J., Ripken, K.: Life cycle support in the Ada environment. ACM SIGAda Ada Letters III (1) (1983)
Memon, A.M., Soffa, M.L.: Regression testing of GUIs. In: 9th European Software Engineering Conf., pp. 118–127 (2003)
Memon, A.M., Soffa, M.L., Pollack, M.E.: Coverage criteria for GUI testing. In: 8th European Software Engineering Conference, pp. 256–267 (2001)
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
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)
Norman, D., Draper, S. (eds.): User Centered System Design: New Perspectives on Human-Computer Interaction. Lawrence Erlbaum Associates, Hillsdale (1986)
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)
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)
Palanque, P., Bastide, R.: Verification of an Interactive Software by analysis of its formal specification. In: INTERACT 1995, Lillehammer, Norway, pp. 191–197 (1995)
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
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)
Preece, J., Rogers, Y., Sharp, H., Benyon, D., Holland, S., Carey, T.: Human-Computer Interaction. Addison-Wesley, UK
Rauterberg, M.: An Iterative-Cyclic Software Process Model. In: International Conference on Software Engineering and Knowledge Engineering. IEEE, Capri (1992)
Reason, J.: Human Error. Cambridge University Press
Rettig, M.: Prototyping for tiny fingers. Commun. ACM 37(4), 21–27 (1994)
Royce, W.: Managing the Development of Large Software Systems. In: IEEE Wescon, pp. 1–9 (1970)
Salas, E., Cannon-Bower, J.: The Science of Training: A Decade of Progress. Ann. Review of Psychology, 471–499 (2001)
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)
Storey, N.: Safety-critical computer systems. Addison-Wesley (1996)
Schwaber, K.: Agile Project Management with Scrum. Microsoft Press (February 2004)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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
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)
