{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T23:04:32Z","timestamp":1756076672548,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,5,11]],"date-time":"2011-05-11T00:00:00Z","timestamp":1305072000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100002830","name":"Centre National d'Etudes Spatiales","doi-asserted-by":"publisher","award":["R-S08\/BS-0003-029"],"award-info":[{"award-number":["R-S08\/BS-0003-029"]}],"id":[{"id":"10.13039\/501100002830","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003204","name":"Airbus","doi-asserted-by":"publisher","award":["CIFRE PBO D08028747-788\/2008"],"award-info":[{"award-number":["CIFRE PBO D08028747-788\/2008"]}],"id":[{"id":"10.13039\/501100003204","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,5,11]]},"DOI":"10.1145\/1978582.1978592","type":"proceedings-article","created":{"date-parts":[[2011,5,17]],"date-time":"2011-05-17T12:59:14Z","timestamp":1305637154000},"page":"43-48","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Self-checking widgets for interactive cockpits"],"prefix":"10.1145","author":[{"given":"A. Tankeu","family":"Choitat","sequence":"first","affiliation":[{"name":"AIRBUS Operations, Route de Bayonne, Toulouse, France and IRIT, University of Toulouse, Route de Narbonne, Toulouse, France"}]},{"given":"J.-C.","family":"Fabre","sequence":"additional","affiliation":[{"name":"LAAS-CNRS, avenue du colonel Roche, Toulouse, France"}]},{"given":"P.","family":"Palanque","sequence":"additional","affiliation":[{"name":"IRIT, University of Toulouse, Route de Narbonne, Toulouse, France"}]},{"given":"D.","family":"Navarre","sequence":"additional","affiliation":[{"name":"IRIT, University of Toulouse, Route de Narbonne, Toulouse, France"}]},{"given":"Y.","family":"Deleris","sequence":"additional","affiliation":[{"name":"AIRBUS Operations, Route de Bayonne, Toulouse, France"}]}],"member":"320","published-online":{"date-parts":[[2011,5,11]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"ARINC 661 Cockpit Display System Interfaces to User Systems. ARINC Specification 661. Airlines Electronic Engineering Committee 2002  ARINC 661 Cockpit Display System Interfaces to User Systems. ARINC Specification 661. Airlines Electronic Engineering Committee 2002"},{"key":"e_1_3_2_1_2_1","volume-title":"Airlines Electronic Engineering Committee","author":"Avionics Application Software Standard","year":"2003","unstructured":"ARINC 653 Avionics Application Software Standard Interface. ARINC Specification 653 . Airlines Electronic Engineering Committee July 15, 2003 ARINC 653 Avionics Application Software Standard Interface. ARINC Specification 653. Airlines Electronic Engineering Committee July 15, 2003"},{"key":"e_1_3_2_1_3_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 n\u00b0 4323, pp. 25 -- 38 . Springer. 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 n\u00b0 4323, pp. 25--38. Springer."},{"key":"e_1_3_2_1_4_1","volume-title":"Palanque P. A Petri Net Based Environment for the Design of Event-Driven Interfaces. 16th Int. Conference on Application and theory of Petri Nets (ATPN'95)","author":"Bastide R.","year":"1995","unstructured":"Bastide R. , Palanque P. A Petri Net Based Environment for the Design of Event-Driven Interfaces. 16th Int. Conference on Application and theory of Petri Nets (ATPN'95) , LNCS, Springer Verlag, Torino, Italy, 20- -22 June 1995 . Bastide R., Palanque P. A Petri Net Based Environment for the Design of Event-Driven Interfaces. 16th Int. Conference on Application and theory of Petri Nets (ATPN'95), LNCS, Springer Verlag, Torino, Italy, 20--22 June 1995."},{"key":"e_1_3_2_1_5_1","first-page":"1379","volume-title":"A formal notation and tool for the engineering of CORBA systems. Concurrency: practice and experience","author":"Bastide R.","year":"2000","unstructured":"Bastide R. , Sy O. and Palanque P . A formal notation and tool for the engineering of CORBA systems. Concurrency: practice and experience ( Wiley) Vol . 12, pp. 1379 -- 1303 , 2000 . Bastide R., Sy O. and Palanque P. A formal notation and tool for the engineering of CORBA systems. Concurrency: practice and experience (Wiley) Vol. 12, pp. 1379--03, 2000."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/353171.353179"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/191666.191793"},{"key":"e_1_3_2_1_8_1","first-page":"185","volume-title":"Analysis and Verification of Human-Automation Interfaces. Human Centered Computing: Cognitive, Social and Ergonomic Aspects","author":"Degani A.","year":"2003","unstructured":"Degani A. , & Heymann , M. ( 2003 ). Analysis and Verification of Human-Automation Interfaces. Human Centered Computing: Cognitive, Social and Ergonomic Aspects , Vol. 3 , pp. 185 -- 189 ., NJ : Erlbaum . (Proceedings of the 10th Int. Conf. on HCI) Degani A., & Heymann, M. (2003). Analysis and Verification of Human-Automation Interfaces. Human Centered Computing: Cognitive, Social and Ergonomic Aspects, Vol. 3, pp. 185--189., NJ: Erlbaum. (Proceedings of the 10th Int. Conf. on HCI)"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1358628.1358806"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-3-642-84524-6_1","volume-title":": Predicate\/Transitions Nets. High-Levels Petri Nets: Theory and Application","author":"Genrich H. J.","year":"1991","unstructured":"Genrich , H. J. : Predicate\/Transitions Nets. High-Levels Petri Nets: Theory and Application . In: Jensen, K., Rozenberg, G. (eds.), pp. 3 -- 43 . Springer , ( 1991 ) Genrich, H. J.: Predicate\/Transitions Nets. High-Levels Petri Nets: Theory and Application. In: Jensen, K., Rozenberg, G. (eds.), pp. 3--43. Springer, (1991)"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1080\/01449290310001624329"},{"volume-title":"The thing and I: understanding the relationship between user and product","author":"Hassenzahl M.","key":"e_1_3_2_1_12_1","unstructured":"Hassenzahl M. The thing and I: understanding the relationship between user and product . In Funology, Mark A. Blythe, Kees Overbeeke, Andrew F. Monk, and Peter C. Wright (Eds.). Kluwer Academic Publishers , Norwell, MA, USA 31--42 Hassenzahl M. The thing and I: understanding the relationship between user and product. In Funology, Mark A. Blythe, Kees Overbeeke, Andrew F. Monk, and Peter C. Wright (Eds.). Kluwer Academic Publishers, Norwell, MA, USA 31--42"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.903170"},{"key":"e_1_3_2_1_14_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"},{"volume-title":"Ergonomic requirements for office work with visual display terminals (VDT) - Part 11 Guidance on usability","year":"1996","key":"e_1_3_2_1_15_1","unstructured":"ISO DIS 9241-11 ( 1996 ) Ergonomic requirements for office work with visual display terminals (VDT) - Part 11 Guidance on usability ISO DIS 9241-11 (1996) Ergonomic requirements for office work with visual display terminals (VDT) - Part 11 Guidance on usability"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.56851"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.intcom.2005.06.001"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1647314.1647343"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1614390.1614393"},{"key":"e_1_3_2_1_20_1","first-page":"309","volume-title":"R.: A Tool-Supported Design Framework for Safety Critical Interactive Systems in Interacting with computers","author":"Navarre D.","year":"2003","unstructured":"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 . ( 2003 ) 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. (2003)"},{"volume-title":"Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986-Part II","author":"Oberquelle H.","key":"e_1_3_2_1_21_1","unstructured":"Oberquelle H. Human-Machine Interaction and Role\/Function\/Action-Nets . In Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986-Part II , Springer-Verlag , 171--190. Oberquelle H. Human-Machine Interaction and Role\/Function\/Action-Nets. In Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986-Part II, Springer-Verlag, 171--190."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/800195.805945"},{"key":"e_1_3_2_1_23_1","first-page":"210","volume-title":"HCI Aero conference (HCI Aero 2010)","author":"Tankeu-Choitat A.","unstructured":"Tankeu-Choitat , A. , Navarre , D. , Palanque , P. , Deleris , Y. Fabre , J-C . An Approach for Assessing both Usability and Dependability of Interactive Systems: Applications to Interactive Cockpits . HCI Aero conference (HCI Aero 2010) pp. 210 -- 220 , ACM DL. Tankeu-Choitat, A., Navarre, D., Palanque, P., Deleris, Y. Fabre, J-C. An Approach for Assessing both Usability and Dependability of Interactive Systems: Applications to Interactive Cockpits. HCI Aero conference (HCI Aero 2010) pp. 210--220, ACM DL."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1570433.1570474"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-8157-6_18"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/800027.808468"},{"key":"e_1_3_2_1_27_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)"}],"event":{"name":"EWDC '11: 13th European Workshop on Dependable Computing","acronym":"EWDC '11","location":"Pisa Italy"},"container-title":["Proceedings of the 13th European Workshop on Dependable Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1978582.1978592","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1978582.1978592","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:59:37Z","timestamp":1750244377000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1978582.1978592"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,5,11]]},"references-count":27,"alternative-id":["10.1145\/1978582.1978592","10.1145\/1978582"],"URL":"https:\/\/doi.org\/10.1145\/1978582.1978592","relation":{},"subject":[],"published":{"date-parts":[[2011,5,11]]},"assertion":[{"value":"2011-05-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}