Synthesis from Design Requirements of a Hybrid System for Transport Aircraft Longitudinal Control. Volume 1

Volume I of this report presents a new method for synthesizing hybrid systems directly from design requirements, and applies the method to design of a hybrid system for longitudinal control of transport aircraft. The resulting system satisfies general requirement for safety and effectiveness specified a priori, enabling formal validation to be achieved. Volume II contains seven appendices intended to make the report accessible to readers with backgrounds in human factors, fli ght dynamics and control. and formal logic. Major design goals are (1) system desi g n integrity based on proof of correctness at the design level, (2), significant simplification and cost reduction in system development and certification, and (3) improved operational efficiency, with significant alleviation of human-factors problems encountered by pilots in current transport aircraft. This report provides for the first time a firm technical basis for criteria governing design and certification of avionic systems for transport aircraft. It should be of primary interest to designers of next-generation avionic systems.

[1]  G. Boole.  An Investigation of the Laws of Thought: On which are founded the mathematical theories of logic and probabilities , 2007 .

[2]  Thomas C. Bartee.  Digital Computer Fundamentals , 1971 .

[3]  H. Erzberger,et al.  Algorithm for fixed-range optimal trajectories , 1980 .

[4]  R. S. Bray.  A head-up display format for application to transport aircraft approach and landing , 1980 .

[5]  Amir Pnueli,et al.  On the Formal Semantics of Statecharts (Extended Abstract) , 1987, LICS.

[6]  Michael Jackson,et al.  Principles of program design , 1975 .

[7]  A. P. Wills.  Vector analysis,: With an introduction to tensor analysis, , 1931 .

[8]  Peter Neumann,et al.  Safeware: System Safety and Computers , 1995, SOEN.

[9]  H Erzberger,et al.  Characteristics of constrained optimum trajectories with specified range , 1978 .

[10]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[11]  C. R. Peterson,et al.  Mechanics And Thermodynamics Of Propulsion , 1965 .

[12]  J. E. Glynn,et al.  Numerical Recipes: The Art of Scientific Computing , 1989 .

[13]  Jens Rasmussen,et al.  Outlines of a Hybrid Model of the Process Plant Operator , 1976 .

[14]  Nancy G. Leveson,et al.  Requirements Specification for Process-Control Systems , 1994, IEEE Trans. Software Eng..

[15]  T. Teichmann,et al.  Dynamics of Flight: Stability and Control , 1959 .

[16]  R S Shevell,et al.  FUNDAMENTALS OF FLIGHT :(2ND ED. ) , 1989 .

[17]  G. Meyer,et al.  Application of Nonlinear Systems Inverses to Automatic Flight Control Design: System Concepts and Flight Evaluations , 1981 .

[18]  Gordon H. Hardy,et al.  Flight evaluation of pursuit displays for precision approach of powered-lift aircraft , 1989 .

[19]  Charles E. Billings,et al.  Human-Centered Aviation Automation: Principles and Guidelines , 1996 .

[20]  A. Lambregts.  Vertical flight path and speed control autopilot design using total energy principles , 1983 .

[21]  Duane T. McRuer,et al.  Aircraft Dynamics and Automatic Control , 1973 .

[22]  Pierre Sparaco.  AUTOPILOT A FACTOR IN A330 ACCIDENT , 1994 .

[23]  S. Casner.  Understanding the Determinants of Problem-Solving Behavior in a Complex Environment , 1994 .

[24]  Steven M. Green,et al.  Development and evaluation of a profile negotiation process for integrating aircraft and air traffic control automation , 1993 .

[25]  Heinz Erzberger,et al.  DESIGN OF AUTOMATED SYSTEM FOR MANAGEMENT OF ARRIVAL TRAFFIC , 1989 .

[26]  Gordon H. Hardy,et al.  A method of wind shear detection for powered-lift STOL aircraft , 1993 .

[27]  R. C. Innis,et al.  Airworthiness considerations for STOL aircraft , 1970 .

[28]  H. Erzberger.  Automation of On-Board Flightpath Management , 1981 .

[29]  Johann Schumann,et al.  Automated Theorem Proving in Software Engineering , 2001, Springer Berlin Heidelberg.

[30]  Gordon H. Hardy,et al.  Flight Evaluation of Augmented Controls for Approach and Landing of Powered-Lift Aircraft , 1986 .

[31]  Jens Rasmussen,et al.  Skills, rules, and knowledge; signals, signs, and symbols, and other distinctions in human performance models , 1983, IEEE Transactions on Systems, Man, and Cybernetics.

[32]  Earl L. Wiener,et al.  Human factors of advanced technology (glass cockpit) transport aircraft , 1989 .