Publication Type : Journal Article
Publisher : Amrita International Conference of Women in Computing
Source : Amrita International Conference of Women in Computing (AICWIC’13) Proceedings published by International Journal of Computer Applications® (IJCA)
Url : https://research.ijcaonline.org/aicwic/number1/aicwic1301.pdf
Keywords : Stability control, Design verification and validation, Data flow, State machine, Scade suit, formal verification.
Campus : Amritapuri
School : School of Engineering
Department : Computer Science
Year : 2013
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.
Cite this Research Publication : Divya Udayan J, 2013 Modeling and Verification of Aircraft Stability Controller AICWIC2013, Proc. Published by International Journal of Computer Applications (IJCA), No.1, pp: 1-5