{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:12:15Z","timestamp":1750306335115,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,6,21]],"date-time":"2016-06-21T00:00:00Z","timestamp":1466467200000},"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":[[2016,6,21]]},"DOI":"10.1145\/2933242.2933258","type":"proceedings-article","created":{"date-parts":[[2016,6,14]],"date-time":"2016-06-14T12:37:15Z","timestamp":1465907835000},"page":"108-119","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Engineering mixed-criticality interactive applications"],"prefix":"10.1145","author":[{"given":"Camille","family":"Fayollas","sequence":"first","affiliation":[{"name":"University of Toulouse, Toulouse, France"}]},{"given":"C\u00e9lia","family":"Martinie","sequence":"additional","affiliation":[{"name":"University of Toulouse, Toulouse, France"}]},{"given":"David","family":"Navarre","sequence":"additional","affiliation":[{"name":"University of Toulouse, Toulouse, France"}]},{"given":"Philippe","family":"Palanque","sequence":"additional","affiliation":[{"name":"University of Toulouse, Toulouse, France"}]}],"member":"320","published-online":{"date-parts":[[2016,6,21]]},"reference":[{"volume-title":"Guidelines for Development of Civil Aircraft and Systems, published by SAE International","year":"2010","key":"e_1_3_2_1_1_1","unstructured":"ARP 4754A , Guidelines for Development of Civil Aircraft and Systems, published by SAE International , 2010 . ARP 4754A, Guidelines for Development of Civil Aircraft and Systems, published by SAE International, 2010."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.2"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1822018.1822043"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/354401.354754"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011265604021"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1093\/iwc\/iwu003"},{"key":"e_1_3_2_1_7_1","volume-title":"published by RTCA and EUROCAE","author":"Formal Methods Supplement C","year":"2011","unstructured":"DO-333 Formal Methods Supplement to DO-178 C and DO-278A , published by RTCA and EUROCAE December 13, 2011 . DO-333 Formal Methods Supplement to DO-178C and DO-278A, published by RTCA and EUROCAE December 13, 2011."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44811-3_9"},{"key":"e_1_3_2_1_9_1","first-page":"1801","volume-title":"M. A Formal Framework for Design and Analysis of Human-Machine Interaction. Proceedings of IEEE System, Man and Cybernetics (SMC)","author":"Comb\u00e9fis S.","year":"2011","unstructured":"Comb\u00e9fis , S. , Giannakopoulou , D. , Pecheur , C. , Feary , M. A Formal Framework for Design and Analysis of Human-Machine Interaction. Proceedings of IEEE System, Man and Cybernetics (SMC) , Anchorage, USA , 2011 , pp. 1801 -- 1808 . Comb\u00e9fis, S., Giannakopoulou, D., Pecheur, C., Feary, M. A Formal Framework for Design and Analysis of Human-Machine Interaction. Proceedings of IEEE System, Man and Cybernetics (SMC), Anchorage, USA, 2011, pp. 1801--1808."},{"key":"e_1_3_2_1_10_1","unstructured":"CS-25 -- Amendment 17 - Certification Specifications and Acceptable Means of Compliance for Large Aeroplanes. EASA 2015  CS-25 -- Amendment 17 - Certification Specifications and Acceptable Means of Compliance for Large Aeroplanes. EASA 2015"},{"volume-title":"Software Considerations in Airborne Systems and Equipment Certification, published by RTCA and EUROCAE","year":"2012","key":"e_1_3_2_1_11_1","unstructured":"DO-178C \/ ED-12C , Software Considerations in Airborne Systems and Equipment Certification, published by RTCA and EUROCAE , 2012 . DO-178C \/ ED-12C, Software Considerations in Airborne Systems and Equipment Certification, published by RTCA and EUROCAE, 2012."},{"volume-title":"Design Assurance Guidance for Airborne Electronic Hardware, published by RTCA and EUROCAE","year":"2000","key":"e_1_3_2_1_12_1","unstructured":"DO-254\/ED-80. Design Assurance Guidance for Airborne Electronic Hardware, published by RTCA and EUROCAE , 2000 . DO-254\/ED-80. Design Assurance Guidance for Airborne Electronic Hardware, published by RTCA and EUROCAE, 2000."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44811-3_9"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1992.0033"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1989.0045"},{"key":"e_1_3_2_1_16_1","volume-title":"Information processing systems -- Open Systems Interconnection -- LOTOS -- A formal description technique based on the temporal ordering of observational behaviour","author":"International Standard Organisation","year":"1989","unstructured":"International Standard Organisation , ISO 8807:1989 , Information processing systems -- Open Systems Interconnection -- LOTOS -- A formal description technique based on the temporal ordering of observational behaviour , 1989 . International Standard Organisation, ISO 8807:1989, Information processing systems -- Open Systems Interconnection -- LOTOS -- A formal description technique based on the temporal ordering of observational behaviour, 1989."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-007-0038-x"},{"key":"e_1_3_2_1_18_1","first-page":"341","volume-title":"July 15-20","author":"Kamel N.","year":"2007","unstructured":"Kamel , N. , Ait Ameur , Y. A Formal Model for CARE Usability Properties Verification in Multimodal HCI. In proceeding of IEEE International Conference on Pervasive Services , July 15-20 , 2007 , Istanbul , Turkey , pp. 341 -- 348 . Kamel, N., Ait Ameur, Y. A Formal Model for CARE Usability Properties Verification in Multimodal HCI. In proceeding of IEEE International Conference on Pervasive Services, July 15-20, 2007, Istanbul, Turkey, pp. 341--348."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/11526841_30"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-2271-5_4"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2774225.2774845"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/530225"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/200968.200971"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1614390.1614393"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2607023.2610280"},{"key":"e_1_3_2_1_26_1","first-page":"135","volume-title":"Specification and Verification. LNCS 1946","author":"Patern\u00f3 F.","year":"2001","unstructured":"Patern\u00f3 , F. , Santoro , C. Integrating model checking and HCI tools to help designers verify user interface properties. Palanque and Patern\u00f3 (eds), DSV-IS 2000 Interactive Systems: Design , Specification and Verification. LNCS 1946 , Springer 2001 , pp. 135 -- 150 . Patern\u00f3, F., Santoro, C. Integrating model checking and HCI tools to help designers verify user interface properties. Palanque and Patern\u00f3 (eds), DSV-IS 2000 Interactive Systems: Design, Specification and Verification. LNCS 1946, Springer 2001, pp. 135--150."},{"key":"e_1_3_2_1_27_1","volume-title":"Proc. 19th IFAC World Congres1 12278--12283","author":"Salazar E.","year":"2014","unstructured":"Salazar , E. , Alonso , A. , and Garrido , J . ( 2014 ). Mixed-criticality design of a satellite software system. In E. Boje and X. Xia (eds.) , Proc. 19th IFAC World Congres1 12278--12283 . Salazar, E., Alonso, A., and Garrido, J. (2014). Mixed-criticality design of a satellite software system. In E. Boje and X. Xia (eds.), Proc. 19th IFAC World Congres1 12278--12283."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2305484.2305506"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/11526841_30"}],"event":{"name":"EICS'16: ACM SIGCHI Symposium on Engineering Interactive Computing Systems","sponsor":["iMinds iMinds","UHasselt Hasselt University","ACM Association for Computing Machinery","SIGCHI ACM Special Interest Group on Computer-Human Interaction","EDM Expertise Center for Digital Media"],"location":"Brussels Belgium","acronym":"EICS'16"},"container-title":["Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2933242.2933258","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2933242.2933258","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:54:52Z","timestamp":1750222492000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2933242.2933258"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6,21]]},"references-count":29,"alternative-id":["10.1145\/2933242.2933258","10.1145\/2933242"],"URL":"https:\/\/doi.org\/10.1145\/2933242.2933258","relation":{},"subject":[],"published":{"date-parts":[[2016,6,21]]},"assertion":[{"value":"2016-06-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}