A formal approach for user interaction reconfiguration of safety critical interactive systems

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

Volumn 5219 LNCS, Issue , 2008, Pages 373-386

  Navarre, David ^a   Palanque, Philippe ^a   Basnyat, Sandra ^a  

^a UNIVERSITÉ PAUL SABATIER   (France)

Author keywords

ARINC 661 specification; Formal description techniques; Interactive cockpits; Interactive software engineering; Model based approaches

Indexed keywords

CONTROL SYSTEMS; FLOW INTERACTIONS; QUALITY ASSURANCE; REAL TIME SYSTEMS; RELIABILITY; SAFETY ENGINEERING; SOFTWARE ENGINEERING; USER INTERFACES;

ARINC 661 SPECIFICATION; FORMAL DESCRIPTION TECHNIQUES; INTERACTIVE COCKPITS; INTERACTIVE SOFTWARE ENGINEERING; MODEL-BASED APPROACHES;

COMMAND AND CONTROL SYSTEMS;

EID: 56449107874     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-87698-4_31     Document Type: Conference Paper

References (24)

1. Accot, J., Chatty, S., Maury, S., Palanque, P.: Formal Transducers: Models of Devices and Building Bricks for Highly Interactive Systems. In: 4th EUROGRAPHICS workshop on design, specification and verification of Interactive systems, Spain, 5-7 June 1997, pp. 143-159. Springer, Heidelberg (1997)
2. ARINC 661, Prepared by Airlines Electronic Engineering Committee. Cockpit Display System Interfaces to User Systems. ARINC Specification 661 (2002)
3. ARINC 661-2, Prepared by Airlines Electronic Engineering Committee. Cockpit Display System Interfaces to User Systems. ARINC Specification 661-2 (2005)
4. Bastide, R., Palanque, P., Sy, O., Navarre, D.: Formal specification of CORBA services: experience and lessons learned. In: Proceedings of the 15th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (Minneapolis, Minnesota, United States). OOPSLA 2000, pp. 105-117. ACM, New York (2000)
5. Bastide, R., Sy, O., Navarre, D., Palanque, P.: A formal specification of the CORBA event service. IFIP TC6/WG6.1. In: 4th international conference on formal methods for open object-based distributed systems (FMOODS), Stanford univ., California, USA, pp. 371-395. Kluwer, Dordrecht (2000)
6. Bastide, R., Palanque, P., Sy, O., Le, D.-H., Navarre, D.: PetShop a case tool for Petri net based specification and prototyping of Corba Systems. In: Tool demonstration with Application and Theory of Petri nets ATPN 1999, Williamsburg (USA). LNCS, pp. 66-83. Springer, Heidelberg (1999)
7. Bastide, R., Navarre, D., Palanque, P., Schyn, A., Dragicevic, P.: A Model-Based Approach for Real-Time Embedded Multimodal Systems in Military Aircrafts. In: Sixth International Conference on Multimodal Interfaces (ICMI 2004), Pennsylvania State University, USA, October 14-15, 2004, pp. 243-250. ACM Press, New York (2004)
8. Barboni, E., Navarre, D., Palanque, P., Basnyat, S.: Exploitation of Formal Specification Techniques for ARINC 661 Interactive Cockpit Applications. In: Proceedings of HCI aero conference (HCI Aero 2006), Seattle, USA, pp. 81-89 (September 2006)
9. Barboni, E., Conversy, S., Navarre, D., Palanque, P.: Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification. In: Doherty, G., Blandford, A. (eds.) DSVIS 2006. LNCS, vol. 4323, pp. 25-38. Springer, Heidelberg (2007)
10. Csíkszentmihályi, M.: Flow: The Psychology of Optimal Experience. Harper and Row, New York (1990) ISBN 0-06-092043-2
11. Thevenin, D., Coutaz, J.: Plasticity of User Interfaces: Framework and Research Agenda. In: Proceedings of Interact 1999, Edinburgh: IFIP TC 13, vol. 1, pp. 110-117. IOS Press, Amsterdam (1999)
12. Eirinaki, M., Lampos, C., Paulakis, S., Vazirgiannis, M.: Web personalization integrating content semantics and navigational patterns. In: WIDM 2004: Proceedings of the 6th annual ACM international workshop on Web information and data management, pp. 72-79. ACM Press, New York (2004)
13. Feiler, P., Li, J.: Consistency in dynamic reconfiguration. In: International Conference on Configurable Distributed Systems, Annapolis, MD, pp. 189-196. IEEE, Los Alamitos (1998)
14. Genrich, H.J.: Predicate/Transitions Nets. High-Levels Petri Nets: Theory and Application. In: Jensen, K., Rozenberg, G. (eds.), pp. 3-43. Springer, Heidelberg (1991)
15. Lakos, C.: Language for Object-Oriented Petri Nets. #91-1. Department of Computer Science, University of Tasmania (1991)
16. MacKenzie, S., Zhang, S.X., Soukoreff, R.W.: Text entry using soft keyboards. Behaviour & Information Technology 18, 235-244 (1999)
17. Navarre, D., Palanque, P., Bastide, R.: A Tool-Supported Design Framework for Safety Critical Interactive Systems in Interacting with computers, vol. 15/3, pp. 309-328. Elsevier, Amsterdam (2003)
18. Navarre, D., Palanque, P., Bastide, R.: A Formal Description Technique for the Behavioural Description of Interactive Applications Compliant with ARINC 661 Specifications. In: HCI-Aero 2004, Toulouse, France, 29 September-1st October 2004. CD-ROM proceedings (2004)
19. 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, CD-ROM proceedings (2006)
20. Petri, C.A.: Kommunikation mit Automaten. Technical Univ. Darmstadt (1962)
21. Reason, J.: Human Error. Cambridge University Press, Cambridge (1990)
22. Ríos, S.A., Velásquez, J.D., Yasuda, H., Aoki, T.: Web Site Off-Line Structure Reconfiguration: A Web User Browsing Analysis, in Knowledge-Based Intelligent Information and Engineering Systems. In: Gabrys, B., Howlett, R.J., Jain, L.C. (eds.) KES 2006. LNCS (LNAI), vol. 4252, pp. 371-378. Springer, Heidelberg (2006)
23. User Interface Management Systems, Eurographics Seminar, Seeheim, 1983. In: Pfaff, G. (ed.). Springer, Berlin (1983)
24. van Dam, A.: Post-WIMP user interfaces. Commun. ACM 40(2), 63-67 (1997)