On the Benefit of Synergistic Model-Based Approach for Safety Critical Interactive System Testing

  • David Navarre
  • Philippe Palanque
  • Eric Barboni
  • Tomasz Mistrzyk
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4849)


This paper claims that the design and construction of safety critical interactive systems require both a task centred approach to support efficiently operator’s goals and activities and a system centred approach to increase the dependability of the system. The approach presented proposes a model-based approach integrating tasks and system models. This integration is done at the model level (in a similar way as in [13]) and at the tool level exploiting PetShop environment [3] for the system side and AMBOSS [1] for the task side. The tool level integration describes three different protocols each of them having advantages and limitations. The model-based approaches are introduced through a case study in the field of command and control systems. The application called AGENDA allows operators to define and organize work plan for satellite ground systems.


Model-based design Task modelling Dialog modelling Scenarios based simulation 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
  2. 2.
    Bastide, R., Palanque, P., Le, D.-H., Muñoz, J.: Integrating Rendering Specifications into a Formalism for the Design of Interactive Systems. In: DSV-IS 1998, Abingdon, U. K, Springer, Heidelberg (1998)Google Scholar
  3. 3.
    Bastide, R., Navarre, D., Palanque, P.: A Model-Based Tool for Interactive Prototyping of Highly Interactive Applications. In: Tool demonstration. CHI 2002, Minneapolis (USA) (2002)Google Scholar
  4. 4.
    Blandford, A., Butterworth, R., Curzon, P.: Models of interactive systems: a case study on Programmable User Modelling. International Journal of Human-Computer Studies 60(2), 165–216 (2004)CrossRefGoogle Scholar
  5. 5.
    Booch, G., Rumbaugh, J., Jacobson, I.: The UML reference manual. Addison-Wesley, ReadingGoogle Scholar
  6. 6.
    Genrich, H.J.: Predicate/Transitions Nets. High-Levels Petri Nets: Theory and Application. In: Jensen, K., Rozenberg, G. (eds.) Predicate/Transitions Nets, pp. 3–43. Springer, Heidelberg (1991)Google Scholar
  7. 7.
    Green, T.R.G., Benyon, D.R.: The skull beneath the skin; Entity-relationship modelling of Information Artefacts. International Journal of Human-Computer Studies  (1996)Google Scholar
  8. 8.
    Jameson, A.: Modelling both the Context and the User. Personal Ubiquitous Comput. 5(1), 29–33 (2001)CrossRefGoogle Scholar
  9. 9.
    Lu, S., Paris, C., Vander Linden, K.: Towards the automatic generation of task models from object oriented diagrams. In: Chatty, S., Dewan, P. (eds.) Engineering for Human-Computer Interaction, Kluwer academic publishers, Boston (1999)Google Scholar
  10. 10.
    Lu, S., Paris, C., Vander Linden, K., Colineau, N.: Generating UML Diagrams From Task Models. In: proceedings of CHINZ’03, the fourth annual international conference of the New Zealand chapter of the ACM’s SIGCHI, Dunedin, New Zealand (July 3-4, 2003)Google Scholar
  11. 11.
    Mori, G., Paternó, F., Santoro, C.: CTTE: support for developing and analyzing task models for interactive system design. IEEE Trans. Softw. Eng. 2(8), 797–813 (2002)CrossRefGoogle Scholar
  12. 12.
    Navarre, David, Palanque, Philippe, Bastide, Rémi, Sy, O.: Structuring Interactive Systems Specifications for Executability and Prototypability. In: 7th Eurographics Workshop on DSV-IS 2000, Limerick, Ireland. LNCSGoogle Scholar
  13. 13.
    Navarre, D., Palanque, P., Bastide, R., Paternó, F., Santoro, C.: A tool suite for integrating task and system models through scenarios. In: 8th Eurographics workshop on Design, Specification and Verification of Interactive Systems, DSV-IS 2001. LNCS, vol. 2220, pp. 88–113. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  14. 14.
    Nunes, J.N., Cunha, J.F.: Towards a UML Profile for Interaction Design: The Wisdom approach. In: Evans, A., Kent, S. (eds.) Proceedings of the Unified Modeling Language Conference, UML 2000. LNCS, vol. 1939, pp. 100–116. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  15. 15.
    Nunes, N.J., Cunha, J.F.: Wisdom A UML Based Architecture for Interactive Systems (PDF 44.73 Kb). In: Palanque, P., Paternó, F. (eds.) DSV-IS 2000. LNCS, vol. 1946, pp. 191–205. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  16. 16.
    Palanque, Philippe, Bastide, R., Sengés, V.: Validating Interactive System Design Through the Verification of Formal Task and System Models. In: EHCI 1995. 6th IFIP Conference on Engineering for Human-Computer Interaction, Garn Targhee Resort, Wyoming, USA, August 14-18, Chapman et Hall, Sydney, Australia (1995)Google Scholar
  17. 17.
    Palanque, Philippe, Bastide, R., Paternó, F.: Formal Specification As a Tool for the Objective Assessment of Safety Critical Interactive Systems. In: Interact 1997. 6th IFIP TC13 Conference on Human-Computer Interaction, Sydney, Australia, July 14-18, 1997, pp. 323–330. Chapman et Hall, Sydney, Australia (1997)Google Scholar
  18. 18.
    Paternó, F.: Model-Based Design and Evaluation of Interactive Application. Springer, Heidelberg (1999)Google Scholar
  19. 19.
    Paternó, F., Breedvelt-Schouten, I., de Konig, N.: Deriving Presentations from Task Models. In: Proceedings EHCI 1998, Creete, Kluwiert Publisher (1998)Google Scholar
  20. 20.
    Sawyer, J.T., Minsk, B., Bisantz, A.M.: Coupling User Models and System Models: A Modeling Framework for Fault Diagnosis in Complex Systems Interacting with computer (1996)Google Scholar
  21. 21.
    Uhr, H.: TOMBOLA: Simulation and User-Specific Presentation of Executable Task Models, Paper. In: Human-Computer Interaction: Theory and Practice (Part I), Proceedings of HCI International 2003, pp. S263–267. Lawrence Erlbaum Associates, Mahwah, NJ (2003)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • David Navarre
    • 1
  • Philippe Palanque
    • 1
  • Eric Barboni
    • 1
  • Tomasz Mistrzyk
    • 2
  1. 1.IRIT, University of Toulouse 3, 118 route de Narbonne, 31062 ToulouseFrance
  2. 2.University of Paderborn, 33098 PaderbornGermany

Personalised recommendations