{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:09:38Z","timestamp":1750306178649,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,9,14]],"date-time":"2016-09-14T00:00:00Z","timestamp":1473811200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Airbus"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,9,14]]},"DOI":"10.1145\/2950112.2964578","type":"proceedings-article","created":{"date-parts":[[2017,1,23]],"date-time":"2017-01-23T20:35:52Z","timestamp":1485203752000},"page":"1-9","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A three-fold approach towards increased assurance levels for interactive systems"],"prefix":"10.1145","author":[{"given":"C.","family":"Fayollas","sequence":"first","affiliation":[{"name":"Universit\u00e9 de Toulouse, France"}]},{"given":"J.-C.","family":"Fabre","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Toulouse, France"}]},{"given":"P.","family":"Palanque","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Toulouse, France"}]},{"given":"M.","family":"Cronel","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Toulouse, France"}]},{"given":"D.","family":"Navarre","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Toulouse, France"}]},{"given":"Y.","family":"Deleris","sequence":"additional","affiliation":[{"name":"AIRBUS Operations, Toulouse, France"}]}],"member":"320","published-online":{"date-parts":[[2016,9,14]]},"reference":[{"volume-title":"AEEC","year":"2006","key":"e_1_3_2_1_1_1","unstructured":"ARINC 653. Avionics Application Software Standard Interface. ARINC Specification 653--2 . AEEC , 2006 ARINC 653. Avionics Application Software Standard Interface. ARINC Specification 653--2. AEEC, 2006"},{"volume-title":"AEEC","year":"2013","key":"e_1_3_2_1_2_1","unstructured":"ARINC 661. Cockpit Display System Interfaces to User Systems. ARINC Specification 661--5 . AEEC , 2013 ARINC 661. Cockpit Display System Interfaces to User Systems. ARINC Specification 661--5. AEEC, 2013"},{"key":"e_1_3_2_1_3_1","unstructured":"ARISS\n  : http:\/\/makrin.github.io\/ARISS\/  ARISS: http:\/\/makrin.github.io\/ARISS\/"},{"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":"Int. Conf. on Design Specification and Verification of Interactive Systems (DSV-IS","author":"Barboni E.","year":"2006","unstructured":"Barboni E. Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification . Int. Conf. on Design Specification and Verification of Interactive Systems (DSV-IS 2006 ), pp. 25 -- 38 , Springer Verlag. Barboni E. et al. Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification. Int. Conf. on Design Specification and Verification of Interactive Systems (DSV-IS 2006), pp. 25--38, Springer Verlag."},{"key":"e_1_3_2_1_6_1","unstructured":"CS-25 -- Amendment 14 - Certification Specifications and Acceptable Means of Compliance for Large Aeroplanes. EASA 2013  CS-25 -- Amendment 14 - Certification Specifications and Acceptable Means of Compliance for Large Aeroplanes. EASA 2013"},{"key":"e_1_3_2_1_7_1","volume-title":"Control, Communications, Computer, Intelligence, Surveillance, and Reconnaissance (C4ISR) Facilities","author":"Department of the Army, TM 5-698-4, Failure Modes","year":"2006","unstructured":"Department of the Army, TM 5-698-4, Failure Modes , Effects and Criticallity Analysis (FMECA) For Command , Control, Communications, Computer, Intelligence, Surveillance, and Reconnaissance (C4ISR) Facilities , 2006 . Department of the Army, TM 5-698-4, Failure Modes, Effects and Criticallity Analysis (FMECA) For Command, Control, Communications, Computer, Intelligence, Surveillance, and Reconnaissance (C4ISR) Facilities, 2006."},{"volume-title":"Software Considerations in Airborne Systems and Equipment Certification, published by RTCA and EUROCAE","year":"2012","key":"e_1_3_2_1_8_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."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC.2014.17"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/PRDC.2014.11"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1504\/IJCCBS.2013.058407"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-3-642-84524-6_1","volume-title":"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 . pp. 3 -- 43 . Springer, Heidelberg , LNCS, Springer ( 1991 ) Genrich, H.J. Predicate\/Transitions Nets. High-Levels Petri Nets: Theory and Application. pp. 3--43. Springer, Heidelberg, LNCS, Springer (1991)"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2494603.2480311"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2007.365"},{"key":"e_1_3_2_1_15_1","volume-title":"The Nall Report 2007: Accident Trends and Factors for","author":"Krey N.","year":"2007","unstructured":"Krey N. ( 2007 ) The Nall Report 2007: Accident Trends and Factors for 2006. AOPA Air Safety Foundation . Krey N. (2007) The Nall Report 2007: Accident Trends and Factors for 2006. AOPA Air Safety Foundation."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2011.48"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1614390.1614393"},{"volume-title":"Single-event effects in avionics. Nuclear Science","author":"Normand E.","key":"e_1_3_2_1_18_1","unstructured":"Normand E. Single-event effects in avionics. Nuclear Science , IEEE Transactions on, April, Vol. 43 , No. 2, pp.461--474. 1996 Normand E. Single-event effects in avionics. Nuclear Science, IEEE Transactions on, April, Vol. 43, No. 2, pp.461--474. 1996"},{"key":"e_1_3_2_1_19_1","first-page":"C2","volume-title":"Digital Avionics Systems Conference IEEE\/AIAA 32nd","author":"Regis D.","year":"2013","unstructured":"Regis D. IC components reliability concerns for avionics end-users . Digital Avionics Systems Conference IEEE\/AIAA 32nd pp.2 C2 - C1 ,2C2-9, 5--10 Oct. 2013 Regis D. et al. IC components reliability concerns for avionics end-users. Digital Avionics Systems Conference IEEE\/AIAA 32nd pp.2C2-1,2C2-9, 5--10 Oct. 2013"},{"key":"e_1_3_2_1_20_1","volume-title":"Proc. of Australian workshop on Safety critical systems and software and safety-related programmable systems","volume":"86","author":"Sandom C.","unstructured":"Sandom C. Success and failure: human as hero - human as hazard . In Proc. of Australian workshop on Safety critical systems and software and safety-related programmable systems , Vol. 86 . Australian Comp. Society, Inc., Darlinghurst, Australia, 79--87. Sandom C. Success and failure: human as hero - human as hazard. In Proc. of Australian workshop on Safety critical systems and software and safety-related programmable systems, Vol. 86. Australian Comp. Society, Inc., Darlinghurst, Australia, 79--87."},{"key":"e_1_3_2_1_21_1","volume-title":"Int. Workshop on Formal Methods for Interactive Systems (FMIS 2013","author":"Silva J. L.","year":"2013","unstructured":"Silva J. L. et al., Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification . In Int. Workshop on Formal Methods for Interactive Systems (FMIS 2013 ), Elsevier , 2013 . Silva J. L. et al., Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification. In Int. Workshop on Formal Methods for Interactive Systems (FMIS 2013), Elsevier, 2013."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/358886.358895"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-8157-6_18"}],"event":{"name":"HCI-Aero '16: International Conference on Human-Computer Interaction in Aerospace 2016","acronym":"HCI-Aero '16","location":"Paris France"},"container-title":["Proceedings of the International Conference on Human-Computer Interaction in Aerospace"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2950112.2964578","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2950112.2964578","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:49:56Z","timestamp":1750218596000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2950112.2964578"}},"subtitle":["a flight control unit case study"],"short-title":[],"issued":{"date-parts":[[2016,9,14]]},"references-count":23,"alternative-id":["10.1145\/2950112.2964578","10.1145\/2950112"],"URL":"https:\/\/doi.org\/10.1145\/2950112.2964578","relation":{},"subject":[],"published":{"date-parts":[[2016,9,14]]},"assertion":[{"value":"2016-09-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}