UAV Architecture Design Using SysML and Modelica Integration
Find Innovative SolutionsGenerate Solutions
Solution Overview
Problem
Current design paradigms for unmanned aerial vehicle systems (UAS) face challenges due to complexity in traditional architecture frameworks like DoDAF and flexibility issues in SysML, which lack mathematical analysis capabilities and require a more structured approach for operational requirement capture and architecture development.
Innovation Solution
A model-based architecture design method for UAS that integrates SysML and Modelica modeling languages, establishing a framework for multi-domain, multi-dimensional simulation and verification through spatio-temporal, logical, and mathematical models, ensuring rigorous and flexible architecture design.
Engineering Contradictions & Design Principles
Engineering Contradiction Analysis
1Adaptability or versatility
If DoDAF architecture framework is used for UAS design, then comprehensive system planning capability is improved, but framework complexity increases
Solution Approach 1:
The patent segments the DoDAF framework into three focused viewpoints (operational, logical, physical) with specific view templates for each, reducing the overwhelming 8-viewpoint structure to essential components needed for UAS design while maintaining comprehensive planning capability
Solution Approach 2:
The patent extracts and focuses on only the most relevant viewpoints from DoDAF (operational, logical, physical) that are essential for UAS design, eliminating unnecessary complexity from the original 8-viewpoint framework while preserving core system planning capabilities
2Adaptability or versatility
If SysML is used for architecture modeling, then modeling flexibility is improved, but semantic ambiguity increases
Solution Approach 1:
The patent applies local quality by defining specific semantic rules and constraints for each SysML diagram type within the UAS context, making the modeling language precise for particular purposes while maintaining overall flexibility through selective application of standards
Solution Approach 2:
The patent introduces an intermediary layer of semantic rules and view templates that bridge SysML's flexible notation system with the need for precise semantic meaning, translating general SysML constructs into domain-specific meanings for UAS architecture modeling
3Measurement precision
If SysML is used for architecture description, then formal modeling capability is improved, but mathematical analysis capability is lost
Solution Approach 1:
The patent merges SysML's formal architectural modeling capabilities with Modelica's mathematical analysis capabilities by establishing transformation rules that convert SysML models into Modelica models, combining the strengths of both languages for comprehensive UAS analysis
4Ease of manufacture
If existing SysML to Modelica transformation standard is used, then transformation capability is improved, but semantic transformation capability is insufficient
Solution Approach 1:
The patent introduces view templates and semantic rules as intermediary elements between SysML and Modelica, enabling not just syntactic but also semantic transformation by mapping the meaning and intent of SysML architectural models into Mathematically executable Modelica models
Data Source
AI summary
The present disclosure discloses a model-based architecture design method for an unmanned aerial vehicle (UAV) system, which aims to deal with challenges of changeable operational requirements, shortened design period, and decreased technical risks in a current UAS design process. A data-driven architecture development method is used. By establishing an architecture development framework of the UAS, a framework modeling process oriented to different viewpoints is designed, and modeling and simulation specifications based on SysML and Modelica are defined, such that design of the UAS starts from conception and confirmation of an operational concept. The method focuses on forward analysis and design of a system framework, and concept verification and metric closed-loop are carried out at an early stage of the design of the UAS by virtue of logic modeling and system simulation.