OPTIMIZED SAFETY – CRITICAL EMBEDDED AUTOMATIC FLIGHT CONTROL SYSTEM DEVELOPMENT APPROACH TO COMPLY WITH ARP 4754, DO-178C OBJECTIVES

D. A. Prosvirin, V. P. Kharchenko

Abstract


This article deals with model based embedded software development approach of aircraft automaticflight control systems with using new model-based approach. Realization of air-borne equipmentsoftware requirements, regulated by functional safety standards such as ARP 4754, DO-178С is showed.This article explains how mentioned requirements can be obtained using SCADE. The possibility of documentationand qualified code generation from SCADE Display and SCADE Suite models is showed.Use of the mentioned approach allows facilitating embedded software development and certificationprocess

Keywords


Automatic flight control system; model-based design; SCADE; code generation; software certification; executable specification; verification; documentation; ARP 4754; DO-178С

References


G. Ellis, Observers in Control Systems: A Practical Guide, Academic Press, 2002, 264 p.

Efficient Development of Safe Avionics Display Software with DO-178B Objectives Using SCADE Suite™: Methodology Handbook, France: Esterel Technologies, 2012, 110 р.

Jim McElroy, Relieving pressure for UAV software development, December 1, 1992.

D. Luenberger, “Observing the State of a Linear System”, IEEE Transactions on Military Electronics, vol. 8, pp. 74–80. 1964.

D. Luenberger, “Observers for Multivariable Systems”, IEEE Transactions on Automatic Control, vol. AC-11, pp. 190–197, 1966.

D. Luenberger, “Introduction to Observers”, IEEE Transactions on Automatic Control, vol. AC-16, pp. 596–602, 1971.

H. Lens, and J. Adamy, “Observer Based Controller Design for Linear Systems with Input

Constraints”, Proceeding of the 17th World Congress, International Federation of Automatic Control, 6–11 July. 2008, pp. 9916–9921.

D. McLean, Automatic Flight Control Systems, Prentice Hall, NY, 1990, 593 p.

Software considerations in airborne systems and equipment certification (RTCA/DO-178B): DO-178B, December 1, 1992. Washington. D.C. 20036 USA, 1992, 112 p.

V. L. Syrmos, C. Abdallah, P. Dorato, and K. Grigoriadis. “Static Output Feedback – A Survey”, Automatica, vol. 33, 1997, pp. 125–137.

C. C. Tsui, “Observer Design – A Survey”, International Journal of Automation and Computing, vol. 12 (1), 2015. pp. 50–61.


Full Text: PDF

Refbacks

  • There are currently no refbacks.


Creative Commons License

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.