Model-based training: An approach supporting operability of critical interactive systems: Application to satellite ground segments

Proceedings of the 2011 SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2011

Volumn , Issue , 2011, Pages 53-62

  Martinie, Célia ^a   Palanque, Philippe ^a   Navarre, David ^a   Winckler, Marco ^a   Poupart, Erwann ^a  

^a UNIVERSITÉ PAUL SABATIER   (France)

Author keywords

Formal methods; Interactive critical systems; Systematic approach to training

Indexed keywords

CRITICAL SYSTEMS; GROUND SEGMENTS; GROUND SYSTEMS; HUMAN RELIABILITY; INSTRUCTIONAL DESIGNS; INSTRUCTIONAL SYSTEM; INTERACTIVE SYSTEM; INTERACTIVE SYSTEMS ENGINEERING; KEY FEATURE; MODEL BASED APPROACH; PROPER LEARNING; SAFETY CRITICAL SYSTEMS; SUBTASKS; SYSTEM MODELS; SYSTEMATIC APPROACH TO TRAINING; TASK ANALYSIS; TASK MODELS; TRAINING PROGRAM;

COMPUTER SYSTEMS; DESIGN; FORMAL METHODS; GROUND OPERATIONS; JOB ANALYSIS; USER INTERFACES;

PERSONNEL TRAINING;

EID: 79960177196     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1996461.1996495     Document Type: Conference Paper

References (28)

1. 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 '10. ACM, 143-152.
2. Cacciabue. P. C. Human error risk management for engineering systems: a methodology for design, safety assessment, accident investigation and training. Reliability Eng. and System Safety, (2004), 229-240.
3. Carroll, J M., Kellogg, W. and Rosson, M-B.: The Task-Artifact Cycle. In: Carroll, John M. "Designing Interaction: Psychology at the Human-Computer Interface", (1991), Cambridge University Press.
4. Clark, D. R., ISD Concept Map, retrieved January 2010 from http://nwlink.com/~donclark/hrd/ahold/isd.html
5. Dix, A. J., Formal Methods for Interactive Systems, Academic Press, (1991), 0-12-218315-0.
6. European Cooperation for Space Standardization, Space Engineering, Ground Systems and Operations, ECSS-E-70C, 31 July 2008.
7. European Organisation for the Safety of Air Navigation, "ATCO Basic Training - Training Plan", (2003).
8. European Organisation for the Safety of Air Navigation, "EATM Training Progression and Concepts", HRS/TSP-006-GUI-07, 26.03.2004.
9. Gagné, R., The Conditions of Learning and the Theory of Instruction, Holt, Rinehart, and Winston (Eds), (1985).
10. http://ihcs.irit.fr/petshop/, last accessed Nov. 2010.
11. International Atomic Energy Agency, Experience in the use of Systematic Approach to Training (SAT) for Nuclear Power Plant Personnel, Technical Report, IAEA-TECDOC-1057.
12. International Atomic Energy Agency, IAEA Nuclear Energy Series, "Managing Human Resources in the Field of Nuclear Energy", No.NG-G-2.1.
13. Martinie C., Palanque P., Navarre D., Winckler M. A formal approach supporting effective and efficient training program for improving operators' reliability. Safety and Reliability for managing Risk (ESREL 2010), p. 234-243.
14. Navarre, D., Palanque, P., Barboni E. and Mistrzyk, T. On the Benefit of Synergistic Model-Based Approach for Safety Critical Interactive System Testing. Proc. of TAMODIA 2007, (vol. 4849), Springer-pp. 140-154.
15. Navarre, D., Palanque, P., Winckler, M. Task Models and System Models as a Bridge between HCI and Software Engineering. In book "Human-Centered Software Engineering Software Engineering Models, Patterns and Architectures for HCI". Springer (Human-Computer Interaction Series), 2009, pages 357-385.
16. Navarre, D., Palanque, P., Ladry, J., and 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 (Nov. 2009), pp. 1-56.
17. Neitzel, D.K., How to develop an effective training program, IEEE Industry Applications Magazine, May-June 2006.
18. Norman D, The Design of everyday things, Basic Books, 2002.
19. Norman, D. A., Emotion and design: Attractive things work better. Interactions Magazine, ix (4), (2002), 36-42.
20. Object Management Group. Unified Modeling Language (UML) 2.0 Superstructure Specification, August 2003, Ptc/03-08-02, pp. 455-510.
21. Palanque P. & Bastide R, Synergistic modeling of tasks, system and users using formal specification techniques Interacting With Computers, 1997, Academic Press, pp. 129-153.
22. Palanque P., Ladry J., Navarre D. and Barboni E. High-Fidelity Prototyping of Interactive Systems can be Formal too, 13th Int. Conf. on HCI (2009) San Diego CA, USA.
23. Rasmussen, J., Skills, rules, knowledge; signals, signs, and symbols, and other distinctions in human performance models, 1983, IEEE trans. on systems, man and cybernetics, 13, 257-266. (Pubitemid 13591183)
24. Rasmussen, J. & Vicente, K. J., Coping with human errors through system design: Implications for ecological interface design, International Journal of Man-Machine Studies, 1989, 31, 517-534. (Pubitemid 20667320)
25. Reiser R.A., A History of Instructional Design and Technology: Part II: A History of Instructional Design, Educational Technology Research and Development, vol. 49, N. 2, 2001, pp. 57-61.
26. Scott, D.W., Growing a Training System and Culture for the Ares I Upper Stage Project, NASA Technical Report, Number: IEEEAC Paper 1550.
27. U.S. Department of Defense Training Document (1975). Pamphlet 350-30. August, 1975.
28. U.S. Army Field Artillery School (1984). A System Approach To Training (Course Student textbook). ST-5K061FD9.