Model-based solution and software engineering environment for UAV critical onboard applications

This paper deals with advantages of model-based software engineering approach of critical UAV onboard systems. Application of modern model-based technologies for critical onboard systems development is considered. Rules for critical software engineering at all life cycle stages are defined by functional standards. Mentioned approach implements all requirements of safety standards by automating the most consuming activities like verification and documentation writing. The program for UAV-automatic flight control system control loop simulation and visualization is developed. Use of the mentioned approach allows to facilitate UAV onboard systems software engineering, analyze and certification process.