[发明专利]一种基于SysML模块图的AADL模型构造方法有效
| 申请号： | 201910720499.6 | 申请日： | 2019-08-02 |
| 公开（公告）号： | CN110502211B | 公开（公告）日： | 2023-02-28 |
| 发明（设计）人： | 刘畅;王金岩;李奎;符佳盼;王科翔 | 申请（专利权）人： | 中国航空无线电电子研究所 |
| 主分类号： | G06F8/10 | 分类号： | G06F8/10;G06F8/20 |
| 代理公司： | 中国航空专利中心 11008 | 代理人： | 杜永保 |
| 地址： | 200233 *** | 国省代码： | 上海;31 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种基于SysML模块图的AADL模型构造方法，包括以下步骤：步骤一，基于SysML模块图进行模块分类；步骤二，基于SysML模块图构建ADDL组件类型声明；步骤三，基于SysML模块图构建AADL组件类型实现；步骤四，基于SysML状态机图构建AADL组件的状态；步骤五，基于SysML状态机图构建AADL组件的状态转换。通过本发明，用户可以实现基于SysML模块图的AADL模型的自动构造，可以在维护嵌入式系统架构模型、子系统模型关联关系的基础上，兼顾系统整体模型与子系统模型的非功能属性，完成嵌入式系统架构从软件到硬件层次的建模与验证，还可以在软件开发的早期阶段对系统架构模型的可行性和正确性进行验证，尽早的发现系统架构方面的问题，降低系统开发的成本，实现系统整体的高可靠目标。 | ||
| 搜索关键词： | 一种 基于 sysml 模块 aadl 模型 构造 方法 | ||
【主权项】：
1.一种基于SysML模块图的AADL模型构造方法，其特征在于，包括以下步骤：/n步骤一，基于SysML模块图进行模块分类；/n步骤二，基于SysML模块图构建ADDL组件类型声明；/n步骤三，基于SysML模块图构建AADL组件类型实现；/n步骤四，基于SysML状态机图构建AADL组件的状态；/n步骤五，基于SysML状态机图构建AADL组件的状态转换。/n
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中国航空无线电电子研究所，未经中国航空无线电电子研究所许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201910720499.6/，转载请声明来源钻瓜专利网。
- 上一篇：低频积分电路及方法
- 下一篇：一种面向多语言的高并发在线开发支撑方法
