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.

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/

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