{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:18:33Z","timestamp":1750306713723,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":54,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,10,28]],"date-time":"2014-10-28T00:00:00Z","timestamp":1414454400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,10,28]]},"DOI":"10.1145\/2670444.2670462","type":"proceedings-article","created":{"date-parts":[[2014,11,11]],"date-time":"2014-11-11T13:40:05Z","timestamp":1415713205000},"page":"80-90","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A fault-tolerant architecture for resilient interactive systems"],"prefix":"10.1145","author":[{"given":"Camille","family":"Fayollas","sequence":"first","affiliation":[{"name":"CNRS, LAAS, Toulouse, France and ICS-IRIT, University of Toulouse, Toulouse, France"}]},{"given":"Philippe","family":"Palanque","sequence":"additional","affiliation":[{"name":"ICS-IRIT, University of Toulouse, Toulouse, France"}]},{"given":"Jean-Charles","family":"Fabre","sequence":"additional","affiliation":[{"name":"CNRS, LAAS, Toulouse, France and Univ de Toulouse, INP, LAAS, Toulouse, France"}]},{"given":"David","family":"Navarre","sequence":"additional","affiliation":[{"name":"ICS-IRIT, University of Toulouse, Toulouse, France"}]},{"given":"Eric","family":"Barboni","sequence":"additional","affiliation":[{"name":"ICS-IRIT, University of Toulouse, Toulouse, France"}]},{"given":"Martin","family":"Cronel","sequence":"additional","affiliation":[{"name":"ICS-IRIT, University of Toulouse, Toulouse, France"}]},{"given":"Yannick","family":"Deleris","sequence":"additional","affiliation":[{"name":"AIRBUS Operations, Toulouse, France"}]}],"member":"320","published-online":{"date-parts":[[2014,10,28]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Formal Transducers: Models of Devices and Building Bricks for Highly Interactive Systems 4th Eurographics workshop on \"design, specification and verification of Interactive systems","author":"Accot J.","year":"1997","unstructured":"Accot J. , Chatty S. , Maury S. and Palanque P . Formal Transducers: Models of Devices and Building Bricks for Highly Interactive Systems 4th Eurographics workshop on \"design, specification and verification of Interactive systems \", 1997 , Springer Verlag . Accot J., Chatty S., Maury S. and Palanque P. Formal Transducers: Models of Devices and Building Bricks for Highly Interactive Systems 4th Eurographics workshop on \"design, specification and verification of Interactive systems\", 1997, Springer Verlag."},{"key":"e_1_3_2_1_2_1","volume-title":"Airlines Electronic Eng. Committee","author":"Avionics Application Software Standard","year":"2003","unstructured":"ARINC 653 Avionics Application Software Standard Interface. ARINC Specification 653 . Airlines Electronic Eng. Committee July 15, 2003 ARINC 653 Avionics Application Software Standard Interface. ARINC Specification 653. Airlines Electronic Eng. Committee July 15, 2003"},{"key":"e_1_3_2_1_3_1","volume-title":"Airlines Electronic Eng. Committee","author":"Cockpit Display System Interfaces ARINC","year":"2002","unstructured":"ARINC 661 Cockpit Display System Interfaces to User Systems. ARINC Specification 661. Airlines Electronic Eng. Committee 2002 . ARINC 661 Cockpit Display System Interfaces to User Systems. ARINC Specification 661. Airlines Electronic Eng. Committee 2002."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.2"},{"key":"e_1_3_2_1_5_1","first-page":"25","volume-title":"DSVIS","author":"Barboni E.","year":"2006","unstructured":"Barboni , E. , Conversy , S. , Navarre , D. , Palanque , P. Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification . DSVIS 2006 . LNCS 4323, pp. 25 -- 38 . Barboni, E., Conversy, S., Navarre, D., Palanque, P. Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification. DSVIS 2006. LNCS 4323, pp. 25--38."},{"key":"e_1_3_2_1_6_1","volume-title":"Vol 45, n\u00b05, June, ISSN: 0925-7535","author":"Basnyat S","year":"2007","unstructured":"Basnyat , S , Palanque , P , Schupp , B , Wright , P ( 2007 ) Formal socio-technical barrier modelling for safety-critical interactive systems design (2007) Safety Science , Vol 45, n\u00b05, June, ISSN: 0925-7535 Basnyat, S, Palanque, P, Schupp, B, Wright, P (2007) Formal socio-technical barrier modelling for safety-critical interactive systems design (2007) Safety Science, Vol 45, n\u00b05, June, ISSN: 0925-7535"},{"key":"e_1_3_2_1_7_1","volume-title":"Multidisciplinary perspective on accident investigation. Reliability Engineering & System Safety","author":"Basnyat S.","year":"2006","unstructured":"Basnyat S. , Chozos N. and Palanque P . Multidisciplinary perspective on accident investigation. Reliability Engineering & System Safety Volume 91 , n\u00b0 12, 2006 , Pages 1502--1520 Basnyat S., Chozos N. and Palanque P. Multidisciplinary perspective on accident investigation. Reliability Engineering & System Safety Volume 91, n\u00b0 12, 2006, Pages 1502--1520"},{"key":"e_1_3_2_1_8_1","volume-title":"The Arch Model: Seeheim Revisited.\" UI Developpers' Workshop. 1.0","author":"Bass L.","year":"1991","unstructured":"Bass , L. , Little , R. , Pellegrino , R. , Reed , S. , Seacord , R. , Sheppard , S. , and Szezur , M. R . \" The Arch Model: Seeheim Revisited.\" UI Developpers' Workshop. 1.0 ( 1991 ). Bass, L., Little, R., Pellegrino, R., Reed, S., Seacord, R., Sheppard, S., and Szezur, M. R. \"The Arch Model: Seeheim Revisited.\" UI Developpers' Workshop. 1.0 (1991)."},{"key":"e_1_3_2_1_9_1","first-page":"309","volume-title":"Interacting with computers","author":"Bastide R.","year":"2003","unstructured":"Bastide , R. , Palanque , P. , Navarre , D. , A Tool-Supported Design Framework for Safety Critical Interactive Systems , Interacting with computers , 2003 , vol. 15\/3 , pp. 309 -- 328 . Bastide, R., Palanque, P., Navarre, D., A Tool-Supported Design Framework for Safety Critical Interactive Systems, Interacting with computers, 2003, vol. 15\/3, pp. 309--328."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/353171.353179"},{"key":"e_1_3_2_1_11_1","volume-title":"Software Architecture in Practice","author":"Bass L.","year":"1998","unstructured":"Bass L. , Clements P. , Kazman R. , Software Architecture in Practice , Addison Wesley , Reading, Mass ., 1998 . Bass L., Clements P., Kazman R., Software Architecture in Practice, Addison Wesley, Reading, Mass., 1998."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1996461.1996515"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2305484.2305505"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2494603.2480314"},{"issue":"4","key":"e_1_3_2_1_15_1","first-page":"189","article-title":"Formal Methods","volume":"8","author":"Bowen J.","year":"1993","unstructured":"Bowen J. and Stavridou V . Formal Methods , Safety-Critical Systems and Standards. Software Engineering Journal , 8 ( 4 ): 189 -- 209 , July 1993 . Bowen J. and Stavridou V. Formal Methods, Safety-Critical Systems and Standards. Software Engineering Journal, 8(4):189--209, July 1993.","journal-title":"Safety-Critical Systems and Standards. Software Engineering Journal"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-6878-3_8"},{"key":"e_1_3_2_1_17_1","volume-title":"Proc. of 5th Int. Conf. on Human-Machine Interaction and Artificial Intelligence in Aerospace.","author":"Dearden A. M","year":"1995","unstructured":"Dearden , A. M and Harrison , M. D . Formalising human error resistance and human error tolerance . Proc. of 5th Int. Conf. on Human-Machine Interaction and Artificial Intelligence in Aerospace. 1995 . EURISCO Dearden, A. M and Harrison, M. D. Formalising human error resistance and human error tolerance. Proc. of 5th Int. Conf. on Human-Machine Interaction and Artificial Intelligence in Aerospace. 1995. EURISCO"},{"volume-title":"32nd Digital Avionics System Conference (DASC), October 6--10 2013","author":"Dessiatnikoff A.","key":"e_1_3_2_1_18_1","unstructured":"Dessiatnikoff A. , Nicomette V. , Alata E. , Deswarte Y. , Leconte B. , Combes A. and Simache C . Securing Integrated Modular Avionics computers , 32nd Digital Avionics System Conference (DASC), October 6--10 2013 : Dessiatnikoff A., Nicomette V., Alata E., Deswarte Y., Leconte B., Combes A. and Simache C. Securing Integrated Modular Avionics computers, 32nd Digital Avionics System Conference (DASC), October 6--10 2013:"},{"key":"e_1_3_2_1_19_1","unstructured":"DO-254 - Design Assurance Guidance for Airborne Electronic Hardware RTCA Inc. EUROCAE April 2000.  DO-254 - Design Assurance Guidance for Airborne Electronic Hardware RTCA Inc. EUROCAE April 2000."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33176-3_3"},{"volume-title":"20th IEEE Pacific Rim Int. Symp. on Dependable Computing. LNCS.","author":"Fayollas C.","key":"e_1_3_2_1_21_1","unstructured":"Fayollas C. , Fabre J.-C. , Palanque P. , Cronel M. , Navarre D. , Deleris Y. A software-implemented fault-tolerance approach for control and display systems in avionics . 20th IEEE Pacific Rim Int. Symp. on Dependable Computing. LNCS. Fayollas C., Fabre J.-C., Palanque P., Cronel M., Navarre D., Deleris Y. A software-implemented fault-tolerance approach for control and display systems in avionics. 20th IEEE Pacific Rim Int. Symp. on Dependable Computing. LNCS."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC.2014.17"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2494603.2480311"},{"key":"e_1_3_2_1_24_1","first-page":"129","volume-title":"Formal Methods in Human Computer Interaction","author":"Harrison M.","year":"1990","unstructured":"Harrison M. & Dix A. A state model of direct manipulation . In M. Harrison and H. Thimbleby (eds.) Formal Methods in Human Computer Interaction , p. 129 -- 151 , Cambridge University Press , 1990 . Harrison M. & Dix A. A state model of direct manipulation. In M. Harrison and H. Thimbleby (eds.) Formal Methods in Human Computer Interaction, p. 129--151, Cambridge University Press, 1990."},{"key":"e_1_3_2_1_25_1","first-page":"341","volume-title":"Annual Reliability and Maintainability Symp.","author":"Hecht H.","year":"1987","unstructured":"Hecht H. and Fiorentino E . Reliability assessment of spacecraft electronics . In Annual Reliability and Maintainability Symp. , pages 341 -- 346 . IEEE, 1987 . Hecht H. and Fiorentino E. Reliability assessment of spacecraft electronics. In Annual Reliability and Maintainability Symp., pages 341--346. IEEE, 1987."},{"key":"e_1_3_2_1_26_1","volume-title":"Barriers and Accident Prevention","author":"Hollnagel E.","year":"2004","unstructured":"Hollnagel , E. Barriers and Accident Prevention . 2004 . Ashgage . Hollnagel, E. Barriers and Accident Prevention. 2004. Ashgage."},{"key":"e_1_3_2_1_27_1","volume-title":"SC26-4582-0","author":"IBM","year":"1989","unstructured":"IBM ( 1989 ) Common User Access: Advanced Interface Design Guide. IBM , SC26-4582-0 IBM (1989) Common User Access: Advanced Interface Design Guide. IBM, SC26-4582-0"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1647314.1647347"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.56851"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1996461.1996495"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2494603.2480302"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87698-4_31"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1614390.1614393"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.engappai.2004.08.031"},{"volume-title":"Proc. of the 18th IEEE Int. Symp. on Defect and Fault Tolerance in VLSI Systems (DFT '03)","author":"Nicolescu B.","key":"e_1_3_2_1_35_1","unstructured":"Nicolescu B. , Peronnard P. , Velazco R. , and Savaria Y . Efficiency of Transient Bit-Flips Detection by Software Means: A Complete Study . Proc. of the 18th IEEE Int. Symp. on Defect and Fault Tolerance in VLSI Systems (DFT '03) . IEEE Computer Society, 377--384. Nicolescu B., Peronnard P., Velazco R., and Savaria Y. Efficiency of Transient Bit-Flips Detection by Software Means: A Complete Study. Proc. of the 18th IEEE Int. Symp. on Defect and Fault Tolerance in VLSI Systems (DFT '03). IEEE Computer Society, 377--384."},{"key":"e_1_3_2_1_36_1","first-page":"123","volume-title":"6th International Conference on Human Error, Safety and System Development, Springer Verlag","author":"Palanque P.","unstructured":"Palanque P. & Basnyat S. Task Patterns for Taking into account in an efficient and systematic way both standard and erroneous user behaviours . 6th International Conference on Human Error, Safety and System Development, Springer Verlag pp. 123 -- 139 . Palanque P. & Basnyat S. Task Patterns for Taking into account in an efficient and systematic way both standard and erroneous user behaviours. 6th International Conference on Human Error, Safety and System Development, Springer Verlag pp. 123--139."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1996461.1996490"},{"key":"e_1_3_2_1_38_1","volume-title":"Dourte L. Contextual Help for Free with Formal Dialogue Design. In proceedings of the Fifth International Conference on Human-Computer Interaction, (HCI International '93)","volume":"2","author":"Palanque P.","year":"1993","unstructured":"Palanque P. , Bastide R. , Dourte L. Contextual Help for Free with Formal Dialogue Design. In proceedings of the Fifth International Conference on Human-Computer Interaction, (HCI International '93) , 1993 , Volume 2 Palanque P., Bastide R., Dourte L. Contextual Help for Free with Formal Dialogue Design. In proceedings of the Fifth International Conference on Human-Computer Interaction, (HCI International '93), 1993, Volume 2"},{"key":"e_1_3_2_1_39_1","first-page":"510","volume-title":"A Survey of Current Trends. LNCS n\u00b0 224","author":"Pnueli A","year":"1986","unstructured":"Pnueli A Applications of Temporal Logic to the Specification and Verification of Reactive Systems : A Survey of Current Trends. LNCS n\u00b0 224 p. 510 -- 584 . Springer Verlag 1986 . Pnueli A Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends. LNCS n\u00b0 224 p.510--584. Springer Verlag 1986."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/s101110200016"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2448136.2448159"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139062367","volume-title":"Human Error","author":"Reason J.","year":"1990","unstructured":"Reason , J. ( 1990 ). Human Error , Cambridge University Press ( et sa trad: L'erreur humaine, PUF Le travail humain, 1993) Reason, J. (1990). Human Error, Cambridge University Press (et sa trad: L'erreur humaine, PUF Le travail humain, 1993)"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/317087.317088"},{"key":"e_1_3_2_1_44_1","unstructured":"RTCA-EUROCAE. Software Considerations in Airborne Systems and Equipment Certification. DO-178B\/ED-12B December (1992)  RTCA-EUROCAE. Software Considerations in Airborne Systems and Equipment Certification. DO-178B\/ED-12B December (1992)"},{"volume-title":"SAE Architecture Analysis and Design Language (AADL)","year":"2012","key":"e_1_3_2_1_45_1","unstructured":"SAE-AS5506B : SAE Architecture Analysis and Design Language (AADL) , Interanctional Society of Automotive Engineers , Warrendale, PA, USA ( September 2012 ). SAE-AS5506B: SAE Architecture Analysis and Design Language (AADL), Interanctional Society of Automotive Engineers, Warrendale, PA, USA (September 2012)."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1555349.1555372"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/PRDC.2011.28"},{"key":"e_1_3_2_1_48_1","volume-title":"Self-Checking Components for Dependable Interactive Cockpits. Work, on Dependable Computing (EWDC","author":"Tankeu-Choitat A.","year":"2011","unstructured":"Tankeu-Choitat A. , Fabre J-C. , Palanque P. , Navarre D. , Deleris Y. Self-Checking Components for Dependable Interactive Cockpits. Work, on Dependable Computing (EWDC 2011 ), ACM DL 10p. Tankeu-Choitat A., FabreJ-C., Palanque P., Navarre D., Deleris Y. Self-Checking Components for Dependable Interactive Cockpits. Work, on Dependable Computing (EWDC 2011), ACM DL 10p."},{"volume-title":"Proceedings of the 4th Int. Workshop on Formal Methods for Interactive Systems (FMIS 2011)","author":"Thimbleby H.","key":"e_1_3_2_1_49_1","unstructured":"Thimbleby H. , Gimblett A. Dependable keyed data entry for interactive systems . Proceedings of the 4th Int. Workshop on Formal Methods for Interactive Systems (FMIS 2011) Thimbleby H., Gimblett A. Dependable keyed data entry for interactive systems. Proceedings of the 4th Int. Workshop on Formal Methods for Interactive Systems (FMIS 2011)"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-8157-6_18"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/253769.253801"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/2335356.2335367"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/800027.808468"},{"key":"e_1_3_2_1_54_1","first-page":"293","volume-title":"IEEE Aerospace Applications Conf.","author":"Yeh Y. C.","year":"1996","unstructured":"Yeh Y. C. ( Bob ), \" Triple-Triple Redundant 777 Primary Flight Computer\" , IEEE Aerospace Applications Conf. , pp 293 -- 307 , 1996 Yeh Y. C. (Bob), \"Triple-Triple Redundant 777 Primary Flight Computer\", IEEE Aerospace Applications Conf., pp 293--307, 1996"}],"event":{"name":"IHM '14: 26e conference francophone sur l'Interaction Homme-Machine","sponsor":["AFIHM Ass. Francophone d'Interaction Homme-Machine","INRIA Institut Natl de Recherche en Info et en Automatique","SIGCHI ACM Special Interest Group on Computer-Human Interaction"],"location":"Villeneuve d'Ascq France","acronym":"IHM '14"},"container-title":["Proceedings of the 26th Conference on l'Interaction Homme-Machine"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2670444.2670462","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2670444.2670462","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:19:20Z","timestamp":1750231160000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2670444.2670462"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10,28]]},"references-count":54,"alternative-id":["10.1145\/2670444.2670462","10.1145\/2670444"],"URL":"https:\/\/doi.org\/10.1145\/2670444.2670462","relation":{},"subject":[],"published":{"date-parts":[[2014,10,28]]},"assertion":[{"value":"2014-10-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}