Lecture Title: Deploy System Engineering Methods in Airborne Guidance Navigation Control Domain
Speaker: Wu Fangfang, Deputy chief engineer, FACRI
Wu Fangfang, Researcher-level senior engineer, Deputy chief engineer of AVIC Xi’an Flight Automatic Control Research Institute. He graduated from Xi 'an Jiaotong University in 2006 with a PhD in computer software and theory. Wu Fangfang has been engaged in the development and testing of embedded software for flight control system of aircraft for more than 10 years, and has a good command of embedded software development and verification technology. In the development process of flight control software of C919 project (flight control electronic package), Wu Fangfang led teams to have in-depth cooperation with a well-known foreign enterprise (Honeywell), and has practical experience in MBSE (Embedded computer system engineering).
Firstly, the primary features and challenges for airborne GNC system are introduced and then the ARP4754Ais described as the best practice of traditional system engineering. Secondly, the systems engineering implement with digital technologies are introduced from the following aspects: formal method based verification, model-based requirements and architecture description and analysis on system level, domain specific model-based development and high-efficiency products development based on organizational sharing assets. Thirdly, some engineering practices are shared including commercial aircraft flight control system development process which is following ARP-4754A process; formal method based verification for model checking of requirements verification, property verification and test case generation; system level model-based requirements and architecture description applied on commercial UAV and transport aircraft navigation system for requirements analysis, function analysis requirements definition/update and design synthesis; FACE application on commercial aircraft flight control system for code generation by data model and portable component model generation; quantitative analysis against some non-functional requirements such as resource load, I/O throughput and etc. based on AADL models; model-based design and autocode based on matlab and simulink for software development applied on commercial aircraft flight control system projects; model-based verification for software requirements applied on commercial aircraft flight control system projects.