“aadl”专利关键词查询_检索下载_查询列表_检索列表_行业专利分布_钻瓜专利网

钻瓜专利网为您找到相关结果99个，建议您升级VIP下载更多相关专利

[发明专利]一种基于源代码的模型验证方法-CN202010011065.1有效
发明人：史建琦;焦明月;黄滟鸿;孙文圣;战云龙;郭欣 -专利权人：上海丰蕾信息科技有限公司
申请日： 2020-01-06 - 公布日： 2022-03-08 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种基于源代码的模型验证方法，所述方法包括：获取目标源代码；根据AADL建模技术将所述目标源代码进行建模后生成AADL模型；基于预设转换方式将所述AADL模型转换生成时间自动机模型；利用预设模型检测器对所述时间自动机模型进行检查
一种基于源代码模型验证方法

[发明专利]基于AADL的Web应用架构安全性的评估方法-CN201710333755.7有效
发明人：李晓红;李姝昕 -专利权人：天津大学
申请日： 2017-05-12 - 公布日： 2020-04-17 - 主分类号： G06F21/57 文献下载
摘要：本发明公开了一种基于AADL的Web应用架构安全性的评估方法，包括：步骤(1)、Web应用架构分解，步骤(2)、建构AADL架构安全性模型，包括建构AADL架构描述模型和AADL架构安全威胁模型；步骤(
基于 aadl web 应用架构安全性评估方法

[发明专利]基于AADL V1和HiP-HOPS的模型转换分析方法-CN201910150866.3在审
发明人：勉治宝;高亚晴;闫茹 -专利权人：北方民族大学
申请日： 2019-02-28 - 公布日： 2019-06-18 - 主分类号： G06F8/30 文献下载
摘要：本发明公开了基于AADL V1和HiP‑HOPS的模型转换分析方法，包括以下步骤：在OSATE 1.0构建AADL可靠性模型包括AADL系统架构模型及错误模型；通过以ATL模型转换技术为核心且集成在OSATE 1.0的模型转换技术插件AADL2HiP‑HOPS‑V1将上述模型转换为遵循HiP‑HOPS Ecore元模型的HiP‑HOPS Ecore模型；通过基于ATL的文本转换技术，将HiP‑HOPS Ecore
模型转换可靠性模型系统架构模型故障树模型错误模型故障模式获得系统架构模式输入文件文本转换自动分析分析元模型插件构建转换

[发明专利]一种基于源代码的AADL功能行为模型逆向重构方法-CN201910475582.1有效
发明人：杨志斌;邱志凯;冯思喆;王铁鑫;周勇 -专利权人：南京航空航天大学
申请日： 2019-06-03 - 公布日： 2021-06-15 - 主分类号： G06F8/74 文献下载
摘要：本发明公开了一种基于源代码的AADL功能行为模型逆向重构方法，包括：步骤1：根据预设的抽取规则，获取C语言相关内容，所述C语言相关内容包括C语言到AADL功能行为模型抽取所需的数据信息和结构内容；步骤2：将C语言相关内容对应存入事先设计的中间模型中；步骤3：基于中间模型，实现AADL功能行为模型逆向重构。
一种基于源代码 aadl 功能行为模型逆向方法

[发明专利]一种基于SysML模块图的AADL模型构造方法-CN201910720499.6有效
发明人：刘畅;王金岩;李奎;符佳盼;王科翔 -专利权人：中国航空无线电电子研究所
申请日： 2019-08-02 - 公布日： 2023-02-28 - 主分类号： G06F8/10 文献下载
摘要：本发明公开了一种基于SysML模块图的AADL模型构造方法，包括以下步骤：步骤一，基于SysML模块图进行模块分类；步骤二，基于SysML模块图构建ADDL组件类型声明；步骤三，基于SysML模块图构建AADL组件类型实现；步骤四，基于SysML状态机图构建AADL组件的状态；步骤五，基于SysML状态机图构建AADL组件的状态转换。通过本发明，用户可以实现基于SysML模块图的AADL模型的自动构造，可以在维护嵌入式系统架构模型、子系统模型关联关系的基础上，兼顾系统整体模型与子系统模型的非功能属性，完成嵌入式系统架构从软件到硬件层次的建模与验证
一种基于 sysml 模块 aadl 模型构造方法

[发明专利]基于确定性随机Petri网的AADL模型安全性评估方法-CN201810256758.X有效
发明人：董云卫;魏晓敏 -专利权人：西北工业大学
申请日： 2018-03-27 - 公布日： 2021-10-22 - 主分类号： G06F21/57 文献下载
摘要：本发明提供了一种基于确定性随机Petri网的AADL模型安全性评估方法。首先，构建层次化结构的AADL架构模型；然后，制定新的模型转换方法，将AADL安全性模型转换为DSPN模型，其中，为AADL安全性模型增加了新的语义，包括复合构件中可操作状态分别与失效状态和危险之间的关系
基于确定性随机 petri aadl 模型安全性评估方法

[发明专利]一种基于源代码的模型验证装置-CN202010011072.1有效
发明人：史建琦;焦明月;黄滟鸿;孙文圣;战云龙;郭欣 -专利权人：上海丰蕾信息科技有限公司
申请日： 2020-01-06 - 公布日： 2022-03-08 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种基于源代码的模型验证装置，所述装置包括：源代码获取模块，用于获取目标源代码；第一模型生成模块，用于根据AADL建模技术将所述目标源代码进行建模后生成AADL模型；第二模型生成模块，用于基于预设转换方式将所述AADL模型转换生成时间自动机模型；模型检查模块，用于利用预设模型检测器对所述时间自动机模型进行检查。
一种基于源代码模型验证装置

[发明专利]基于AADL和Object-Z的形式化组合建模和模型转换-CN202211516765.1在审
发明人：郭正玲;曹子宁 -专利权人：南京航空航天大学
申请日： 2022-11-30 - 公布日： 2023-04-25 - 主分类号： G06F30/20 文献下载
摘要：本发明公开了基于AADL和Object‑Z的形式化组合建模和模型转换的方法。使用AADL对安全关键的实时信息物理系统进行建模，并通过Object‑Z对AADL行为附件功能进行扩展，即对AADL中的状态和状态转换进行约束。由于AADL扩充建模语言是半形式化的模型，本发明通过转换规则和算法将其转换为形式化的自动机模型。
基于 aadl object 形式化组合建模模型转换

[发明专利]一种基于中间模型的AADL生成嵌入式系统代码方法-CN201810392370.2在审
发明人：沈国华;葛晓瑜;章文炳;宛伟健;邓刘梦;黄志球;杜天保;吴德香 -专利权人：南京航空航天大学
申请日： 2018-04-27 - 公布日： 2018-09-21 - 主分类号： G06F8/35 文献下载
摘要：本方法涉及一种嵌入式系统代码自动生成方法，具体涉及一种基于中间模型的AADL生成嵌入式系统代码方法；包括以下步骤：步骤一：利用Xtext技术定义一种代码生成中间模型MMACG，中间模型的设计包括层次化的构件结构定义以及单个构件内类程序代码的元素定义；步骤二：中间模型层次化构件与AADL结构进行对应，即相应AADL构件转到中间模型MMACG构件；单个构件内类程序代码元素是针对程序内的元素进行了表达，中间模型还保留AADL构件的属性信息；步骤三：针对嵌入式单任务与多任务系统的不同特征
中间模型嵌入式系统程序代码单个构件层次化代码自动生成多任务系统代码生成构件结构技术定义属性信息元素定义嵌入式保留

[发明专利]基于AADL的嵌入式系统完整性访问控制模型设计方法-CN202111059690.4在审
发明人：孙聪;刘乔森;李亚晖;王中华;马建峰;郭鹏 -专利权人：西安电子科技大学;中国航空工业集团公司西安航空计算技术研究所
申请日： 2021-09-10 - 公布日： 2021-12-17 - 主分类号： G06F21/60 文献下载
摘要：本发明公开一种基于AADL的嵌入式系统完整性访问控制模型设计方法，具体步骤包括：1、利用架构分析和设计语言AADL搭建功能性架构模型，2、利用AADL搭建硬件架构模型，3、将完整性访问控制模型映射到架构模型中克服了现有技术中需要在组件上标识主体、客体和访问关系的缺陷，和验证过程中需要将AADL模型转化为其他模型的缺陷。本发明具有建立和验证符合完整性访问控制模型的模型效率高的优点。
基于 aadl 嵌入式系统完整性访问控制模型设计方法

[发明专利]适用于SysML、Simulink和AADL的分布式系统的模型验证方法-CN202011506571.4在审
发明人：吴际;张瑞祥;兰可欣;杨海燕;王宁 -专利权人：北京航空航天大学;北京控制与电子技术研究所
申请日： 2020-12-18 - 公布日： 2022-06-21 - 主分类号： G06F8/10 文献下载
摘要：本发明涉及一种适用于SysML、Simulink和AADL的分布式系统的模型验证方法，属于系统集成验证技术领域。该方法包括以下步骤：根据SysML、Simulink和AADL的模型描述文件分别提取模型元素集及相关属性信息，得到SysML、Simulink和AADL模型信息映射表；根据选择的验证规则从所述SysML、Simulink和AADL模型信息映射表获取所需要的模型元素及相关属性信息；根据所选择的验证规则对获取的所需要的模型元素及相关属性信息进行验证，若通过验证则不产生提示信息；否则提示不满足所选择的验证规则
适用于 sysml simulink aadl 分布式系统模型验证方法

[发明专利]一种基于模型基框架的自主无人系统软件自适应演化方法-CN202011437779.5有效
发明人：丁嵘 -专利权人：北京航空航天大学
申请日： 2020-12-11 - 公布日： 2022-03-29 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种基于模型基框架的自主无人系统软件自适应演化方法，使用服务器搭建基于模型基框架的自主无人系统，将AADL架构、爬虫以及ANTLR工具链结合起来，构建了完整的工作流程。利用AADL语言现有的线程、进程等构件的表示方法对ROS节点及navigation功能模块进行描述，搭建相应框架，设计了代码生成软件，结合AADL文件与OSATE工具，根据框架直接生成代码，可在ROS环境下编译运行利用爬虫在服务器上定时运行，不断扩充框架中的算法种类，结合AADL已有的基础文件，与新增的功能模块共同构建系统模型，解决框架长期生长的问题。
一种基于模型框架自主无人系统软件自适应演化方法

[发明专利]基于AADL的系统脆弱性模型设计方法-CN202110076365.2在审
发明人：曹阳;董云卫;段添熠 -专利权人：西北工业大学
申请日： 2021-01-20 - 公布日： 2021-05-07 - 主分类号： G06F8/20 文献下载
摘要：本发明涉及一种基于AADL的系统脆弱性模型设计方法，在软件架构模型的基础上建立访问控制策略，进行系统脆弱性建模，提升了AADL的建模能力。该方法以AADL附录扩展的形式，提出一种AADL附录子语言实现脆弱性建模。
基于 aadl 系统脆弱模型设计方法

[发明专利]基于资源竞争模型的AADL模型可调度性验证方法-CN201510064421.5有效
发明人：董云卫;隗立超;童安乐 -专利权人：西北工业大学
申请日： 2015-02-09 - 公布日： 2017-10-27 - 主分类号： G06F9/46 文献下载
摘要：本发明公开了一种基于资源竞争模型的AADL模型可调度性验证方法，用于解决现有AADL模型的可调度性分析方法耗时长的技术问题。技术方案是通过分析AADL架构模型中构件间的交互关系得到线程执行顺序关系，并根据这些连接关系生成进程的并发体集合、线程的干扰集。从而建立系统的可调度性分析模型—资源竞争模型。避免了利用自动机模型时遇到复杂系统会造成状态过多难以计算的问题，对于结构复杂的AADL模型可以在短时间内计算出系统的可调度性分析结果。
基于资源竞争模型 aadl 调度验证方法

[发明专利]一种可证明的高安全软件构造方法及系统-CN202210855845.3有效
发明人：杨林;张龙;杨峰 -专利权人：军事科学院系统工程研究院网络信息研究所
申请日： 2022-07-21 - 公布日： 2022-09-30 - 主分类号： G06F8/35 文献下载
摘要：本发明提供一种可证明的高安全软件构造方法及系统，所述方法包括：获取待构造的软件需求，基于自定义的需求语言表述所述软件需求，得到表述后的软件需求；基于所述表述后的软件需求，采用AADL语言建立与所述待构造的软件对应的初始模型基于所述表述后的软件需求中各条需求的类型字段对应的属性值，实例化所述初始模型，得到实例化后的模型；对所述实例化后的模型进行形式化验证，基于验证结果，对所述实例化后的模型进行修正或保持，得到验证后的模型；由AADL语言描述所述验证后的模型，得到AADL模型；生成与所述AADL模型对应的C语言代码。
一种证明安全软件构造方法系统