On the benefit of synergistic model-based approach for safety critical interactive system testing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4849 LNCS, Issue , 2007, Pages 140-154

  Navarre, David ^a   Palanque, Philippe ^a   Barboni, Eric ^a   Mistrzyk, Tomasz ^b  

^a UNIVERSITÉ PAUL SABATIER   (France)

^b UNIVERSITY OF PADERBORN   (Germany)

Author keywords

Dialog modelling; Model based design; Scenarios based simulation; Task modelling

Indexed keywords

COMPUTER SIMULATION; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; SATELLITE COMMUNICATION SYSTEMS;

DIALOG MODELING; INTERACTIVE SYSTEM TESTING; MODEL-BASED DESIGN; SCENARIOS BASED SIMULATION; TASK MODELING;

SYSTEMS ANALYSIS;

EID: 38349030765     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-77222-4_12     Document Type: Conference Paper

References (21)

1. Amboss, http://wwwcs.uni-paderborn.de/cs/ag-szwillus/lehre/ws05_06/PG/ PGAMBOSS
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)
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)
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)
5. Booch, G., Rumbaugh, J., Jacobson, I.: The UML reference manual. Addison-Wesley, Reading
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)
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)
8. Jameson, A.: Modelling both the Context and the User. Personal Ubiquitous Comput. 5(1), 29-33 (2001)
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)
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)
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)
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. LNCS
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)
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)
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)
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)
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)
18. Paternó, F.: Model-Based Design and Evaluation of Interactive Application. Springer, Heidelberg (1999)
19. Paternó, F., Breedvelt-Schouten, I., de Konig, N.: Deriving Presentations from Task Models. In: Proceedings EHCI 1998, Creete, Kluwiert Publisher (1998)
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)
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)