{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,30]],"date-time":"2025-08-30T16:18:24Z","timestamp":1756570704894,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,11]]},"DOI":"10.1109\/prdc.2014.11","type":"proceedings-article","created":{"date-parts":[[2014,12,8]],"date-time":"2014-12-08T22:27:42Z","timestamp":1418077662000},"page":"21-30","source":"Crossref","is-referenced-by-count":8,"title":["A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics"],"prefix":"10.1109","author":[{"given":"C.","family":"Fayollas","sequence":"first","affiliation":[]},{"given":"J.C.","family":"Fabre","sequence":"additional","affiliation":[]},{"given":"P.","family":"Palanque","sequence":"additional","affiliation":[]},{"given":"M.","family":"Cronel","sequence":"additional","affiliation":[]},{"given":"D.","family":"Navarre","sequence":"additional","affiliation":[]},{"given":"Y.","family":"Deleris","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","article-title":"Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification","author":"silva","year":"2013","journal-title":"Int Workshop on Formal Methods for Interactive Systems (FMIS 2013) Elsevier"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-8157-6_18"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02574-7_75"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/800027.808468"},{"key":"18","article-title":"Oops, it didn't arm-A Case Study of Two Automation Surprises","author":"palmer","year":"1995","journal-title":"8th Int Symp on Aviation Psychology"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/23.490893"},{"key":"16","first-page":"191","article-title":"Verification of an Interactive Software by analysis of its formal specification","author":"palanque","year":"1995","journal-title":"Proc of the IFIP TC 13 Human-Computer Interaction Conf (Interact'95)"},{"key":"13","article-title":"Fine grain modeling of task deviations for assessing qualitatively the impact of both system failures and human error on operator performance","author":"martinie","year":"2014","journal-title":"Formal Verification and Modeling in Human-Machine Systems AAAI Spring Symposium Series"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/1614390.1614394"},{"year":"0","key":"11"},{"key":"12","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1109\/2.56851","article-title":"Definition and analysis of hardware and software fault-tolerant architectures","volume":"23","author":"laprie","year":"1990","journal-title":"IEEE Computer"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/PRDC.2011.28"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.2"},{"year":"0","key":"20"},{"journal-title":"ARINC Specification 661-5","article-title":"ARINC 661-Cockpit Display System Interfaces to User Systems","year":"2013","key":"2"},{"journal-title":"ARINC Specification 653P1-2","article-title":"ARINC 653-Avionics Application Software Standard Interface","year":"2006","key":"1"},{"key":"10","first-page":"47","article-title":"Zero-defect software: The elusive goal","volume":"23","author":"hamilton","year":"1986","journal-title":"It is Theoretically Possible but Difficult to Achieve Logic and Interface Errors Are Most Common but Errors in User Intent May Also Occur Spectrum IEEE"},{"journal-title":"Software Considerations in Airborne Systems and Equipment Certification","year":"2012","key":"7"},{"journal-title":"For Command Control Communications Computer Intelligence Surveillance and Reconnaissance (C4ISR) Facilities","article-title":"Failure Modes, Effects and Criticallity Analysis (FMECA)","year":"2006","key":"6"},{"journal-title":"European Aviation Safety Agency","article-title":"CS-25-Amendment 14-Certification Specifications and Acceptable Means of Compliance for Large Aeroplanes","year":"2013","key":"5"},{"journal-title":"The Psychology of Human-Computer Interaction","year":"1983","author":"card","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-84524-6_1"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1504\/IJCCBS.2013.058407"}],"event":{"name":"2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing (PRDC)","start":{"date-parts":[[2014,11,18]]},"location":"Singapore","end":{"date-parts":[[2014,11,21]]}},"container-title":["2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6974756\/6974735\/06974747.pdf?arnumber=6974747","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T01:44:47Z","timestamp":1498182287000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6974747\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/prdc.2014.11","relation":{},"subject":[],"published":{"date-parts":[[2014,11]]}}}