{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:13:34Z","timestamp":1762521214170},"publisher-location":"Boston, MA","reference-count":23,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781402081569"},{"type":"electronic","value":"9781402081576"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-1-4020-8157-6_18","type":"book-chapter","created":{"date-parts":[[2008,4,7]],"date-time":"2008-04-07T16:54:40Z","timestamp":1207587280000},"page":"191-212","source":"Crossref","is-referenced-by-count":74,"title":["Airbus Fly-By-Wire: A Total Approach To Dependability"],"prefix":"10.1007","author":[{"given":"Pascal","family":"Traverse","sequence":"first","affiliation":[]},{"given":"Isabelle","family":"Lacaze","sequence":"additional","affiliation":[]},{"given":"Jean","family":"Souyris","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"D. Bri\u00e8re, and P. Traverse, Airbus A320\/A330\/A340 electrical flight controls \u2014 a family of fault-tolerant systems, Proc. 23 rd IEEE Int. Symp. On Fault-Tolerant Computing (FTCS-23), Toulouse, France, pp. 616\u2013623 (1993)."},{"key":"18_CR2","unstructured":"D. Bri\u00e8re, and P. Traverse, Airbus electrical flight controls \u2014 a family of fault-tolerant systems, Proc. RTO\/SCI Symp. on Challenges in Dynamics, System Identification, Control and Handling Qualities for Land, Air, Sea and Space Vehicles, Berlin, Germany, RTO-MP-095, paper 29 (2002)."},{"key":"18_CR3","unstructured":"Topical Days on Fault Tolerance for Trustworthy and Dependable Information Infrastructure, IFIP World Computer Congress, Toulouse, France, Kluwer, (2004)."},{"key":"18_CR4","unstructured":"FAR\/JAR 25, Airworthiness Standards: Transport Category Airplane, published by FAA, title 14, part 25, and Certification Specifications for Large Aeroplanes, published by EASA (former JAA), CS-25."},{"key":"18_CR5","unstructured":"A. Avizienis, J.C. Laprie, and B. Randell, Fundamental Concepts of Dependability, LAAS report no. 01-145 (2001)."},{"key":"18_CR6","unstructured":"D. van den Bossche, EHA application to commercial transports \u2014 the Aerospatiale approach, Proceedings on conference on Recent Advances in Aerospace Hydraulics, Toulouse, France (1998) and More electric control surface actuation, Proceedings of Royal Aeronautical Society conference on More-Electric Aircraft, London, UK, 2004."},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"J. Farineau, Lateral electric flight control laws of a civil aircraft based upon eigen structure assignment technique, Proc. AIAA Guidance, Navigation and Control Conference, Boston, MA, USA (1989).","DOI":"10.2514\/6.1989-3594"},{"issue":"1","key":"18_CR8","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1080\/00207179408923072","volume":"59","author":"C. Favre","year":"1994","unstructured":"C. Favre, Fly-by-wire for commercial aircraft: the Airbus experience, International Journal of Control, vol. 59,No. 1, pp.139\u2013157 (1994).","journal-title":"International Journal of Control"},{"issue":"9","key":"18_CR9","doi-asserted-by":"publisher","first-page":"1209","DOI":"10.1016\/0967-0661(95)00119-F","volume":"3","author":"F. Kubica","year":"1995","unstructured":"F. Kubica, T. Livet, X. LeTron, and A. Bucharles, Parameter-robust flight control system for a flexible aircraft, Control Engineering Practice, Vol. 3,No. 9, pp.1209\u20131215 (1995).","journal-title":"Control Engineering Practice"},{"key":"18_CR10","unstructured":"T. Livet, D. Fath, and F. Kubica, Robust autopilot design for a highly flexible aircraft, Proc. 13 th IFAC World Congress, Vol. P, San Francisco, CA, USA, pp.279\u2013284 (1995)."},{"key":"18_CR11","unstructured":"ARP 4754\/ED79, Certification Considerations for Highly-Integrated or Complex Systems, published by SAE, no. ARP4754, and EUROCAE, no. ED79 (1996)."},{"key":"18_CR12","unstructured":"DO178B\/ED12, Software Considerations in Airborne Systems and Equipment Certification, published by ARINC, no. DO178B, and EUROCAE, no. ED12, 1992."},{"key":"18_CR13","unstructured":"DO254\/ED80, Design Assurance Guidance for Airborne Electronic Hardware, published by ARINC, no. DO254, and EUROCAE, no. ED80 (2000)."},{"key":"18_CR14","unstructured":"F. Randimbivololona, J. Souyris, P. Baudin, A. Pacalet, J. Raguideau et D. Schoen. Applying Formal Proof Techniques to Avionics Software: A pragmatic Approach. FM99. LNCS 1709, Vol II."},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"S. Thesing, J. Souyris, R. Heckmann, F. Randimbivololona, M. Langenbach, R. Wilhelm, and C. Ferdinand, An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics, Proc. Int Conf. on Dependable Systems and Networks (DSN) (June 2003).","DOI":"10.1109\/DSN.2003.1209972"},{"key":"18_CR16","first-page":"155","volume-title":"Technique et Science Informatique","author":"P. Cousot","year":"2000","unstructured":"P. Cousot. Interpr\u00e9tation abstraite, Technique et Science Informatique, Vol. 19, Nb 1-2-3., Herm\u00e8s, Paris, France, pp. 155\u2013164 (2000)."},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"B. Blanchet, P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Min\u00e9e, D. Monniaux, and X. Rival. A Static Analyzer for Large Safety-Critical Software, Proc. PLDI 2003 \u2014 ACM SIGPLAN SIGSOFT Conf. on Programming Language Design and Implementation, Federated Computing Research Conference, San Diego, CA USA, pp. 196\u2013207 (2003).","DOI":"10.1145\/781151.781153"},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"E. Goubault, M. Martel, and S. Putot. Asserting the Precision of Floating-Point Computations: a Simple Abstract Interpreter (Demo Paper), ESOP\u20192002, LNCS.","DOI":"10.1007\/3-540-45927-8_15"},{"key":"18_CR19","unstructured":"ARP 4761, Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems, published by SAE, no. ARP4761 (1996)."},{"key":"18_CR20","unstructured":"Human Factors for Civil Flight Deck Design, published by Ashgate (2004)."},{"key":"18_CR21","unstructured":"I. Lacaze, Prise en compte du confort vibratoire dans la conception, Paris V University Report (2002)."},{"key":"18_CR22","unstructured":"D. Chatrenet, Les qualit\u00e9s de vol des avions de transport civil \u00e0a commandes de vol \u00e9lectriques, Proc. AGARD Conf. on Active Control Technology, Turin, Italy, AGARD-CP-560, paper 28 (1994)."},{"key":"18_CR23","unstructured":"J. Duprez, F. Mora-Camino and F. Villaume, Robust control of the aircraft on ground lateral motion, Proc. 24th ICAS Conf., Yokohama, Japan (2004)."}],"container-title":["IFIP International Federation for Information Processing","Building the Information Society"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4020-8157-6_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,29]],"date-time":"2021-04-29T05:08:03Z","timestamp":1619672883000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4020-8157-6_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9781402081569","9781402081576"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-1-4020-8157-6_18","relation":{},"subject":[]}}