公共文化服务平台

谢健: 作品数：50 被引量：49H指数：4; 供职机构：南京航空航天大学更多>>; 发文基金：国家自然科学基金中央高校基本科研业务费专项资金中国航空科学基金更多>>; 相关领域：自动化与计算机技术文化科学更多>>

合作作者

面向IMA的AADL多范式建模及代码自动生成方法被引量：6: 2021年; 综合模块化航空电子系统(Integrated Modular Avionics,IMA)是安全关键领域中一类重要的复杂嵌入式系统,具有分布式、异构、计算资源和物理资源强耦合等特征,单一建模语言无法完全覆盖该类系统的建模要求.近年来,多范式建模方法(Multi-Paradigm Modeling,MPM)已成为IMA设计的研究热点.AADL(Architecture Analysis and Design Language)是一种安全关键嵌入式系统体系结构描述语言,具有丰富的表达能力和可扩展性.本文提出一种面向IMA的AADL多范式建模及代码自动生成方法.首先,给出面向IMA的AADL多范式建模方法,即AADL用于表达IMA软硬件架构,AADL行为附件、同步语言SIGNAL和SDL(Specification and Description Language)用于描述软件构件的功能行为,分别支持状态机、同步数据流、异步执行等多种计算模型.其次,给出面向IMA的代码自动生成方法,涉及IMA任务、分区、内核3个层面的代码及其配置文件的自动生成.最后,在AADL开源建模环境OSATE中实现多范式建模和代码生成原型工具,并基于飞机空气增压系统案例,验证本文所提方法的有效性.; 邱宝杨志斌周勇周勇王铁鑫谢健; 关键词：AADL SDL 代码生成

一种面向IMA的AADL多范式建模及自动生成C代码的方法: 本发明公开了一种面向IMA的AADL多范式建模及自动生成C代码的方法，通过AADL表达IMA软硬件架构，AADL行为附件、同步语言SIGNAL和SDL描述软件构件的功能行为，以支持状态机、同步数据流、异步执行等多种计算模...; 杨志斌邱宝王飞谢健周勇; 文献传递

非形式化需求规约模板到形式化设计模型的自动转换方法: 本发明公开了一种非形式化需求规约模板到形式化设计模型的自动转换方法，通过基于限定自然语言的需求规约模板，以层次化的组织形式、限制的语言描述系统或组件，在此基础上进行需求规约形成非形式化的设计说明文档，并实现整个设计说明到...; 杨志斌刘承威冯思喆王飞许金淼周勇谢健王永孟

基于本体和贝叶斯网络的无人驾驶车辆行为决策方法: 本发明提供了一种基于本体和贝叶斯网络的无人驾驶车辆行为决策方法，包括以下步骤：获取无人驾驶车辆的驾驶场景；根据驾驶场景设定对应的类集；根据类集构建相应的对象属性和进行实例化处理；根据对象属性和实例化后的类集构建对应驾驶场...; 黄志球孙雪谢健王金永王子豪; 文献传递

基于概率模型检测的动态故障树定量分析方法: 本发明公开了基于概率模型检测的动态故障树定量分析方法，属于动态故障树定量分析技术领域，首先将动态故障树进行形式化描述，将逻辑门转换成相应的连续时间马尔科夫链模型，并将逻辑门之间的连接关系一一对应到CTMC模型上，结合连续...; 黄志球乔森王金永宛伟健谢健; 文献传递

一种基于统计模型检测的随机混成系统安全性分析方法: 本发明公开了一种基于统计模型检测的随机混成系统安全性分析方法，属于大数据技术领域，首先通过DFT分解算法将DFT分解为动态逻辑门、基本构件、门与门和门与构件间的逻辑关系，然后将动态逻辑门与基本构件转换为随机混成自动机，在...; 黄志球乔森王金永谢健; 文献传递

随机混成系统稀有属性的统计模型检测方法: 2022年; 统计模型检测,已成为随机混成系统安全性验证的重要方法.但对安全性要求较高的系统,其不安全事件和系统失效都是稀有事件.在这种情况下,统计模型检测很难采样到满足稀有属性的样本而变得不可行.针对该问题,提出了交叉熵迭代学习的统计模型检测方法:首先,使用连续时间马尔可夫链表示随机混成系统的路径概率空间,推导出路径空间上的参数化概率分布函数族;然后构造了随机混成系统路径空间上的交叉熵优化模型,提出了在路径空间上迭代学习最优重要性采样分布的算法;最后给出了基于重要性采样的稀有属性验证算法.实验结果表明:该方法能够有效地对随机混成系统的稀有属性进行验证;且在相同样本数量下,与一些启发式重要性采样方法相比,该方法的估计值能够更好地分布在均值附近,标准方差和相对误差减少超过了一个数量级.; 房丙午房丙午谢健; 关键词：安全性

一种航空发动机适航安全性验证方法: 本发明公开了一种航空发动机适航安全性验证方法，属于系统安全性验证技术领域，一种航空发动机适航安全性验证方法，通过动态故障树中引入的描述时序逻辑关系的动态逻辑门来描述航空发动机系统的动态行为，对航空发动机组件故障之间的时序...; 黄志球宛伟健谢健葛晓瑜; 文献传递

一种基于图形化卫式命令演算的多任务编译方法: 本发明为一种基于图形化卫式命令演算的多任务编译方法，涉及到一个图形化卫式命令演算GCC_graph自动编译生成可执行多任务Ada/C代码方法，对于设计人员输入的GCC_graph程序，该编译器自动将其编译生成相应的可执行...; 杨志斌袁胜浩谢健刘承威王飞薛垒王永孟; 文献传递

多时钟约束的协同无人驾驶系统的建模与验证的实现方法: 本发明公开了面向多时钟约束的协同无人驾驶系统建模与验证的实现方法，包括：给出协同无人驾驶系统的框架，建立了协同无人驾驶系统的领域建模概要文件SysML Profile，抽取对于协同无人驾驶系统的专业术语，关系及其操作；定...; 黄志球王金永谢健王飞; 文献传递