CFP last date
20 January 2025
Reseach Article

Modeling and Verification of Aircraft Stability Controller

Published on January 2013 by Divya Udayan J
Amrita International Conference of Women in Computing - 2013
Foundation of Computer Science USA
AICWIC - Number 1
January 2013
Authors: Divya Udayan J
43aeabdc-2320-4e8a-95d7-edfe75a3acf8

Divya Udayan J . Modeling and Verification of Aircraft Stability Controller. Amrita International Conference of Women in Computing - 2013. AICWIC, 1 (January 2013), 1-5.

@article{
author = { Divya Udayan J },
title = { Modeling and Verification of Aircraft Stability Controller },
journal = { Amrita International Conference of Women in Computing - 2013 },
issue_date = { January 2013 },
volume = { AICWIC },
number = { 1 },
month = { January },
year = { 2013 },
issn = 0975-8887,
pages = { 1-5 },
numpages = 5,
url = { /proceedings/aicwic/number1/9859-1301/ },
publisher = {Foundation of Computer Science (FCS), NY, USA},
address = {New York, USA}
}
%0 Proceeding Article
%1 Amrita International Conference of Women in Computing - 2013
%A Divya Udayan J
%T Modeling and Verification of Aircraft Stability Controller
%J Amrita International Conference of Women in Computing - 2013
%@ 0975-8887
%V AICWIC
%N 1
%P 1-5
%D 2013
%I International Journal of Computer Applications
Abstract

Stability control system is one of the most critical systems inside an aircraft. Design verification and validation of such a system is very essential to reduce development cycles and cost of system development. This paper evaluates the possibility and effectiveness of SCADE software in the design verification of stability controller model of an aircraft. Dataflow and state machine can be integrated in the SCADE suite for the formal verification of temporal logics of the hardware system. This technique is effective in finding out violations of system invariants at an early stage of the design phase. Graphical simulations and system analysis demonstrate the efficiency of this approach.

References
  1. Nelson, R. C. 1989. Flight stability and automatic control. New York, McGraw-Hill.
  2. Perkins C. D. and Hage R. E. 1949. Aircraft Performance, Stability and Control. John Wiley.
  3. Pamadi, B. N. 2004. Performance, stability, dynamics, and control of airplanes. Aiaa.
  4. Davies, M. 2003. The standard handbook for aeronautical and astronautical engineers. New York: McGraw-Hill.
  5. Ogata K. 1984. Modern Control Engineering. Prentice-Hall, India.
  6. Esterel Technologies http://www. estereltechnologies. com/industry/avionics/.
  7. Anderson, J. D. 2005. Introduction to flight (Vol. 199). McGraw-Hill.
  8. Etkin, B. , & Reid, L. D. 1982. Dynamics of flight: stability and control (p. 103). Wiley.
  9. Houghton E. L and Carruthers N. B. 1982. Aerodynamics for Engineering students. Arnold.
  10. McCormick B. W. 1995. Aerodynamics, Aeronautics and Flight Mechanics. John Wiley.
  11. Abzug M. , and Larrabee E. 2002. Airplane Stability and Control: A History of the Technologies that Made Aviation Possible. Cambridge University Press.
  12. Maine, Richard E. and Kenneth W. Iliff. 1986. Application of Parameter Estimation to Aircraft Stability and Control - The Output-Error Approach. NASA RP-1168.
  13. Yoo, J. , Jee, E. , & Cha, S. 2009. Formal modeling and verification of safety-critical software. Software, IEEE, 26(3), 42-49.
  14. Bellmann, T. 2009, September. Interactive simulations and advanced visualization with modelica. In Proceedings of the 7th Modelica Conference, Como, Italy. ISBN 978-91-7393-513-5. ISSN 1650-3740
  15. Bünte, T. , & Chrisofakis, E. 2011 A Driver Model for Virtual Drivetrain Endurance Testing. In: Proceedings of the 8th International Modelica Conference
  16. Bhatt, D. , Hall, B. , Dajani-Brown, S. , Hickman, S. , & Paulitsch, M. 2005. Model-based development and the implications to design assurance and certification. In Digital Avionics Systems Conference, 2005. DASC 2005. The 24th (Vol. 2, pp. 13-pp). IEEE.
  17. Colaço, J. L. , Pagano, B. , & Pouzet, M. 2005, September. A conservative extension of synchronous data-flow with state machines. In Proceedings of the 5th ACM international conference on Embedded software (pp. 173-182). ACM.
  18. Esterel Technologies. http://www. myscadesupport. com/
Index Terms

Computer Science
Information Sciences

Keywords

Stability Control Design Verification And Validation Data Flow State Machine Scade Suit Formal Verification