An integrated modeling, verification, and code generation for uncrewed aerial systems: less cost and more efficiency.

Area of Science:

• Aerospace Engineering
• Software Engineering
• Systems Engineering

Background:

• Uncrewed Aerial Systems (UASs) are critical in safety-intensive sectors like industry and defense.
• Increasing UAS complexity poses challenges in reliability, cost, and efficiency.
• Existing design and verification methods struggle with intricate UAS requirements.

Purpose of the Study:

• To introduce an integrated method for UAS modeling, verification, and code generation.
• To address the need for reliable, cost-effective, and efficient UAS development.
• To improve the early-stage identification of vulnerabilities in UAS designs.

Main Methods:

• Utilizing Architecture Analysis and Design Language (AADL) for generic UAS modeling.
• Employing formal specifications to define system safety properties and functions.
• Developing a method for generating flight controller code from verified models.

Main Results:

• Demonstrated effectiveness in identifying potential UAS vulnerabilities during early design.
• Successfully generated viable flight controller codes from verified UAS models.
• Showcased improvement in the efficiency of designing and verifying high-reliability UASs.

Conclusions:

• The integrated AADL-based approach enhances UAS design and verification efficiency.
• Formal methods aid in ensuring the safety and reliability of complex UAS.
• This method provides a viable pathway for developing dependable UAS flight controllers.